morning_reading https://blog.hatena.ne.jp/morning_reading/ 毎朝30分読書会 https://morning-reading.hatenadiary.org/ ハマンの遺跡は第四十七古代ルル語に対応する遺跡だそうで 最後が〇●で終わる文字列をすべて文とみなす言語に対応 部屋は3部屋 入口と出口は別の部屋 そして遺跡の年代から 同じ部屋にある白と黒の扉の行き先が同じであることはない 同じ扉の行き先は一定 という制約がある。ここから部屋の構造を推測するというので、このくらい簡単……と思いきや若干手間取りました。 module white_black/haman 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%2F20140306%2Fp1" title="白と黒のとびら 第3章 復元 その3 - 毎朝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/20140306/20140306102510.png Hatena Blog https://hatena.blog 2014-03-06 00:00:00 rich https://morning-reading.hatenadiary.org/entry/20140306/p1 1.0 100%