■

今日は大学いこうと思ってたが, やっぱりやめる。
のどがやや痛い。鼻水が止まらない。
プログラム検証論の教科書を読み進め、ゼミのテキストを読み進める。ぜんぜん進まん。ゼミは全4節なのだが、1節も終わらん。この章、果てしなく面倒くさい。
離散数学の宿題は明日やろう。