Tile signature の導入 僕: さて、第1回で2次元の格子構造の連結関係を Col -> Row -> Col -> Row の4項関係で表現してみたけど、第2回で推移閉包が使えなくて到達可能性の制約を表現できなくって困ってた、というのが前回までのあらすじ Ruby: 2次元の座標1…

Alloyの制約パラグラフのリファクタリング 僕: 今日はちょっとしたTipsを紹介しようかなと思う Alloy: 前回も本題の迷路の生成は進んでなかったと思うけど 僕: いちおう進捗はあるんだけど、その中で気がついたこととか記録しておきたくてね僕: 迷宮編1 で作…