寝ず。 iterated forcingの基本的な事実の証明のアイディアを思いついた。 少しonmp.texの作業した。 夜寝た。

起きた。

ゼミ出た。 コーヒー飲んでテンション上がっていろんな妄想した。 久しぶりにゲーム1戦。 寝られず。

iterated forcingについて考えた。 時間内にバイト終わった。 一駅多く歩いた。 昨日より早く寝た。

昨日より早く寝た。 tora.texを作り始めた。 昼飯生協で食った。 おやつ食った。 リストに基本的な定理をいくつか追記した。 復習すべきところを特定した。 風呂入った。