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