読者です 読者をやめる 読者になる 読者になる

OAO

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

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

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