イギリスから研究所を訪問しに来た大学院生二人のミニ・セミナーに出る。プログラムとユーザのインタラクションの意味論を、ゲーム意味論で与え、線型論理で公理化しようという話。線型論理は良い表示的意味論があり、それがインタラクションを線型論理の枠組みで解釈することの正当性を保証するのだとか、体系はaffine線型論理の弱いものになるとか（完全性の話は無し）。面白い話でした。
しかし、彼らは新型インフルエンザ騒動の真ん中に飛び込んできたわけで、慣れないマスクをかけ、大変そうでした。二人の内の一人は、実家から心配という電話がかかってきたため、明日急遽帰国することにしたそうな。
