[[ocaml-nagoya]] **第一回 [#p9153af9] - http://coq.g.hatena.ne.jp/yoshihiro503/20100331 - 申し込み: http://atnd.org/events/3867