「テクノロジーのプリズムを通しての私の人生...」-Stephen Wolfram

今日は、MathematicaとWolfram | Alphaの作成者であるWolfram Languageの作成者であるStephen Wolframの誕生日です。 コンピューター歴史博物館（カリフォルニア州マウンテンビュー）での彼のスピーチの翻訳があなたにとって興味深く、役に立つことを願っています。 スティーブンの長年のプロで個人的な伝記から、多くの予想外の驚くべき事実を学びます。


スティーブン・ウルフラムの投稿「 テクノロジーの私の人生—コンピュータ歴史博物館で語られたように 」の翻訳。
出版物の翻訳と準備にご協力いただいたPolina Sologubに感謝します。

---

通常、私は将来に興味があります。 しかし、私の意見では、この物語は興味深く、有益であり、私も多くのことを研究しています。 ほとんどの場合、これらは他の人のライフストーリーです。 しかし、 コンピューター歴史博物館は今日、私自身の人生と私が作成したテクノロジーについて話すように頼みました。 それがまさに私がやろうとしていることです。

今、私にとってユニークな時が来ました-私が30年以上にわたって取り組んできた多くのことが実を結び始めました。

私の焦点は、新しい種類の知識ベース言語（膨大な知識が組み込まれている-コンピューティングと世界全体の両方について）であるWolfram言語です。 Wolfram言語は最大限に自動化されているため、アイデアから実際の実装までの経路はできる限り短くなっています。

今日は、どのようにしてMathematicaとWolfram | Alphaシステムを作成したかについてお話したいと思います 。

私は自分の物語について多くのことを話さなくてはなりません。主に、私の人生のほとんどを科学と技術に費やした方法についてです。 振り返ってみると、起こったことの多くは避けられない、容赦ないように思えます。 そして、私が予期していなかったもの。

しかし、最初から始めましょう。 私は1959年にロンドンで生まれました。そのため、はい：私は（少なくとも現在の基準では）不敬oldな老人です。 私の父は、ほぼ60年間小さな会社（国際的な繊維貿易）を経営しており、いくつかのSF小説も書きました。 母はオックスフォードの哲学の教授でした。 前回スタンフォードの本屋にいたとき、私は誤って哲学的論理に関する彼女の教科書を見ました。

私が5歳か6歳の時、たくさんの大人とのパーティーに参加できなかったのを覚えています。ここで、オックスフォードの非常に尊敬される哲学者についての非常に長い会話が次の言葉で終わりました。 哲学者 。」 まあ、彼らは正しいことが判明した。 何が起こるかはかなり面白いです。

ここに私が当時のものがあります：



私はオックスフォードの小学校に行きました- ドラゴンスクールと呼ばれる場所に行きました（おそらくこれはおそらくイギリスで最も有名な小学校だと思います）。 ウィキペディアは、現時点で私のクラスの最も有名な人は私と俳優のヒュー・ローリーだと考えています。

これは私の学校の講義の1つです（私は7歳でした）。 これはクラス評価です。 ですから、私は詩と地理に秀でていましたが、数学はそうではありませんでした（そして、そうです-これはイギリスですから、「聖書研究」の主題がありました）。 しかし、少なくともそれは言う：「 彼は精神と決意に満ちている。彼は遠くに行かなければならない... 」



1967年で、ラテン語などを勉強しました。 しかし、私が本当に気に入ったのは未来でした。 当時、最も未来志向だったのは宇宙計画でした。 そして、私は非常に興味を持ち、打ち上げられた各宇宙船について見つけることができるすべての情報を収集し始め、すべての情報を保存した小さなノートブックをまとめました。 そして、イギリスからでもNASAに手紙を書いて、すべての資料を郵便で無料で入手できることがわかりました。





当時、火星に植民地があると想定されていたので、私は宇宙船の小さなプロジェクトを始めました。









私はエンジンとイオン電池に興味を持ち、11歳のとき、私の主な関心は物理学でした。





そして、本を読むだけで多くのことを素早く学べることがわかりました（これは学校とは関係ありませんでした）。 物理科学のさまざまな分野を選択し、それらに関する知識をシステムに整理しようとしました。 その結果（すでに12歳のとき）、物理学に関するすべての事実をまとめるために夏を過ごしました。 この「視覚化」のいくつかを呼び出すことができると思います。 そして、実際、これははるかに多くのように、インターネット上で簡単に見つけることができます ：









