OAO

開発とかBTSとかIDEとかスクラムとか 書くかもしれないブログです たぶん

Alloyのハンズオンないかなーとつぶやいたら。

抽象によるソフトウェア設計-Alloyではじめる形式手法-の訳者の方に拾われて
Formal Methods Forumの勉強会におじゃますることにしました。