第3回勉強会

http://atnd.org/events/3687
再三、実施会場が変更されてますが、大久保で決定。
今回プロジェクターを借りられない。

今回は、前回と引き続きのCoq、およびAlloyの問題を実施することになりそう。

形式手法は単一手法で問題解決するものではないから、
各自の興味をがんがんぶつけたいところ。

あと、実装と絡めた勉強をやらないといけないな。