■

「ソフトウェア論理学」期末試験。期末試験を受けるのは一年半ぶりのことです。5問中1問はさっぱりわからなかったけど（先週の授業を聞いていれば解けたらしい…）、あとの4問は大体出来た。レポートも出したし、単位は大丈夫でしょう。

残るはレポート諸々と、「プログラム理論」「並行システム論」の期末試験。この2科目は消化試験。多分もう駄目だと決まっています。レポートたくさん出してないし。今からでもレポート出せば間に合うかもだけど、あんまり現実的ではないなあ。先生は難しい問題を優先して選んでレポート課題にしているし…。