エイダ・ラブレス

ラブレス伯爵夫人オーガスタ・エイダ・キングは、1815年12月10日にロンドンで生まれ、1852年11月27日に子宮頸がんで36歳で亡くなりました。父はバイロン卿で、彼女が生後5週間のときに家族のもとを去り、1824年に亡くなりました。母アン・イザベラ・ミルバンクは、彼女が父の気質を受け継ぐかもしれないという不安もあって、彼女を厳格な数学へと導きました。ウィリアム・フレンド、ウィリアム・キング、メアリー・サマヴィルに教えられ、その数学の能力は、17歳だった1832年ごろに明らかになりました。

1833年6月5日、18歳のとき、彼女はメアリー・サマヴィルを通じてチャールズ・バベッジに出会いました。バベッジは、ついに作られることのなかった機械式の汎用計算機、解析機関に取り組んでいて、のちに彼女を「数の魔女」と呼びました。

エイダ・ラブレスは実際に何を書いたのか？

1842年から1843年にかけて、彼女はイタリアの技師ルイジ・メナブレアによる解析機関についてのフランス語の論文を翻訳し、AからGまでの記号をつけた七つの注を付けました。注は、彼女が翻訳していた論文のおよそ3倍の長さです。注Gは、その機械を使ってベルヌーイ数を計算する方法を示していて、最初に出版されたコンピューター・プログラムとしてよく語られます。もっと深い貢献は、注のほかのところにあります。彼女は、機関の演算が本来は算術的なものではないこと、そして、たとえば音の高さのあいだの関係を機械の言葉で表せるなら、それは音楽を作れるだろうということを見抜きました。それは汎用の記号計算という概念であり、1843年9月に書き留められ、さらに1世紀のあいだ、誰にも必要とされなかったのです。

ラブレスはNi主機能であり、その証拠は、彼女が見ていたものと、彼女に見えたものとの隔たりです。バベッジには数を生む機械があり、それを数を生む機械として理解していました。彼女は同じ設計を見て、数は付随的なものだと知覚しました。機関は規則に従って記号を操り、記号と規則として表せるものは何であれ、それゆえその手の届くところにある、と。誰もその問いを発しませんでした。1843年に、それを問う理由はなかったのです。

補助機能のTeこそ、その洞察が、ただの発言以上のものとして残っている理由です。彼女はただそれを主張したのではありません。正式に、実際に組み立てたアルゴリズムを付けて書き上げ、『テイラー科学論文集』に、数学者たちに厳密に主張するように設計された構造で発表しました。注は一つの実装であり、私たちが今もその思考を読める理由は、彼女がそのための乗り物を築いたからなのです。

なぜ注Gは重要なのか？

それが、具体的にされた抽象だからです。機械は算術以上のことができると主張したうえで、彼女は、それで何かをするための仕組みそのものを実証しました。特定の結果を計算するために並べられた、繰り返しを伴う演算の列です。第三機能のFiは、彼女がその仕事についてどう書いたかに表れます。注の言葉遣いは紛れもなく彼女のもので、尊大に近いほど自信に満ちていて、その考えがバベッジのものではなく自分自身のものだと、彼女は十分に自覚していました。劣等機能のSeは、記録の悲しい部分です。最後の年月の健康も、金銭の事情も、個人的な状況も、目の前のものからずっと高いところに生きる頭脳によって、まずく扱われたのです。

INTPが最もよくある別の候補であり、数学の抽象がそれをもっともらしくします。違いは、彼女が探求していたのではないことです。考えをいつまでもひねり回し、機械を作らないままにしたのはバベッジでした。ラブレスは定まった計画を引き受け、実例を伴う、仕上がった、構造を持った、出版された文書を生み、その技術が何のためにあるかについて特定の主張をしました。Teは閉じます。注は閉じられているのです。

想像の広がりと、ジャカード織機が花を織るように機関が代数の模様を織るという有名な一行から、INFPが提案されることもあります。しかしその像は、計算の一般性についての議論に仕えていて、正確に述べられ、技術的に擁護されています。詩は修辞の道具であって、源ではないのです。