6/29(火) 晴れのち雨 10時過ぎに起きた。今日は午前中は院試を解いた。基礎問題の方で結構簡単だった。全部解けた気でいる。午後は小説とか読みながら演習問題を解いた。昨日わかっていなかったところを改めて証明を追ってそれを適用した。いくつか問題があ…

6/28(月) 晴れ 11時過ぎに起きた。授業の時間までformal schemeのところの演習問題を読んだ。最初の方はちょっとダメそうだったけど一つ解けそうな問題があったのでそれを解くことにした。でもこの日のうちには解けなかった。 授業はまた色々概念が出てきて…