中間テストがあった(数理論理学及び演習) 今日は数理論理学のテストがあった. 過去問と授業の演習を一通りやってから挑んだが,証明問題やら説明問題やらが出てきて詰んだ.問題の解き方だけでなくある程度の理解が必要だったようだ. まあ赤点ではないはずなのでそこまで心配はしていない(強がり). 明日と明後日は講義が休みなので,実験のレポートを進めつつ最後の試験に備えたい.