2022-05-18 修士一年1Q57日目 5/17(火) 曇り 8時過ぎに起きて大学に行った。ちょっとした用事を済ませてからは論文の続きを読んでいた。なんかよくわからない証明があったのでそこを考え直してみた。なんか少し強い形で証明できそうなんだけどそれが合っているのかわからないのでセミナーで聞くことにする。almost isomorphismを扱う練習になった。 夜には桃鉄を久しぶりにやった。もう足を引っ張るしか無い。 そんなこんなしてたら夜遅くになっていて寝たので日記は5/18に書いた。