2014-02-18から1日間の記事一覧
しつこくまだ第1章です。いや、どうも検証がうまくいかないんです。あれから、「目」の部屋が長老の経路で1回しか通らなかった(他の部屋には「目」がなかったという暗黙の証言があったとする)という制約や、扉の先が入口に戻ることがないという制約などを加…
しつこくまだ第1章です。いや、どうも検証がうまくいかないんです。あれから、「目」の部屋が長老の経路で1回しか通らなかった(他の部屋には「目」がなかったという暗黙の証言があったとする)という制約や、扉の先が入口に戻ることがないという制約などを加…