昼過ぎから

サテライト・ワークショップへ。「中規模存在論をコンピューターにインプットして、『箱の中のボールが外に飛び出さない』という定理を自動証明させる」試みとかがあった。
19時からreception、college中庭のテントに皆が集まり、ワインを飲む（食事はなし）。終了後、日本人参加者3人で集まってスーパーに行き、前日Tk氏が買ってきたパンと一緒に夕食を食べる。噂に聞くパスタの缶詰（ラビオリ・トマトソース）に挑戦、やっぱりまずい。っていうか、パスタを缶詰に入れるな。
21時に寝る。