5月12日毎日メディアカフェ(毎日新聞社本社1階)において、定例イベント「数独の夕べ2016年5月」が開催されました。
今回は後藤理事が「数独の問題数を考える」と題して、理論的には有限である数独の問題数を探ってみました。後藤理事は先ず2x2の小さな盤面から説明を始め、4x4、9x9と進むにつれ、膨大な数になることを図を使って証明し、答えの盤面数だけでも6.67x10の21乗となり、更にその先の問題数については、見当もつかない数字になると話しました。
続いて佐貫理事が「数独ソルバーについて」というテーマで講演しました。
数独ソルバーとは数独の問題を自動的に解いてしまうコンピュータプログラムのことです。佐貫理事は、ロジックとして人間的思考方法を模したものと、計算速度にものをいわせた機械的な総当たり方法の両方を説明しました。そして、現時点では中級以上のロジックを持ったプログラムはまだ開発されていないが、将来は機械学習によって、コンピュータ自身がそのようなプログラムを編み出してしまう日が来るかも知れないと、締めくくりました。
堅い話題が続いた後は、岡本理事がインターネット上で見つけた「数独ソング」を披露しました。これは数独協会のホームページ内「みんなのひろば」にもアップされていますので、是非ご覧ください。楽しいですよ。
そして締めは、いつものように数独占い。5分という短い時間の中で数独の問題にみなさんで挑戦していただき、最後は当たるも八卦、当たらぬも八卦とばかりにエイヤでマスを数字で埋めていただくという恒例のお遊びです。今回は正解の方が2名いらして、じゃんけんで勝負を決めていただきました。
次回の数独の夕べは6月9日(木) 午後6時半より、場所は同じく毎日メディアカフェです。是非、みなさんのご参加をお待ちしています。