数年前、私はこれを（Wolfram | Alphaのリリース中に）再び見つけて、「 ああ、まあ、一生同じことをしました！ 」そして、11才か12才の頃から番号をダイヤルし始めました。 Wolfram | Alphaが同じことをするかどうかを確かめるために何年も： もちろん 、すべてがうまくいきました：



私が12歳の時、イギリスの伝統に従って、私はいわゆる公立学校に行きましたが、実際には私立学校でした。 私はイートンに行きました-これらの学校の中で最も有名なもので、コロンバスがアメリカに到着する50年前に設立されました。 1972年に入学した子供たちの中で最高の奨学金さえも受けました。

はい、彼らはいつもテールコートを着て、私のような王室の学者も雨などを防ぐローブを着ていました。私はこれらの毎年のハリー・ポッタースタイルの写真をうまく回避できたと思いましたが、一度グループに捕まった写真：



当時、彼のラテン語、ギリシャ語、ガウンを使って、物理学が私の本当の情熱だったので、ある種の二重の生活を送りました。

夏に13歳になったとき、私は素粒子物理学に関する簡単な情報を集めました：





そして、私は重要な発見をしました： 子供でさえ面白いものを発見することができます。 そして、物理学の質問に独自に答えようとするか、本の中で答えを探していました。15歳になるまでに、 物理学に関する記事を公​​開し始めました。 物理ジャーナルに記事を投稿するときに、あなたが何歳であるかを尋ねる人はいません。



12歳のとき、何か重要なことが起こりました。最初のコンピューターに出会いました。 これはエリオット903Cです。 これは私が使用したものとまったく同じではありませんが、似ています：



彼は、 アラン・チューリングの友人だった私の先生ノーマン・ラウトレッジとともにイートンに現れました。 彼は、多くの場合SIR（アセンブラー）で、マイラーテープを使用してプログラムされた18キログラムの18ビットフェライトコアを持っていました。



多くの場合、最も重要なスキルの1つは、光学式リーダーを通過した後にテープを巻き戻すことであるように思われました。

とにかく、コンピューターを使って物理学をやりたかった。 12歳のときにこの本を受け取りました 。



カバー画像は、ランダム性とエントロピーの増加を示すシミュレートされたガス分子であると想定しました。 よくあることですが、数年後、私はこの写真が実際には一種の偽物であることを発見しました。 しかし、12歳のとき、私は本当にコンピュータを使ってそれをプレイしたかったです。

それほど単純ではありませんでした。 分子の位置は実数でした。 衝突アルゴリズムなどが必要でした。 そして、エリオット903に適応するために、私は最終的に多くのことを単純化しました。そして、2Dセルラーオートマトンであることが判明しました。

それから10年後、セルオートマトンの分野でいくつかの素晴らしい発見をしました 。 しかし、その後、私はセルラーオートマトンのルールに幸運ではなく、何も発見することなくそれらに対処することになりました。 そして最後に、私の最大の成果は、エリオット903のブートテープを書くことでした。



マイラーテープには重大な問題が1つあります。それは静電気の電荷を受け取り、穴をかむため、ビットが正しく読み取られません。 さて、ブートローダーの場合、エラー訂正コードを考え出し、チェックに失敗した場合、リーダーのテープが停止し、数メートル引き戻して再読み取りできるように設定しました。

わかりましたので、16歳になるまでに物理学の記事を出版し、認知度さえ上がり、学校を出て、粒子研究を行っていたRutherford Laboratoryという英国政府の研究室で働きました。



今、あなたは私が数学があまり得意ではないことが明らかになった学校のレポートカードを思い出すかもしれません。 スライドルールを使用し始め、1972年に電卓を使用し始めたとき、すべてが少し良くなりました。 しかし、私は学校で数学をしたり、一般的に数学をしたりするのが好きではありませんでした。 そして素粒子物理学には多くの数学がありますので、この私の嫌いは問題でした。

ラザフォードの研究室では、2つのことが助けになりました。 まず、プロッターを備えたデスクトップコンピューターで、非常に美しいインタラクティブな計算を行うことができます。 次に、Fortranでプログラミングしたもののメインフレーム。

ラザフォードの研究室の後、私はオックスフォードの大学に行きました 。 非常に短い時間で、これは間違いだと気づきましたが、当時は講義に出席する必要はなかったので、物理学の研究を隠してしまいました。 そして基本的には、コンピューターとARPANETに接続された端末を備えた核物理学の建物の、条件の良い地下で時間を過ごしました。

