コンピュータと数学はどういう関係にあるのだろう？ | サイエンス＆テクノロジー | 研究・社会連携 | 京都産業大学理学部・コンピュータ科学科 小林 聡教授 「数学」と「コンピュータ」。この両者は、ほとんど同じ世界に属するように思われていますが、その間にはかなりの隔たりがあることも事実です。しかし、具体的に説明するとなると、そう簡単ではありません。両者はどのような点で同じで、どのような点で異なっているのか？ 「数学とコンピュータ・サイエンスの境界領域」で、研究を続けられている小林 聡先生に伺ってみました。 数学の証明とコンピュータのプログラムの関係は？ 多くの場合、数学の証明のプロセスをじっくり検討すれば、コンピュータ・プログラムを作るための処理手順（アルゴリズム）は見えてきます。いいかえれば数学の論法は、ほとんどコンピュータ・プログラムの形に翻訳することができるということです。 しかし例外もあります。「解が存在しないとすると矛盾する、従って解は存在する」という形の論法がそうで、一種の背理法です。この場
