ESOPに来ています。European Symposium on Programming（プログラミングに関する欧州会議）の略で、POPLのヨーロッパ版?みたいな学会です。プログラムはこちら。日本でのリモート仕事が山積みで、全部は無理なので、ちょっとだけ「適当」（＝いい加減）に実況します。 ヨーク大学の寮に泊まっているのだが、ガッガッという鳴き声で起こされて外を見たら、きれいな羽の鴨が道を歩いていた（隣に湖があるから？）。近づいても逃げない。 朝食。目の前にワドラーがいたので、一緒にピッツのいたテーブルへ。ずっと一言もしゃべらない人がいて、一人だけ先に席を立ったので「シャイな人だなー」と思ったら、ちらっと「モッジ」という名札が。ワドラーに聞いたら「あれ、会ったことないの？ だったら紹介したのに。確かにシャイで、みんなでモナドの話をしてても黙ってたりするけど」みたいなことを言われた。 あと、