エイダ・ラブレスは何をした人？業績・生涯・名言をわかりやすく｜世界初のプログラム・解析機関・ベルヌーイ数

エイダ・ラブレスは何をした人？（業績をひとことで）

エイダ・ラブレス（1815〜1852年）は、イギリスの数学者です。詩人バイロンの娘として生まれ、数学者チャールズ・バベッジが設計した計算機「解析機関」のために、ベルヌーイ数を計算する手順（プログラム）を書きました。この手順が、世界で最初にコンピューター・プログラムとして発表されたものだとされ、エイダは「世界初のプログラマー」とよばれています。ただし、どこまでをエイダ自身が考え、どこからがバベッジの考えかには議論があり、歴史家の間でも見方は分かれています。

エイダが特にすぐれていたのは、機械が数以外のものも扱えると見ぬいたことです。音楽や文字の記号も、決まりさえあれば機械が処理できる、と考えました。これは、いまのコンピューターが音楽や写真、文章を扱うことを予言したような考えです。

受験生にとってのエイダは、数列とプログラムの入口です。プログラムの基本はくり返し（ループ）、そしてΣの公式（k・k²・k³の和）や等差数列の和の公式は、まさにその手順を数学の式にしたものです。穴あきカードの仕組みは2進法につながるので、n進法とはも深く関係します。

エイダ・ラブレスの生涯と年表

詩人バイロンの娘として生まれる

エイダは1815年12月10日、ロンドンで生まれました。父は有名な詩人バイロン卿、母は数学が好きだったアナベラです。両親はエイダが生まれて1か月ほどで別れ、翌1816年に父バイロンはイギリスを去りました。エイダは父に会うことはなく、父は1824年にギリシャで亡くなります。エイダが8歳のときでした。

母のアナベラは、娘が詩人の父のように「感情にふりまわされる」人になるのを心配し、娘に数学や科学を熱心に学ばせたと伝えられています。エイダはこうして、当時の女の子としては珍しいほど、数学と科学の教育を受けて育ちました。

バベッジとの出会い

1833年、17歳のエイダは、数学者・発明家のバベッジと出会います。バベッジは当時、「階差機関（差分機関）」という計算機を作っていました。エイダは母と一緒にバベッジの工房を訪れ、その歯車の機械に夢中になりました。エイダは、当時の代表的な女性科学者メアリー・サマヴィルからも数学を学びました（女性数学者の先がけにはソフィ・ジェルマンの業績もいます）。のちには、数学者のオーガスタス・ド・モルガンにも教わります。

結婚、そして「ノート」

1835年、エイダはウィリアム・キングと結婚します。1838年にキングが伯爵（ラブレス伯爵）になったので、エイダはラブレス伯爵夫人とよばれるようになりました。3人の子どもを育てながら、エイダは数学の勉強を続けます。

1842年、イタリアの数学者メナブレアが、バベッジの新しい計算機「解析機関」についてフランス語で論文を書きました。エイダはこれを英語に訳し、1843年に発表します。しかも、自分の「ノート」を7つ（AからG）つけて、原文の約3倍の長さにしました。署名は「A.A.L.」というイニシャルだけでした。このノートの中に、解析機関でベルヌーイ数を計算する手順が書かれています。それが「ノートG」です。

病気と早すぎる死

エイダはそのころから体調をくずしがちで、晩年は病気（がん）に苦しみました。1852年11月27日、ロンドンで亡くなります。まだ36歳でした。遺言により、会ったことのない父バイロンのそばに葬られたと伝えられています。

エイダ・ラブレスの主な業績をやさしく解説

エイダ・ラブレスの名前がつくもの・関係する公式と用語

エイダの名前がつく公式や定理はありません。その代わり、エイダの仕事に直接つながる数学の道具があります。

• Ada（エイダ）：アメリカ国防総省のために1970年代末に作られ、1980年に規格が定められたプログラミング言語の名前。エイダにちなんで名づけられました。航空機や鉄道の制御など、まちがいが許されない場面で使われます。
• エイダ・ラブレス・デー：2009年にはじまり、いまは毎年10月の第2火曜日。科学・技術・工学・数学の分野で活躍する女性をたたえる日です。
• ベルヌーイ数：エイダのプログラムの題材。累乗の和の公式の係数に出てきます。→ Σの公式（k・k²・k³の和）
• 階差数列：差分機関の原理。→ 階差数列の公式と一般項の求め方
• n進法：穴の有無（0と1）で数を表す考え方の土台。→ n進法の変換のしかた
• アルゴリズム：問題を解く手順のこと。エイダの「ノートG」は、その最初期の例の一つです。

