LLTVにつづき参加。運営の皆様おつかれさまでした。

五十嵐さんのML型推論の光と影の話と、古瀬さんの大駱駝解軆變造概説が特におもしろかった。OCamlのソースも眺める。

• mzpさんに会った。
• OCamlは日本酒派が多そう？（私見）
  • OCaml正宗とか語呂が良さげ

• 開催場所の山上会館と安田講堂を混同していて、かなりロスった。

• 食べログ

  • 中野大勝軒でつけ麺(29昼)
  • 上野龍門でつけ麺(29夜)
  • 本郷ミュンで鳥カレー(30昼)
  • テツジ？のたいやきとモンシュシュのロールケーキ(30お土産)