2012-04-03から1日間の記事一覧

Alloy: 二項関係の性質

p.220の問題をとく上で、univ0とかuniv1と表示されている集合にenumみたいにわかりやすい名前を付けたいななどと思った。そしてやってみた結果、今回重要なのは矢印の形なので箱に名前がついてもあんまり意味がなかったw fact { #univ = 4 } sig A {} sig B…

Alloy本4.2.2

4.2.2章の記法はもちろん間違いじゃないけど、理解するまで結構悩んだ。 sig A {f: e}こう書かれるとfとeは似た種類のものだと思うじゃない?で、 f in A -> eという制約がfactに入っているのと同じ、と続いて、さらにそれは all this: A | this.f in eと同…

Alloyを勉強する日記(1)

とりあえず教科書が届いたのでざっくり読んでみた。ここからどうやって勉強していくかなー。とりあえず既に存在しているソフトウェアをモデリングしてみて、自分がどこまでできてどこでつまずくかを確認してみるか。んー、じゃ、Gitをモデリングする。とりあ…