エイダ・ラブレス：コンピュータが存在しない時代に「世界初のプログラム」を書いた女性

1. 身近な「プログラム」を逆算する

Python・Java・JavaScript で書く「プログラム」、世界で一番最初に書いたのは誰か?コンピュータがまだ機械式の構想段階だった 1843 年、イギリスの女性数学者 エイダ・ラブレス が、解析機関 (Analytical Engine) のために ベルヌーイ数を計算するアルゴリズム を書いたのが始まり。

2. 100 文字でわかる

3. 500 文字でわかる

1815 年生まれ、英国の有名詩人ロード・バイロンの娘。父バイロンとは生後 1 ヶ月で別離 (両親離婚)、母 (アンナベラ) は娘が「父の狂気を継がない」よう 数学・科学を厳しく教育 した。これが後のエイダのコンピュータ史への貢献に繋がる。1833 年、当時 18 歳のエイダは チャールズ・バベッジ (機械式コンピュータの父) と出会う。バベッジが構想中の 解析機関 (Analytical Engine) に魅了され、長期にわたって共同研究。1843 年、イタリアのメナブレアによる解析機関のフランス語論文を翻訳した際、エイダは 元の長さの 3 倍 に及ぶ膨大な「注釈 (Notes)」を追加。Note G に ベルヌーイ数を計算するアルゴリズム を詳細に記述、これが世界初のコンピュータプログラム とされる。さらに「解析機関は数値計算だけでなく、音楽の作曲や複雑な記号操作にも使える」と予言。1979 年、米国防総省が新しいプログラミング言語に 「Ada」 と命名し彼女を顕彰。1852 年、36 歳で子宮癌により死去。

4. もっと詳しく：エイダ・ラブレスの生涯

詩人の娘、数学の英才教育

1815 年 12 月 10 日、ロンドン生まれ。父はロマン派詩人 ジョージ・ゴードン・バイロン、母はアン・イザベラ・ミルバンク (数学好きで「数学王女」と呼ばれた)。両親は彼女が生後 1 ヶ月で別居、エイダは母に育てられた。母は娘に詩や芸術より、数学・論理学・音楽を厳しく教育 (父バイロンの「狂気的な情熱」を恐れて)。家庭教師にはオーガスタス・ド・モルガン (集合論で有名な数学者) などが招かれた。

バベッジとの出会い (1833)

1833 年 6 月、当時 17 歳のエイダはバベッジ宅のパーティで「差分機関」を見学。これは数値計算用の機械式コンピュータの試作機。エイダは即座に魅了され、バベッジに「もっと知りたい」と手紙を送る。以降、20 年近くにわたって両者は文通し、解析機関の設計を共同で深めた。バベッジは彼女を「数の魔女」と呼んだ。

解析機関と Note G (1843)

1840 年、バベッジがイタリアで解析機関の講演を行い、聴衆の ルイジ・メナブレア がフランス語で論文化。1843 年、エイダはこれを英訳する依頼を受け、訳文に 元の 3 倍の長さの注釈 (A〜G の 7 つ) を加えた。Note G にベルヌーイ数 (Bn) を計算するアルゴリズム を詳述。これは「変数を更新するループ + 条件分岐」を含む、現代的プログラミングの全要素を持っていた。Note A では、解析機関が「数値計算だけでなく、音楽・詩・芸術の生成にも使える」と予言 — AI 時代の生成芸術を 180 年前に予見した形。

悲劇的な晩年

結婚後はラブレス伯爵夫人となり 3 児の母に。一方でギャンブル好きで多額の借金を作るなど、波乱の生活。1852 年 11 月 27 日、子宮癌のため 36 歳で死去。父バイロンと同じ年齢で世を去り、希望通り父の隣に埋葬された。生前は「ある女性貴族の余技」とされ、Note G の数学的価値は 100 年以上忘れられていたが、20 世紀のコンピュータ史研究で再評価された。

5. 現代への影響

• プログラミング言語「Ada」: 1979 年に米国防総省が命名、現在も航空宇宙・防衛で使用
• 「世界初のプログラマ」: 女性 STEM 教育のシンボル
• Ada Lovelace Day: 毎年 10 月、世界で女性 STEM の日
• 汎用コンピュータの予言: 「数値計算以上のことができる」という発想が現代 AI に繋がる

6. もっと知りたい人へ

• Wikipedia (日本語): エイダ・ラブレス
• Note G (原文): メナブレア論文の英訳と注釈、Wikisource で公開
• 書籍「The Innovators」(Walter Isaacson, 2014): コンピュータ史、エイダから始まる
• Ada Lovelace Day: 毎年 10 月第 2 火曜、女性 STEM の日 (https://findingada.com/)
• プログラミング言語 Ada: 米国防総省規格、航空宇宙で稼働中

7. 次の話

EP.06 では ジョン・フォン・ノイマン を扱います。現代のコンピュータの基本構造「ノイマン型アーキテクチャ」と、ゲーム理論を作った天才数学者です。