11/10(木) 晴れ 8時に起きた。今日はセミナーがあって、昨日気づいてしまったギャップをどうにかするための相談をしないといけなかった。結果としては一部の結果を弱めるだけで他の主定理の証明には影響は無いとなった。とても安心。 とりあえずお昼ごはんを…

11/9(水) 晴れ 7時半くらいに起きてた。昨日はなんか早めに眠たくなって寝てしまったせいで今日は起きるのが早かった。我ながら睡眠時間が一定すぎる。とりあえず午前中は授業を受けた。午後にセミナーがzoomである影響で大学に行かなかった。防災訓練を受け…