Alloy Analyzerを使って11年前に解いた数独の問題を解き直してみたという話。 TL;DR 昔よりPCは速くなったし、自分も気持ちソルバを上手に使えるようになった。 速く答えを探すには、とにかく探さなくていいものは探すな。 経緯 過去にAlloy Analyzerを使って、「世界一難しい数独」を解いた記事を書いた。世界一難しい数独、Alloyで解いてみたよ(RocketNews24から) - dec9ue's diaryその後、disktnkさんという方の記事で、「お前のコード超遅くね?拾ったコードでもこれくらい出るけど(意訳)」というご指摘をいただく。星11個の数独の問題をAllo…