2Q14日目

6/24(木)　晴れ

11時位に起きた。午前は院試の問題を解いて午後はformal schemeの続きをやった。少しづつ何をやりたいか分かってきた。これを書いているのは6/26なのでどこやったか忘れたけど定義イデアルとかのところだったはず。

バイトから帰ってきてからも少しそれを進めて寝た。