a-sanさんの日記より、 http://d.hatena.ne.jp/a-san/20090626/p2Alloyだとこれだけなのか？ /* http://d.hatena.ne.jp/a-san/20090626/p2 */ abstract sig State { transient:set State } one sig O,A,B,C,D,E,F,G,H,I extends State {} fact { transient =…

12/22 18:00-20:00 「関数型言語＆形式手法セミナー(1)F#が拓く新たな世界」 ということで、有限会社ITプランニングの小笠原さんに セミナーを開催していただいた。http://kokucheese.com/event/index/6300/来年の活動に向けて、十分な意見を集めることが出…