2012-01-30から1日間の記事一覧
付録A 練習問題続きます。終わるのかなこれ。 A.1.11 地下鉄をモデリングする 路線 line にある駅の集合が S abstract sig Station { line: set Station } sig S extends Station {} { S = line } line には切れ目がない run C { all disj x, y: S, z: S | y…
付録A 練習問題続きます。終わるのかなこれ。 A.1.11 地下鉄をモデリングする 路線 line にある駅の集合が S abstract sig Station { line: set Station } sig S extends Station {} { S = line } line には切れ目がない run C { all disj x, y: S, z: S | y…