2011-02-01 関数型言語&形式手法セミナー(2) Alloyで簡単形式手法 Alloy http://kokucheese.com/event/index/6887/ご参加いただいた方、ありがとうございました。質問の多さからも、システム開発を真面目に考えている人が 集まった印象を強く受けました。今後も継続努力していきます。