イギリスから研究所を訪問しに来た大学院生二人のミニ・セミナーに出る。プログラムとユーザのインタラクションの意味論を、ゲーム意味論で与え、線型論理で公理化しようという話。線型論理は良い表示的意味論があり、それがインタラクションを線型論理の枠…

よく晴れた暖かい日。自宅待機日のはずだが、セミナーのため出勤。 終了後、雑用とコード書き。駅前のスーパーで塩を買ってから20時に帰宅、夕食は小エビのトマトソースパスタ。