6/18(土) 晴れ 9時に起きた。今日は何もやることなくてずっと論文を読んでた。久しぶりに結構集中できた気がする。というのもやっぱりprismatic cohomologyとかを定義するところでどうしても少しちゃんと導来圏を導入しなきゃいけなくて、ただquasi isomorph…

6/17(金) 曇のち晴れ 8時半に起きた。時間もそこそこに大学に向かった。今日は研究集会で聞きたいやつがあったのでそれを大学で聞きながら一つ用事を済ませた。それがとりあえず午前中いっぱいかかった。自分が自然に使ってることでもやっぱり難しかったんだ…