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

■「問題」を解くための「必要３条件」　

　先週末、"Mathematica Conference JAPAN 2011（Wolframユーザコンファレンス Japan 2011）"を聴きに行きました。その冒頭の基調講演"Computer Based Math"では、"問題” "Problem"を計算機を使って解決していく「手順」が、こんな風に語られていました。

1. Understand the problem（課題・問題理解）
2. Set up the problem（問題設定）
3. Calculate the problem（計算）
4. Utilize result of the problem（計算結果の適用）

　「…なるほどなぁ」と思いつつ、それと同時に、少し違和感も感じました。なぜかというと、2〜4の過程は互いに分けることが難しい不可分のことであるのではないかと、そう思えたからです。

　「解けること(3)」「（答を）役に立つ形で適用しうること(4)」…そんなことを全て理解するという必要条件のもとに、「解決する”問題”を決める・設定する（２）」ということが可能なのではないか、と思います。さらに、(2)〜(4)にいたる「３つのこと」全てを把握するというこそ、(1)の「課題（問題）を理解する」ということ・そのための必要条件なのではないか、とも思うのです。

　…つまり、上に書かれた４点の箇条書きは、実は「分けようがない不可分の”ひとつ”のこと」としか言いようがないのではないか、とも思ったりするのです。

　そんなことを考えた次の日、「n年前へ」を眺めてみると、こんな言葉をメモしていました（「トンデモ計算」を生む原因）。

　科学的知識はわれわれの周りの世界に起こる出来事を説明し、多くの場合、物事のより良いやり方を予知するために用いられるが、それには問題意識と目標が十分に明確でなくてはならないのである。

ワッツ＆ベイヒル　「ベースボールの科学」

　ここに登場する「問題意識」「目標」といったことを「十分に明確」にするためには、何が必要とされるのだろうか？と考えます。そんな曖昧な疑問に答えるなら…あなたは、どんな「条件」が必要だとて、そしてどんな「答」を出すでしょうか。