水曜日

large deviation: 現状では難しいことが色々あることがわかったので、朝でおしまいにするつもりだった。終わる直前、あぁ、こっちの道を確認しておこう、とささっとチェックした。そこから別の泥沼状態になってきた。どうもおかしい。0=1 が導かれてしまう。いわゆるバグだな。日付がかわるまでにつぶすつもりが、わけがわからないままだった。いかんね。