[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 参加時に書いて頂ければ、当日の内容を変更して対応出来る様に致します。ノートパソコン持参を推奨します。