「数理科学」は語る30年前から現代へのメッセージ

摘要

数学は頭でするものだ，頭だけあればよいのだ，そんなことが日本の数学界であたかも公理のように囁かれていた時期がありました．コンピュータが実用化しはじめた頃のこと，もう大昔の話です．30年前頃というのは，その時代からだいぶ経っていますが，コンピュータが小さく，また安くなりはじめた時期です．急に，数学者もコンピュータを使いはじめました．「公理」が破棄されたように見えました．そんな時期に，帰納的な計算ができると便利だと書きました．数学自体が帰納的な手法で構築されていたからです．実際上の計算では，「場合分け」の処理のほうが難題でした．木構造をした場合分けの中にうまく道を見つける工夫が必要でした．