5/1(月) 曇のち雨 8時に起きた。なんか早く起きた。折角なので昨日の夜からしっかりとPDFに書き出していた新しいやつについて続きを書いていた。証明を記載していく課程で少し一般性を足したり、逆に必要な補題とかが出てきてそれを少しずつ埋めていっていた…

4/30(日) 晴れ 4月最終日だったけど当日に日記を書かずに5/1に書いている。何時に起きたかあんまり覚えていない。多分どうせ9時くらい。午後にDCのあれやこれやがあったので、それまでに少しまた見直しておいた。割りと自分の中では煮詰まってきているので新…