9/12(日) 晴れ 11時位に起きた。午前中は特に何もしてなかった。今日は何を証明しようかと眺めてたくらい。午後はリングフィットをやろうかと思ったけどなんか昨日くらいから肩と体の付け根の筋肉が痛くて一応やめた。リングコンを使うときに痛くなってたし…

9/11(土) 晴れ 10時位に起きたはず。午前中はダラダラ過ごして午後はリングフィットをやって夜のお祝い会まで数学をした。結局体になることの同値性がわからない。というかどこ見ても書いてない。もともと体と仮定しているか、体上のパーフェクトイド環しか…