エイダ・ラブレス「ノートG」｜解析機関でベルヌーイ数を計算する手順
エイダ・ラブレス（オーガスタ・エイダ・キング、ラブレス伯爵夫人）は、チャールズ・バベッジの解析機関をめぐる注釈で知られます。Computer History Museumは彼女の言葉を掲げ、代数の模様を織る機械としての解析機関像を紹介しています。
メナブレア論文の翻訳と「ノート」
英語版Wikipedia『Note G』によれば、エイダはルイジ・メナブレアがまとめたバベッジ講演の仏語記録を英訳し、自身の長い注釈（Note A〜G）を付して1843年に刊行しました。その最終注であるNote Gには、ベルヌーイ数を求めるアルゴリズムが示されています。
解析機関は、ジャカード織機が花や葉を織るように、代数の模様を織る（Computer History Museumが紹介するエイダの趣旨、筆者訳）
機械は未完成のまま終わり、Note Gの手順も実機では走っていません。それでも「計算の過程を記号で書き下す」発想は、のちのプログラミング史で繰り返し参照されます。
「最初のプログラマ」という称号の扱い
Note G項目も、彼女を最初のコンピュータ・プログラマとみなす通説に触れつつ、当時の文脈を併記します。称号の是非は議論がありますが（諸説あり）、1843年の注釈本文が残っている事実自体は動かしにくいです。日本語版Wikipedia『エイダ・ラブレス』も生涯と注釈の概要を確認できます。
詩人バイロンの娘という逸話が先行しがちですが、残したのは詩ではなく、計算手順の設計図でした。バベッジとの往復のなかで、機械の可能性を文学的比喩ではなく操作手順へ落とし込んだ点が重要です。
動かない機械のために、動く手順を書いた
ハードウェアが無いのにアルゴリズムがある――その逆転が、エイダの注釈を特別にしています。未来の機械へ宛てたプログラム草稿として、Note Gはいまも読まれます。未完のエンジンに、完成した思考実験を乗せたのです。
