■

　論文提出期限は翌々日の朝ですが期限ギリギリはなにかと危険(PSTが日本時間-17じゃなくて実は+17だった、とか)なので本日ひとまず投稿。とはいえまだ直せるので引き続き手直しは続きます。しかもこのタイミングで教授が僕の示した補題を半分くらいの長さで証明してみせてきて、それを論文にも組み込むかどうかアレコレ考えたり。
　作業が終わるのが夜８時半とかになったので夕飯は春日の山梨製麺(割と最近出来た)でラーメン特盛。これでつけ麺・ラーメン両方食ったことに。悪くはないけど695円という値段を考えると微妙。