9/1(水) 晴れ 8時過ぎに起きて午前中にワクチンを打ちに行った。 注射自体はそんなに痛くなくて少し時間がたったくらいでは痛みもなかった。家に帰ってきてから昨日の続きの証明を読んでいたらだんだん痛くなって腕が上がらなくなってきた。結構痛くなってき…

8/31(火) 雨 10時過ぎに起きた。リングフィットをしていたら午前中が終わった。 午後はapexをしたあと位相的有限型についての続きを読んだ。でも全然わからん。わからなすぎるから改めて最初から他の文献を元にして読み直すことにした。定義の同値性で使いや…

8/30(月) 晴れ 10時過ぎに起きた。午前中はリングフィットをやった。午後はゼミがあるのでそのために少し復習していた。 午後のゼミでは長い証明をした。一時間くらいかかった。何箇所かもっと簡略化できることを教えてもらった。他にも反例とか色々聞いた。…