飲み会

昨日は OCaml-nagoya + さかいさんで飲み会があった。残念ながら席が遠くてさかいさんとはあんまり話せなかったんだけど、久しぶりに会えた人もいたのでよしとします。
ちなみに OCaml-nagoya なのに、 OCaml の話は(こっちのほうでは)ほとんどなかった。むこうでは、 Agda やら Coq やらマニアックな話が展開されていたようである。こっちでは、富樫トークやらるろうにトークやらでやはりマニアックな話が展開されていたけど。