それから-1976年-シンボリック数学、代数などのクラスで最初にコンピューターを使い始めました。素粒子物理学のファインマン図には、多くの代数が含まれています。 そして1962年に、3人の物理学者がCERNで出会った年で、この方向で作業するためにコンピューターを使用することを決定したようです。 彼らには3つの異なるアプローチがありました。 Fortranで ASHMEDAIというシステムを作成しました。 もう一つはスタンフォードのジョン・マッカーシーの影響下にあります-LispのReduceと呼ばれるシステムです。 別の人は、オランダ語のニーモニックを使用してアセンブラーでCDC 6000にSCHOONSCHIPと呼ばれるシステムを作成しました。 興味深いことに、数年後、これらの物理学者の一人がノーベル賞を受賞しました 。 それは、 アセンブリ言語で SCHOONSCHIPを書いたTini Veltmanでした。







いずれにせよ、1976年には、作成者以外の人々はこれらのシステムを使用しませんでした。 それらすべてを使い始めました。 しかし、私のお気に入りは1960年代半ばにMITの Lispで書かれたまったく異なるシステムでした。 それはMacsymaと呼ばれるシステムでした。 彼女はProject MAC PDP-10コンピューターで働いていました。 そして、イギリスの17歳の子供として私にとって重要だったのは、ARPANETで彼女に会えることでした。

ホスト236があったので、@ O 236のようなものを入力して、対話型オペレーティングシステムに接続しました。 誰かがSWログインを取得しました。 そこで私はSwolfになり、Macsymaを使い始めました。



1977年の夏、 アルゴンヌ国立研究所で過ごしました。物理学者のアイデアがメインフレームルームでテストされました。

その後、1978年に、 カリフォルニア工科大学の大学院に行きました。 この瞬間までに、私は世界最大のコンピューター代数のユーザーだったと思います。 そして、それはとてもクールだったので、これらすべてを非常に簡単かつ簡単に計算できました。 私は仕事で華やかで複雑なフォーミュラを使ってそれをとても楽しんだ。



私は素晴らしい計算機として評判を得ました。 もちろん、彼女は100％にふさわしくありませんでした。 実際、（公平を期すために）何かが私に残っていましたが、非常に長い間計算を行っていたので、新しい種類の直感を獲得しました。 私は自分自身で積分をうまく取りすぎませんでした。 しかし、コンピュータを使用して戻って実行し、試してみる価値があるものを直感的に理解してから、何が機能するかを試すことができました。

Macsyma用に大量のコードを作成しました。 そして1979年のどこかで、私は壁にぶつかりました。何か新しいものが必要でした。 図の不吉なMACSYMA RELOAD行に注意してください。





その後、1979年11月、20歳の誕生日を迎えてすぐに、論文を集めて論文と呼び、博士号を取得しました 。 そして数日後、私はジュネーブのCERNを訪れ、物理学における私の将来について考え始めました（当時はそうでした）。 当時私が確信していたのは、計算のためにMacsyma以外のものが必要になるということだけでした。 そのとき、私は自分のニーズに合ったシステムを構築することにしました。 そして、 仕様を作成し始めました。



最初は、ALGY（代数マニピュレーター）になるはずでした。 しかし、私はすぐに、代数的操作以上のことをしなければならないことに気付きました。 Algol 、Lisp、 APLなどの汎用コンピューター言語のほとんどを知っていました。 しかし、何らかの理由で、私がシステムを作成したい領域をキャプチャしませんでした。

私は物理学から学んだことをしたと思う：原子を見つけて何が起こっているのかを理解するために深く行った。 母の哲学的論理に関する教科書が存在していなかったときでさえ、数学的論理と論理を使用して何かを定式化する試みの歴史について何かを知っていました。

これらの形式化の試みの歴史は非常に興味深いものであり、多くの有名な名前に関連付けられています。これは、 アリストテレス 、 ライプニッツ （Habréの記事「 ライプニッツの遺産の詳細 」を参照）、Fredge、 Peano 、 Hilbert 、 Whitehead 、 Russell 、など。しかし、これは別の会話です。 しかし、1979年に、私の考えから、シンボリック表現とその変換のアイデアに基づいた構造を考え出すことになりました。

