morning_reading https://blog.hatena.ne.jp/morning_reading/ 毎朝30分読書会 https://morning-reading.hatenadiary.org/ というわけでガレットの故郷の神殿の構造について Alloy で検証してみます。利用したコードはこちら。 module white_black/home_temple sig 部屋 { 白: one 部屋, 黒: one 部屋 } { 白 != 黒 } one sig 入口 extends 部屋 {} one sig 竜の部屋 extends 部屋 {} pred 神殿 { // 祖父の経路 入口.黒.白.白.黒 = 入口 入口.黒 != 入口 入口.黒.白 != 入口 入口.黒.白.白 != 入口 // 弟の経路より(竜の部屋は同一と考える) 入口.白.黒 = 竜の部屋 竜の部屋.黒.白 = … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorning-reading.hatenadiary.org%2Fentry%2F20140303%2Fp1" title="白と黒のとびら 第2章 帰郷 その2 - 毎朝30分読書会" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/m/morning_reading/20140303/20140303101129.png Hatena Blog https://hatena.blog 2014-03-03 00:00:00 rich https://morning-reading.hatenadiary.org/entry/20140303/p1 1.0 100%