無限の可能性を有限で網羅する

中野研究室

ヒトはコンピュータに実行してほしいことを伝えるためには「プログラム」を記述しますが、そのプログラムが意図通りに動作することを確認するのは簡単ではありません． 多くのプログラマはいくつかの入力について試験的に実行することで確認するだけです。 しかし、それで本当に正しいと言えるでしょうか？ 実際の入力には無限の可能性があり、いくら実行してもこの方法では確実に正しいとは言い切れません． この展示では入力に無限の可能性がある場合でも、有限時間でプログラムの正しさを確認する方法をパズルを通じて紹介します。

より詳しく知りたい方はこちら