エイダ・ラブレスの逸話と名言

「詩的な科学」

エイダは自分の考え方を「詩的な科学（poetical science）」とよんだと伝えられています。詩人の父の想像力と、母から受けついだ数学の理性、その両方を使って科学を進めたい、という意味です。想像力で新しい機械の使い方を思い描き、数学でそれを確かめる、というエイダの研究スタイルをよくあらわしています。

解析機関は、何かを自分から作り出す力をもつとは言えません。私たちが命令のしかたを知っていることなら、何でもできます。

父バイロンとの関係

エイダは父バイロンに会ったことがありませんでした。それでも、エイダは父の詩を読み、父の墓のそばに葬られることを望んだと伝えられています。母アナベラが数学を学ばせた理由について、「詩人の父のような不安定な性格にならないように」という見方が昔から語られてきましたが、これは伝記作家たちの推測で、本当のところは分かりません。

バベッジの評価

バベッジはエイダを「数字の魔法使い（the Enchantress of Number）」とよんだとされます。後世、この呼び名は彼女の代名詞になりました。ただし、エイダとバベッジの手紙の中では、二人がしばしば意見をぶつけ合ったことも分かっています。エイダはバベッジの出した式のまちがいを見つけて直したという話も伝わっています。

「世界初のプログラマー」は本当か？

エイダを世界初のプログラマーとよぶことには、いまも議論があります。バベッジ自身が、その前にいくつかの手順を書いていたからです。一方、エイダのノートは、計算機で何ができるかを、はじめて文章で、しかも広い視点で説明した点で価値が高いと評価されています。どちらが正しいかというより、バベッジが機械を作り、エイダがそれを広い視野で説明したと見るのが公平でしょう。

受験・勉強とエイダ・ラブレスのつながり

中学受験：きまりを見つける・数え上げ

中学入試の算数では、規則性の問題がよく出ます。「3、5、7、9……と数が並ぶとき、10番めはいくつか」といった問題は、手順（アルゴリズム）を言葉にして書くことと同じです。エイダのように「次の数は前の数に2を足す」と手順を書き出せば、答えはかならず出ます。

高校受験：連続する整数の和・文字式

高校入試では、規則性を文字式で表す問題がよく出ます。「1からnまでの和」を$\dfrac{n(n+1)}{2}$と書くのは、くり返しの手順を式にまとめることです。

大学受験：数列・Σ・n進法

エイダの仕事に直接つながるのは、次の分野です。

• 数列とΣ：累乗の和、階差数列、漸化式は、くり返しの手順そのもの。Σの公式は暗記ではなく、手順の結果として理解しましょう。
• n進法：2進法・16進法は情報の基本。共通テストの「情報」でも出題されます。→ n進法の変換のしかた
• 確率・場合の数：手順を数え上げる考え方。→ 順列と組合せの意味

京都大学・東京大学の整数・数列問題の出題傾向は、京大理系数学の出題分析が参考になります。

勉強法として：「手順にして書く」

エイダから学べる勉強法は、解き方を手順にして書くことです。①問題の条件を図や式に直す、②使う公式を選ぶ、③計算する、④答えを確かめる――この4つを毎回書き出すと、抜けやミスを見つけやすくなります。数学の勉強の進め方は、数学の勉強法（解法の暗記→演習→過去問）も参考にしてください。理系の考え方を遊びで学ぶなら、理系時計（GeekClock）の数式の意味もおすすめです。

エイダ・ラブレスがその後にあたえた影響

• コンピューターの歴史：エイダのノートは長く忘れられていましたが、1953年に再び出版され、初期のコンピューター研究者に影響をあたえました。チューリングも、ノートの考えに触れています。
• プログラミング言語Ada：1980年代以降、安全性が求められる分野で使われました。
• 女性と科学・技術：エイダ・ラブレス・デーが毎年開かれ、女性の活躍が広く紹介されています。同じ分野の先がけとして、ネーターの業績と生涯やコワレフスカヤの業績も合わせて読むと、時代の様子が分かります。
• 数学のなかのコンピューター：ブールの論理代数やシャノンの情報理論と合わせて、現代のコンピューターの土台がつくられていきました。
• 人工知能（AI）：エイダの「機械は自分から作り出さない」という指摘は、今も「AIは創造的か」という議論のときに引用されます。

