http://atnd.org/events/3687
再三、実施会場が変更されてますが、大久保で決定。
今回プロジェクターを借りられない。
今回は、前回と引き続きのCoq、およびAlloyの問題を実施することになりそう。
形式手法は単一手法で問題解決するものではないから、
各自の興味をがんがんぶつけたいところ。
あと、実装と絡めた勉強をやらないといけないな。
http://atnd.org/events/3687
再三、実施会場が変更されてますが、大久保で決定。
今回プロジェクターを借りられない。
今回は、前回と引き続きのCoq、およびAlloyの問題を実施することになりそう。
形式手法は単一手法で問題解決するものではないから、
各自の興味をがんがんぶつけたいところ。
あと、実装と絡めた勉強をやらないといけないな。