スラッシュドット・ジャパン: 「世界で一番難しい数独」の難しい問題 ～ 個人的に(数独が好きなので)興味あり
スラッシュドット・ジャパン: 「世界で一番難しい数独」の難しい問題.
コンピュータで解くのは邪道だと思うが（バックトラックで解ける。解けなかったら解が存在しないことになるだろう。ホントかな？）、人間が解くのに難しいというのはどういうことなのか？ そもそも、手続き的なとき型があるなら誰でも（ある時間内に）出来るわけで、そうでない直感的なとき方があると面白いわけで…
そのうちきちんと考えようと思いつつ、まだ考えていないなぁ。