4Q(2021)48日目

1/18(火)　晴れ

10時ごろ起きた。日記を書いてるけどもう眠くなってい待ったので詳細は明日埋める。まあここ最近ずっと同じなので今日くらいはそうする。

書き足している。putity theoremの証明の一部分に入ろうとしたところで眠くなってやめていた。ここらへんから難しくなっていることと事実を認めてるのもあってわからないところが多い。でもまあ一度証明したことあるし飛ばし気味。

本当はゼミがあったはずだけどその予定がなくなったので暇だった。