修士一年夏休み51日目

10/1(土)　晴れ

8時位に起きた。今日はなんだか頭の回転もよく、なんか筆が乗っていたので一日中自分用のまとめのPDFを書いていた。derived tensor productとかそこらへんを最後に書くことになったけど、逆に書くものを見つけようとしている事に気づいたのであと1つの命題の証明がわかったら通常営業に戻す。紙に書いてから打ち出しているまでは良かったんだけど後半はなんか雑に書いたのを打ち出すだけになっていたので。

何はともあれ一日書けて割りとどこかで自分でまとめておきたかったものがまとめられた。その中でもう少し洗練された形で述べられた性質もあったし。ただ一箇所今まで確認していなかった命題の証明がわからなかった。elementaryだとかなんとか書いてあるんだけど全然わからない。

そこらへんを考えていたらなんか眠くて寝てた。だからニッキは10/2に書いている。夏休み最終日の日記がリアルタイムに更新できなかったのは残念。