12 April, 2011

[Event][FM] Formal Methods Forum #15 on 4/23

第15回FormalMethods勉強会を 4/23(Sat) に開催します。
参加登録は下記 ATND からお願いします。
http://atnd.org/events/13673
今回は Monad 特集らしいです。

今回は Coq 関係では

  • Coq の型クラスを使って Monad を実装

  • Coq 未経験者向けのチュートリアルを書いたので、他の方に見て頂く
を予定してます。

Coq 未経験者の方は、その旨を ATND 参加時に書いて頂ければ、当日の内容を変更して対応出来る様に致します。ノートパソコン持参を推奨します。

No comments: