2008-06-28[n年前へ]
■「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
2009-05-19[n年前へ]
■思想は変わらない「Wolfram|Alpha」
Wolfram Researchが作った「新しい検索エンジン」だという、Wolfram|Alphaを使ってみた。結局のところ、これは”まさに”Mathematicaである。「Mathematica開発者のウルフラム」と「ファインマン」でも書いたように、これは
データベースに登録されているパターン・規則にもどづいて、パターンマッチングを延々と行い、また、データベースに登録されている値（とユーザが与えた値初期値）を用いて変換を続け、最終的に変換できなくなった時点で、それが「所望の結果」になっているというものだ。結局のところ、「問題を解く」というの多くはそういうこと、そいう”パターン”が多いのかもしれない。
それにしても、Solve[x^2-3x==1,x]と検索してみると、その答えを教えてくれる。それと同じように、"earthquakes near the Akashi-Kaikyō bridge"と検索すると、明石海峡大橋近くの地震に関する情報を教えてくれる。使ってみると、なかなかに楽しい。データベース、検索時に使う「関数（変換・作業を定義したもの）」「言葉」をユーザが追加していけたら、もっともっと面白そうだ。
そうすれば、ユーザの力で拡張させることができる・発展することができる「新しい検索エンジン」ができるに違いない。
2009-07-15[n年前へ]
■Microsoftとゲイツ氏，物理学者ファインマンの講義ビデオを無償配信
Microsoftとゲイツ氏，物理学者ファインマンの講義ビデオを無償配信
米Microsoftの研究部門Microsoft Researchは米国時間2009年7月15日，同社会長のBill Gates氏と協力し，著名な物理学者Richard Feynman氏の講義映像を一般公開すると発表した。Microsoft ResearchのWebサイトから無償でアクセスできる。
