以前、数独を解くのを助ける Excel シートを作った。そこで、数独には、決定的に（後戻りする可能性なく）は解けない問題がある、と考えたのだが、Excel シートを強化することで、その問題も後戻り無しで解けてしまった。やっぱり数独は、決定的に解けるのだ…