私が手に入れたものは、 SMP：Symbolic Manipulationsプログラムと呼ばれ、それに取り組むために、カリフォルニア工科大学全体から人々を引き付け始めました。 リチャード・ファインマンは会議に出席し、プログラムの構造について議論し、システムと対話するためのさまざまなアイデアを提供しました。 一方、物理学部はVAX 11/780を受け取り、いくつかの論争の後、Unixが起動しました。 同時に、 Goプログラミング言語の作成者であるRob Pikeという名前の若い物理学の学生は、「将来の言語」でシステムのコードを記述する必要があると確信しました。

私はCコードを書くことに成功し、しばらくは1日に平均で約1000行を書きました。 そして、1981年6月までに、いくつかの著名人の参加により、SMPの最初のバージョンが準備できました-私が書いたドキュメントの大きな本と共に。



良い; あなたが尋ねることができます：私たちはSMPを見ることができますか？ SMPに取り組んでいたとき、暗号化でソースコードを保護する必要があるという素晴らしいアイデアがありました。 そして、あなたはそれを推測しました、30年後、誰もパスワードを思い出すことができませんでした。 少し前まで、1つの状況が発生しました。

他のアイデアを実現するために、Unix暗号化プログラムの修正版を使用して、暗号化をより安全にしました。 数年前のMathematicaの25周年を記念して、暗号化を解読するクラウドソーシングプロジェクトを実装しました。 残念ながら、コードのコンパイルは簡単ではありませんでした-15歳のボランティアの助けのおかげで、ようやく機能するようになりました。

そしてここにあります：VAX仮想マシンエミュレーター内で動作するので、実行中のSMPのバージョンを（30年ぶりに）表示できます。



SMPは、良いアイデアとそれほど良くないアイデアの混合物でした。 たとえば、SCHOONSHIPの著者であるTini Veltmanは、悪いアイデアを提案しました。複数のプロセッサでより高速な浮動小数点命令を使用できるように、有理数を浮動小数点として表すことを提案しました。 しかし、他にも多くの悪いアイデアがありました。

興味深いアイデアもありました-私が「プロジェクション」と呼んだもののように：実際、関数とリストの組み合わせ。 いくつかのトラブルを除いて、彼らは素晴らしかった。 そして、連続した整数インデックスを持つほとんどすべてのベクトルで奇妙なことが起こりました。

しかし、全体として、SMPは非常にうまく機能し、もちろん私はそれが非常に有用なものであると判断しました。 だから今、次の問題はそれをどうするかを決めることでした。 そのような仕事には本当のチームが必要であり、それを実現する最善の方法はビジネスを商業的な基盤に移すことだと気づきました。 しかし、当時私は21歳で、ビジネスについて何も知りませんでした。

それから、私は技術の商業化の大学のオフィスに来て、彼らに何をすべきか尋ねました。 しかし、「 基本的に教授は私たちのところに来ない。彼らは自分の会社を開いた」ので、彼らは知らなかったことが判明した。 「 まあ、 」私は言った、「 私はこれをすることができますか？ 」 そして弁護士はある種のマニュアルを取り出し、それを調べて言った。「 ここでは、資料の著作権は作成者とソフトウェアにも属していると言っているので、あなたは何でもできます 。」

それで、私は自分の会社を設立しようと試みました。 結局、大学は私が望んでいたことをやるべきではないと突然決めたので、それはそれほど単純ではないことが判明しました。

数年前、カリフォルニア工科大学にいたときに、当時学長だった95歳の男に出会いました 。彼は「 ウルフラム事件 」と呼ばれるものの詳細の残りの部分を最終的に記入してくれました。 あなたが想像できるよりも奇妙だった。 私はそれについて話しません。 カリフォルニア工科大学の1929年のポスドクであるアーノルド・ベックマンがpHメーターの権利を主張し、 ベックマン・インスツルメンツを設立したことから始まります。遺伝子配列決定技術がカリフォルニア工科大学で発見され、 Applied Biosystemsを作成するために残されたという事実。

私が作成した会社は、カリフォルニア工科大学を後にして辞めたとしても、嵐を乗り越えました。そして、彼は奇妙なソフトウェア所有権ポリシーに終止符を打ちました。

Computer Mathematics Corporationを設立してから 、私は大したことをしませんでした。 CEOの職に人（私の2倍の年齢）を招待しました。 そして、すぐにすべてが私が理にかなっていると思っていたものから離れ始めました。

狂気の私のお気に入りの瞬間の1つは、ハードウェアビジネスに参入し、SMPを起動するためのステーションを構築するというアイデアでした。 まあ、その時点では、単一のステーションに十分なメモリがなく、Motorola 68000プロセッサは仮想メモリをサポートしていませんでした。 , 68000-x , , , . , . , , — SUN — .

