色々とよく分からない話とかまとまらない話。ここで使用しているCoqのバージョンは8.3 (1)TypeとSetとProp この3つ、どう使いわけんの?という話。このうち、Propは他二者との違いは直感的には分かりやすい。問題は、Typeを使うべきか、Setを使うべきか、基準…

エルゴード仮説からミクロカノニカル分布を導出してる教科書も一冊くらいあるだろうと本屋で片っ端から立ち読みしたが、一冊もなかった。結構簡単に出る(3行でまとめると「平衡状態の分布関数は保存量なので、その等位集合は時間発展で不変」「エルゴード性…