疲れたー。

25日〜27日は学内業務で監禁されるので，自分の仕事は何もできません。 この監禁はひどいもので，予想としては 初日は14時間，2日目は13時間，3日目は不明 くらいの監禁を余儀なくされます。 ということもあって，明日は少し体力を温存させておきたいところ…

もう自分の中では終わっているのですが， 付属事項というか，おまけ要素としてこれも書いておこう というものがどんどん出てきて，やっぱり全然終わらない。 42ページで終わるのは無理だ…。45ページくらいまでにはなんとか終わらせたい。

論文「インピュリティリング」の主結果は， まるで迫りくるデモンズウォールの脅威のようです。

インピュリティリングの最後の定理を書いています。 ここへ来て思い違いをしていることに気が付きました。 ある仮定をしていたけれど，その仮定は不要で， 定理の枠組み（適用範囲）が広がりました。 その仮定をしておけば，statement を場合分けしなくてい…