1限から出席。鬼畜科目と評されるアルゴリズム論のレポートを受け取った。問題が3つあって1つはちょっと考えれば解けそうなんだけど残り2つが全くわからん。2限の工業数学再履修は去年のノートがあるから消した。 生協でレポート用紙を買って図書館でbot動か…

人の下宿に泊まってるというのに2限に数分遅刻する時間まで寝てた。珍しく真面目に授業を聞いた。@sielicoと@takuro1717と北部食堂に行った。 普段は出席しても仕方ない4限で課題の発表があるのだが、「別に行かなくてもいい」「優秀な人とダメな人だけ当て…

火曜日。coqの課題を出さないまま計算と論理に出た。実験室で時間を少しずらして中央食堂に行った。何食べたか忘れた。 実験中にcoqやろうと思ってたんだけど結局全く進んでない。2コマを適当に過ごして潰した。5限で課題が出るらしかったので出席した。大変…