Title: Entropy Generation in Computation and the Second Law of Thermodynamics

Abstract: Landauer discussed the minimum energy necessary for computation and stated that erasure of information is accompanied by heat generation to the amount of kT ln2/bit. Modifying the above statement, we claim that erasure of information is accompanied by entropy generation k ln2/bit. Some new concepts will be introduced in the field of thermodynamics that are implicitly included in our statement. The new concepts that we will introduce are ``partitioned state'', which corresponds to frozen state such as in ice, ``partitioning process'' and ``unifying process''. Developing our statement, i.e., our thermodynamics of computation, we will point out that the so-called ``residual entropy'' does not exist in the partitioned state. We then argue that a partioning process is an entropy decreasing process. Finally we reconsider the second law of thermodynamics especially when computational processes are involved.