今日は朝起きたら少し風邪が治まってた まだ少し鼻詰まりだけどだいぶマシになった 午後からはゼミ 少し考察が足りないところもあったけど 今までで一番スムーズに証明できた 特に4次元多様体から4次元多様体へのワープ的な構造を 省略されまくった文章から…