hirax.net::Keywords::「カリフォルニア工科大学」のブログ

■「Mathematica開発者のウルフラム」と「ファインマン」　

　今週頭に「数式処理アプリケーションのMathematicaが最初にリリースされてから、今日で20年たちました」と、開発者Stephen WolframからMathematicaユーザにメールが送られてきた。スティーブン・ウルフラムが28才の時の1988年の6月23日にMathematica 1.0 が出荷されたのである。

For twenty years we've pursued our long-term vision for Mathematica.

　Mathematicaは結局のところ、パターンマッチングを延々と行うプログラムである。データベースに登録されているパターン・規則にもどづいて、与えられた数式を置換していくことにより、Mathematicaは解（や所望の結果）を得る。

　ところで、「ファインマン物理学」で有名なR.P.ファインマンはカリフォルニア工科大学で1983年から1985年までの間、計算機科学の講義（ファインマン計算機科学）をしている。その頃の学生がスティーブン・ウルフラムである。

　ファインマンは「科学とは何か」の中で、「数学とはパターンにすぎない」「数学とはパターンを探すことだ」と端的に短く書き表している。この言葉を思い起こしながら、（おそらくそんな言葉を聞いていただろう）彼の学生でもあったウルフラムが「パターンマッチングによる数式処理アプリケーション」を商品化し市場に広まらせたのだ、と考えてみると何だか「面白い繋がり」を感じる。そんな繋がりを思い浮かべながら、Mathematicaの20年を集めたスクラップブック を眺めてみると、きっと楽しいと思う。

I'm looking forward to the next 20 years and hope that you'll continue to follow Mathematica on this exciting journey.

-- Stephen Wolfram