世界一難しい数独、Alloyで解いてみたよ(RocketNews24から) - dec9ue's diaryRocketNews24さんで 本当に解ける人いるの？ フィンランド人数学者が作った “世界一難しい数独” が発表されるという記事があったんで以前のAlloyの記事で使ったモデルを流用して解いてみた。 about alloy Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. 結論：実は自分は数独のルールをわかっていなかった。前回より工夫したところ： 数字をOne,Twoといったような表記ではなく、C01とか数字が入った表現に