エイダが亡くなったとき、解析機関はまだ完成していませんでした。ノートは長いあいだ専門家の間でも知られず、1950年代に計算機の研究者たちが読み直して、はじめて多くの人の目にふれました。いまでは、プログラミング教室や大学の情報の授業で、エイダの手順を現代の言葉で書き直す課題が使われることもあります。数学を「使える道具」として育てるときの見本が、そこにあります。

エイダの生涯は、短くても、ひとつの考えを深く追いかければ時代を超えて届く、という例でもあります。短い期間で結果を出す必要のある受験勉強にとって、「手順を考える」「確かめながら進む」という態度は、大きな支えになるでしょう。

プログラムを書くとき、まず紙の上で手順を考えるのは、エイダの時代も今も同じです。数学の答案を書く前に、方針を短く書き出す練習は、プログラミングの力にもつながります。

エイダ・ラブレスに挑戦！練習問題

エイダ・ラブレスと関係する数学者

• ヤコブ・ベルヌーイ（ベルヌーイ数の名のもと）：エイダのプログラムの題材になった数列の発見者です。
• 関孝和（日本でベルヌーイ数を発見）：ほぼ同じころ、日本でも同じ数列が見つかりました。
• チューリング（エイダの考えを受けついだ）：機械が考えられるかを論じるとき、エイダの指摘にふれました。
• ブール（同時代の論理学者）：論理を式で表すブール代数は、コンピューターの回路の基礎です。
• ソフィ・ジェルマン・コワレフスカヤ・ネーター：同じように、女性が学問をする道を開いた数学者です。
• ハミルトン（同時代のイギリス・アイルランドの数学者）：数学と物理に大きな足あとを残しました。

数学の公式を調べるなら算数・数学の公式一覧（公式辞典）、数学でよく使う記号は数学でよく使う記号の意味一覧（Σ・∫・≡）も便利です。

19世紀の数学者

• ソフィ・ジェルマンの業績と生涯
  フェルマーの最終定理の研究（ジェルマン素数）。男性の名前で論文を送った
• ガウスの業績と生涯
  1から100までの和を一瞬で出した少年。正十七角形の作図・『整数論』・最小二乗法。「数学の王」
• コーシーの業績と生涯
  極限を使って微分積分を厳密にした。コーシー・シュワルツの不等式
• メビウスの業績と生涯
  裏と表がない「メビウスの帯」
• ロバチェフスキーの業績と生涯
  平行線の公理が成り立たない「非ユークリッド幾何学」
• アーベルの業績と生涯
  5次方程式には解の公式がないことを証明。アーベル賞の名前のもと
• ボーヤイ（1802〜1860）
  ロバチェフスキーと別に非ユークリッド幾何学を発見
• ヤコビ（1804〜1851）
  楕円関数・ヤコビアン（変数変換）
• ディリクレ（1805〜1859）
  鳩の巣原理（ディリクレの部屋割り論法）・算術級数定理
• ハミルトン（1805〜1865）
  四元数を発見。ケーリー・ハミルトンの定理
• ガロアの業績と生涯
  方程式が解けるかどうかを「群」で判定（ガロア理論）。20歳で決闘で亡くなった
• ブールの業績と生涯
  論理を式で計算するブール代数。コンピューターの基礎

← 前の時代：ガロアの業績と生涯　｜　次の時代：ブールの業績と生涯 →

有名な数学者一覧（年代順・国別・分野別）で、ほかの数学者も見られます。数学者たちが挑んだ問題は数学の難問・未解決問題の一覧にまとめています。

読みもの（合格大作戦の数学の記事）

• 算数・数学の公式一覧（公式辞典）
  公式・証明・例題を1つずつ
• 数学用語辞典（用語の意味を1語1ページ）
  素数・漸近線など200語
• 数学でよく使う記号の意味一覧
  ∞・Σ・∫ などの記号と読み方
• 理系時計（GeekClock）の数式の意味
  階乗・2進数・黄金比
• 数学の勉強法（解法の暗記→演習→過去問）
  青・黄・赤チャートの使い分け
• 京大理系数学の出題分析（1999〜2026年度）
  大問別一覧と頻出分野ランキング
• 「ゼロ」と「れい（零）」の違い
  0の読み方と漢字「零」のもとの意味

よくある質問

あわせて読みたい

• 有名な数学者一覧（年代順・国別・分野別）
• 算数・数学の公式一覧（公式辞典）
• 数学用語辞典