昨夜の宿題をする。具体的には、(定常系をつくるために境界だけに仕込んだ)Nose-Hoover 系で、Hatano-Sasa を書き下す。Kurchan にパリでいわれたことでもあるが、一応でた。へぇ、意味ありげな不等式にはなる。（本当の意味はわからないが。）その後で、昨…