10/28

火曜日。coqの課題を出さないまま計算と論理に出た。

実験室で時間を少しずらして中央食堂に行った。何食べたか忘れた。
実験中にcoqやろうと思ってたんだけど結局全く進んでない。2コマを適当に過ごして潰した。

5限で課題が出るらしかったので出席した。大変そうな課題が出た。

サークルで練習して鍋した。チーズ鍋うまかった。
そのまま友達の家に泊まってbotをいじった。