■

午前、ロジック研。（クリプキ）モデルでの基本的な証明。期待のフレーゲアン、O君がグッジョブ。論理学は、ホゲホゲと一緒で、体でおぼえた方が早いんだな。

昼、アイスランドの噴火による、欧州飛行機事情の大混乱で遅れていた荷物が、日本からようやく到着。

もう明日で4月も終わりか。こちらでは、夏が始まっている。疲労で、某先生の本を明日までによまないけないのが、まったく進められなかった。4月はなんだか体調がひどかったけど、こういうものなのかな。体力つけないといけないし、体を動かさないといけない。論理学が運動になれば、一石二鳥なんだけど。ロジックでわっしょい。