なーんて嘘です（のっけから…）。 実際には解けませんでした。 先週あたり、「うみねこのなく頃に」EP2の密室トリックが解けないかと思ってベッドの中で無駄な努力をしてました。Alloyとはいわゆる仕様記述言語でありますが、処理系にSATソルバを備えており…