論文提出期限は翌々日の朝ですが期限ギリギリはなにかと危険(PSTが日本時間-17じゃなくて実は+17だった、とか)なので本日ひとまず投稿。とはいえまだ直せるので引き続き手直しは続きます。しかもこのタイミングで教授が僕の示した補題を半分くらいの長さで証…