kenオライリージャパンから出版された数学を生み出す魔法のるつぼ:実験数学への招待が出ました。訳者の伊知地さんからご献本いただいたのです。ありがとうございました。数章しか読んでいないので無責任な紹介になりますので、ちゃんと読んだあかつきに改めて紹介したいと思います。この本のタイトルの実験数学というのはコンピュータを道具に数学的な実験をして、数学への理解を深めるということです。プロの数学者の生態はぼくが想像するもの((道をボーッと歩きながらブツブツと呟き、いきなりしゃがみこんだと思ったら、木の枝で何時間も地面に数式を描くような。))とはかなりギャップがあるようです。コンピュータにいろんな式を入力する「実験」の結果を観察し、そこから発想を得るというのです。さんによれば、現代の数学者にとってコンピュータを道具として使いこなすことはあたり前のことのようです。古代のギリシャ人がコンピュータを使えたならば、「実験数学」という表現の「実験」という単語は不必要になり、ある種の「実験」的に数学を行う活動や過程は、単に「数学」と見なされたことでしょう。!ちょっと大袈裟かもしれないけれども、目から鱗でした。周囲の数学者たちは、常日頃、「コンピュータ苦手だから、設定して!」って頼んでくるんですから。ところで、どんな実験をするのかは、内容を読まないと具体的なところは掴めないのですが、1章「実験数学とは何?」では以下のような例が挙げられています。MathematicaあるいはMapleのような数式処理システムを使った記号計算。