推移閉包 僕: さて、前回は迷路らしきものを作ることはできたけど、入口から出口まで到達できないという問題があった Ruby: 条件が足りなかったんですね 僕: A から関係 rel を辿って B まで到達できるというのを表現するイディオムならわかるぞ、Alloy本*1…

集合のサイズの制約 vs スコープ指定 僕: 昨日迷路を生成するために書いたモデル、迷路のサイズを指定するために Col と Row のサイズを指定する制約を書いたんだけど… (...snip...) // 迷路のサイズ fun height : Int { 10 } fun width: Int { 10 } (...sni…

僕: うん、ぶっちゃけ西尾さんの「Alloyガール」のパクり、じゃなかったオマージュなんだ。正直ごめんなさい