ナンバープレイス(数独)を解くプログラム