■

2時間くらい寝て目が覚める。起きる。録画しておいたサッカーを見る。前半はスピードも早くてとても面白かった。ドイツ戦ならもちっと白熱するかな。

日中はいつもどおりに。組み合わせ論を少しやりはじめた。Martin's AxiomとかDiamond Principleくらいは少し知っておこうかなと思って。しかししばらく集合論やっていなかったためか、もともと理解していないのかcofinalityの話もすらっと出てこない。要リハビリ。

夜．眠い。眠いったら眠い。ごんごんに眠い。