エイダ・ラブレス

エイダ・ラブレス（Ada Lovelace、 本名 Augusta Ada King, Countess of Lovelace、 1815年12月10日 ── 1852年11月27日）は、 Charles Babbage が設計した解析機関について、 1843年に長い注釈を書いた数学者である。 注釈の最後にあるベルヌーイ数の計算表は、 しばしば「最初のコンピュータプログラム」と呼ばれる。 ただし、 その注釈のどこまでが彼女自身の仕事で、 彼女がどれほどの数学者だったかについては、 研究者のあいだで評価が大きく分かれてきた。 このページは両方の立場を、 名前の分かる出典ごとに並べる。

生い立ち

父は詩人の Byron 卿、 母は Anne Isabelle Milbanke。 両親は1815年1月に結婚し、 彼女が生まれた翌月の1816年1月に別居した。 Byron 卿はその年に英国を離れ、 彼女は父に二度と会うことがなかった（MacTutor）。 母は娘が父のような詩人にならないよう、 数学を重視した教育を家庭教師に任せた。 10代には数学者・科学著述家の Mary Somerville から本を送られ、 問題を出され、 Babbage と彼の機械の話も聞いている。

1833年6月5日、 17歳でパーティーに出て Babbage と出会い、 2週間後に母と彼の工房を訪ねて、 小さな階差機関が動くのを見た。 Science Museum によれば、 これが生涯の友情の始まりで、 Babbage は彼女を “Enchantress of numbers” と呼んだ。 1835年7月8日に William King と結婚し、 夫が1838年に伯爵に叙されたことで Lovelace 伯爵夫人となった。 3人の子をもうけたあと、 1840年から41年にかけて、 ユニバーシティ・カレッジ・ロンドン（UCL）の数学者 Augustus De Morgan のもとで通信による大学程度の数学の学習を続けた。

1843年の注釈

1840年に Babbage がトリノの数学者たちと解析機関について議論し、 その一人の L. F. Menabrea が1842年10月にフランス語で論文を発表した。 ラブレスはこれを英訳した。 Babbage の自伝（1864年）によれば、 なぜ自分で独自の論文を書かないのかと尋ねると、 彼女は思いつかなかったと答え、 そこで Babbage が訳に注釈を付けることを勧めた。 注釈 A〜G は原文の約3倍の長さになり、 1843年に Taylor の Scientific Memoirs 第3巻に、 訳者名を A.A.L. として掲載された。

注釈が今も読まれるのは、 機械の歯車ではなく、 機械が何をしうるかを論じているからである。

• Note A は、 解析機関と階差機関の違いを Jacquard 織機の穿孔カードに求め、 “the Analytical Engine weaves algebraical patterns just as the Jacquard-loom weaves flowers and leaves” と書く。 同じ注釈で、 音の高さの関係を演算の記法で表せるなら、 機械は “might compose elaborate and scientific pieces of music of any degree of complexity or extent” と述べている。 Science Museum は、 数以外の記号や音符を扱いうるというこの見通しを、 電子計算機の時代まで十分に理解されなかった概念上の飛躍と評している
• Note G は冒頭で過大評価を戒め、 “The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform.” と書く。 そのうえで、 機械がベルヌーイ数をどう計算するかを段階ごとに追い、 B₇ を求める計算の図と表を付けた。 Hollings らの説明では、 この表は計算の各段階で機械の各部がどう変わるかを示す、 今でいう実行トレースであり、 プログラムそのものは対応する穿孔カードの束になるはずのものだった

Note G 冒頭の一文は、 1950年に Alan Turing が「Lady Lovelace's Objection」として取り上げ、 機械は命じられたことしかできないという見方の代表として反論した（Turing は注釈を1842年の覚え書きとして引いている）。 Turing は同じ箇所で、 解析機関は万能ディジタル計算機であり、 記憶と速度が十分なら適切なプログラムでほかの機械を模倣できたはずだが、 その議論は伯爵夫人にも Babbage にも思い浮かばなかっただろう、 と書いている。

評価をめぐる論争

ラブレスの評価は「天才」から「ペテン師」まで振れてきた、 と Hollings・Martin・Rice の2017年の論文は書いている。 主な立場は次のとおりである。

最後の研究は Oxford 大学の Ursula Martin が率い、 Bodleian 図書館が持つ Lovelace-Byron 文書の数学関係の資料を調べたもので、 往復書簡は Clay Mathematics Institute のサイトで画像と翻刻が公開されている。 一方、 Babbage の証言は当事者の回想であり、 Misa の「共同作業」という整理と両立もする。 このページは、 どの立場が正しいかの判定はしない。 確かなのは、 注釈が彼女の名（の頭文字）で出版され、 Babbage 自身がベルヌーイ数以外の展開を彼女の仕事としていること、 そして注釈の中身 ── 機械が数以外を扱うという見通しと、 機械は何も生み出さないという限定 ── が一世紀後の計算機の議論にそのまま引き継がれたことである。

その後と死

注釈の出版後、 彼女は体調を崩しがちになり、 次の数学の仕事を構想しながら実現しなかった。 1852年、 癌のため36歳で死去した（MacTutor）。

Ada 言語

1970年代、 米軍は自軍のソフトウェアが何百もの言語と方言で書かれていることを問題視し、 新しい高水準言語の要件をまとめて競争にかけた。 勝ったのは Jean Ichbiah が率いるフランスのチームで、 政府側のチームが言語をラブレスにちなんで Ada と名付けた（Ada Resource Association）。 頭字語ではない。 最初の版は1980年代初めの Ada 83 で、 長期間使われる組込みシステムなど、 信頼性が重視される分野を主な対象としている。