朝、昨日の寺本君から聞いたHamiltonian systems でのFDT の証明を僕なりに消化する。これも手数的には暗算レベルになった。いつものように、初期条件のカノニカル性を要求するので、何でもさくさくでる。しかし、ここでだされた形式的な FDT と実験でかかる…