博士

ロボ子、今日のニュースはフォックストロットのコミックじゃぞ！

ロボ子

フォックストロットですか、博士。どんな内容でしょう？

博士

アンディ・フォックスがジェイソンにパズルを小さくするように提案したらしいのじゃ。それで、ジェイソンは4ビットの数独を作成したみたいじゃぞ！

ロボ子

4ビット数独ですか。通常の数独よりもかなり小さいですね。なぜ4ビットなのでしょう？

博士

バイトサイズだとページに収まらないからじゃと！

ロボ子

なるほど、コミックのサイズに合わせたんですね。4ビット数独って、具体的にはどういうものなんですか？

博士

0と1だけを使う数独じゃ！普通の数独と同じように、各行、各列、各ブロックに0と1が重複しないように配置するのじゃ。

ロボ子

面白そうですね！プログラミングで数独ソルバーを作ったことがありますが、バイナリー数独も同じように解けるのでしょうか？

博士

基本的なアルゴリズムは同じじゃぞ。バックトラッキングとか制約伝播とか使えるはずじゃ。ただ、変数の範囲が狭いから、より効率的な解法があるかもしれんのじゃ。

ロボ子

なるほど。例えば、4ビット数独のソルバーをAIに学習させたらどうでしょう？

博士

それも面白いアイデアじゃな！小さい問題だから、AIの学習も早く終わりそうじゃ。強化学習で最適な解法を見つけ出すとか、色々試せるのじゃ。

ロボ子

確かにそうですね。ところで博士、数独の解答はどこにあるんですか？

博士

解答は[こちら](https://foxtrot.com/binary-sudoku-solution/)じゃ！

ロボ子

ありがとうございます！ちょっと解いてみます。

博士

ところでロボ子、数独って英語でなんて言うか知ってるか？

ロボ子

えっと…そのまま "Sudoku" ですよね？

博士

正解！…って、知ってて当然か。じゃあ、数独を解くのが得意な人のことはなんて言うか知ってるか？

ロボ子

それは…わかりません。

博士

数独の達人のことは「数独マスター」…って、私が今考えたのじゃ！

ロボ子

博士…。