早いもので、もう第6回FormalMethods勉強会のお知らせです。
http://atnd.org/events/4750
今回はマイスペース「大久保店」です。会場間違えないようにご注意ください。
CoqはcpdtのChapter4からですかね。
Alloyは7月の無料セミナー直前対策です。
第5回で、Alloyの文法サマリーがないとお話にならないことを痛感したので、
資料を用意してみますよ。
あと、たけをさんから圏論のお話がいただけるとうれしいです。
他にも「こんなことやってますよ」って人がいたら、お話をください。
お待ちしてますー。
