8/30(日) 晴れ 10時ごろ起床。マリメ実況を見ながらDedekind schemeについてすすめる。有理型関数の零点とか極を見るような層を作った。複素関数論との対応がここのところ多く出てきていて面白い。divisorの日本語訳がわからなかったので調べる。なんかいっ…

8/29(土) 晴れ 午前中に起床できて時間があったから眼科に行ってきた。そこまで症状がないけど目が乾燥しすぎていることと合わせてどうなのか確認するために受診した。結果はものもらいと目が乾燥していることだった。ものもらいについては全然軽度だったし…