2Q12日目

6/22(火)　晴れ

ダラダラ過ごしていた。多分11時位に起きてるはず。午前中は院試の問題を解いたが、今回のはなんか難しかった。同相であることを示すのが難しかったり収束の議論がすぐに思いつかなかったりした。

どうもできないので午後はなんか小説読んだりformal schemeのところに手を出したりしていた。完備化の局所環が局所環になっているかを示すのが難しかった。ほかはなんかダラダラ証明を追っていた。

配信とか見てたら遅くなったのでこの日記を書いたのは6/23になってしまった。