, 1981 , , , — — . , , , , Inference Corporation ( NASDAQ). SMP , - 40 000$ . , , .

— , , , " ", .

— - , . , — (SUN) ( — ):





- — ; — , . Thinking Machines Corporation . , WarGames , : " , ? ". Connection Machine , .

, (" ") , Ixis. , , . , , , (, ) , .

. ( ), , . , " Microsoft ". Microsoft.

1985 , , , . -, - , . , - .

— , . — , , Beckman Foundation, . , 1986 , - 100 .

, . , . , .

. , , , , . : -, ; , -, .

. SMP. C. PostScript , . , . , , , , .

, , . SMP , , — , , Mathematica .



, , . , , ,— . Mathematica , SMP. SMP — Mathematica , .

, Mathematica . Omega . . Polymath . Technique . — . , , ( - ) .



, . - , Adobe PostScript. , , , , , NeXT .

. , , " Mathematica ", , . , — . .

18 Mathematica. , . , , .

Mathematica NeXT :



: Sun — ; Silicon Graphics . Ardent — . AIX/RT ( IBM ) — .

: 23 1988 .

Mathematica: . Addison-Wesley , . , PostScript , . , , , Addison-Wesley.



Mathematica — , , Techmart, -. Mathematica MS-DOS - (640). , Mac. ComputerWare — -.



. , . Apple . Sun , :



Mathematica. Mathematica — , Mathematica. , — , , - .

. . . , Time " Those Computers Are Dummies ", Mathematica .



Mathematica . — , , Sony , .

. Cray-2 . Mathematica . - 2 + 2. — — «5». , .

- 1990 — :



NeXT Mathematica . , , NeXT Mathematica. - , .



, - 150 . : , - , ? , ; , . , — — .



— , . , Mathematica . , . , — .

. , . 10 . , … , !

, , , — . . .

, 7 1994 :



, :



1996 Mathematica. 1988 . Mathematica . , . 1989^1989 — , 1989 , . Raspberry Pi , .

, 1988 ( , , , ) Mac NeXT, .

, - Mathematica. C (- C, , C ++ 1988 ). Mathematica, Wolfram Language — .

, , . — Mac, NeXT, Microsoft Windows X Windows. 1996 . 20 ; , .

Mathematica - , .



« », MathMobiles , .

Mathematica . , , . , 1997 Mathematica. , : , . , - — Mathematica. .

. DRM : " PC; Mathematica ! ". : " ". , , .

2002 , , , , :



" " , . , , , . , . , , , .

Mathematica, . , . 2006 , ( ). CDF ( ), Wolfram Demonstrations .



. . . , . , 36 , The Wolfram Functions Site 300,000+ :



, . , , , . -, . .



, , . . webMathematica , , …

Mathematica , , .

, , , , " ": -, . , - . 1980 , . .

, . " " " " . , , , " ", .

, , Mathematica. : " , , ? " , . : " - " . . , , .

. , , . — , . , . , .

, , . , WolframTones. , . , . . Wolfram|Alpha — , .

, , Wolfram|Alpha . , , - , , .

, Wolfram|Alpha ( Mathematica Wolfram Language) . , .

, 15 2009 . : , . Amazon -: , .

. , , . . , - , - , , , , , , , . , justin.tv ( YCombinator ), — .

« » , , . , : , .





, . , . , — , .

, , . . : ! Wolfram|Alpha ( ):



, , . , , 9:33:50 15 2009 , Wolfram|Alpha . . , .

. , - :



- : « , ?! ". — :



Wolfram|Alpha; . Microsoft Wolfram|Alpha Bing . Siri . Apple Siri, ( ) Wolfram|Alpha Siri.



, . Wolfram Language . , . 1990- Mathematica — M Language. , : , , 1993 . , .

. , Wolfram|Alpha, , . , , , Mathematica . :



, 90% . " ", . , - . , Wolfram|Alpha , .

- — , , — .

Mathematica , . Wolfram Language ( ) — , — . …

. , , Mathematica 10000 :



. , , : , . , :



Wolfram Open Cloud , Wolfram Language — 30 40 .

30 , Wolfram Language — , . — , .

. , , . . , Tweet-a-Program :



— , Wolfram|Alpha , 15 Wolfram Language.

, Wolfram Language. , Wolfram Language . :



, , , 12-, Wolfram Language, Elliott 903. , .

, , , .

---

( . ):