2005-05-18 Fluctuation Theorem のEvansによる証明は結構熱浴の性質を使っている。熱浴がないと何も起こらないし。そう考えるとcontactの問題はNose-Hoover熱浴をつけておいた方がアピーリングだったかも。現実には熱の影響はあり得ないのだが。