2008-05-06[n年前へ]
■隠された非合理的な部分
"GRAPHICATION No.156"
論文には試行錯誤のところは絶対に書かないんですね（笑）。だから、ある日、天才的な閃きによってそれが発見されたかのように見えるんです。
赤木昭夫
「君、科学論文はこう読むんだよ」
「大体ずるいキツネほど自分の足跡を尻尾で消していくんだ」
「肝心なところは、アインシュタインもハイゼルブルグも全部隠しておるのや。そんなのにだまされたらあかんよ」
内山龍雄 via 赤木昭夫
数学の三段論法のような論理だけで論文は仕立ててあるわけですね。
赤木昭夫
つまり、論文には(筋道をたどれるような)合理的なことしか書かれていないわけですね。本当はその裏に隠された不合理な部分が重要なんですね。
池内 了
2008-05-27[n年前へ]
■「色んな単位」と「”メガ”+”乳”=”メガ乳”という方程式」
「メガ乳」という言葉の発明者と会ったことがある。マクドナルドのハンバーガー「メガ・マック」などをきっかけに、メガ×○△といった言葉を良く聞くようになったが、最近では、この「メガ乳」という言葉が使われることも多いらしい。「100万倍」を意味する科学用語・単位「メガ」が、こういった用途に使われるということに、奇妙な新鮮さを感じる。
科学離れが語られる今日この頃だけれども、こんなことにも「100万倍＝メガ(mega)」という科学用語が使われているのだ。科学と日常生活の距離は、ずっと昔からそうだったように、（もちろん、近いとも限らないが）決して遠くはないのである。
よくよく眺めて見ると、「メガ」＋「乳」＝「メガ乳」という言葉は、案外良い組み合わせだと思う。たとえば、「メガ乳」の10億倍を意味する「1000兆倍＝ペタ(peta)」では、「ペタ」＋「乳」＝「ペタ乳」になってしまう。これでは、妙にフラットな印象をかもし出してしまうように思う。それなら、むしろメガの10万分の１の「10倍＝デカ(deca)」の方が迫力を感じるような気がする。
単位系を眺めているうちに、結構気に入ったのが「1兆分の1＝ピコ(pico)」だ。「乳」という言葉の接頭語としては、「ピコ」も結構似合うような気がする。
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
