課題を消化してた 今日は昼過ぎに起きて今池での用事を済ませてから図書館に行った． アルゴリズムの演習課題と睨めっこしてから(分からなくて進んでない)，数理論理学の課題をやってた． SATソルバーに与えるデータを生成するためのプログラムを書いてた．疲れた．
