マーガレット・ハミルトン (科学者)

マーガレット・ハミルトン（Margaret Heafield Hamilton、1936年8月17日 - ) は、アメリカ合衆国のコンピュータ科学者、プログラマ、実業家。彼女がチャールズ・スターク・ドレイパー研究所のソフトウェアエンジニア部門の責任者であった当時、そこでアポロ計画のフライトシステムソフトウェアが開発された。1986年にマサチューセッツ州ケンブリッジでハミルトンテクノロジー (Hamilton Technologies, Inc.) を創業しCEOとなった。この会社はシステムやソフトウェア設計に関する彼女のDBTFパラダイム (Development Before the Fact) に基づくユニバーサルシステム言語 (Universal Systems Language) (英語版) により発展した。

ハミルトンは、彼女が関与していた60のプロジェクトと6つの主要なプログラムに関する130を超える論文・プロシーディングやレポートを発表している。

 生い立ち 
ケニス・ハーフィールドとルース・エスター・ハーフィールド（旧姓パーティングトン）の間に生まれた。1954年にハンコック高校を卒業し、1958年、において、数学と副専攻の哲学の分野でBA（Bachelor of Arts）を獲った。卒業後、夫が学士号を獲るまでの間、一時的に高校数学とフランス語を教えた。その後ブランダイス大学の大学院で純粋数学を学ぶため、ボストンへと移り住んだ。1960年、気象学のエドワード・ローレンツ教授のもとでコンピュータLGP-30とPDP-1（マービン・ミンスキーのプロジェクト）による天気予報用ソフトウェアを開発するため、マサチューセッツ工科大学(MIT)の暫定的な職に就いた。コンピュータ科学やソフトウェア工学は現代と比べれば未確立であり、プログラマたちは現場で、それらに相当するものを実践から確立している状況だった。

1961年から1963年まで、リンカーン研究所で防空管制システムSAGEのプロジェクトに関わった。そこでハミルトンは、「敵性航空機」を見つけ出すための、最初のAN/FSQ-7コンピュータ（XD-1）用のソフトウェアを書くプログラマーの１人だった。また、空軍ケンブリッジ研究所用のソフトウェアも担当した。

 SAGEプロジェクト 
MITによって始められたWhirlwindプロジェクトの拡張によって、天気を予測できるシステムや、行動を追跡できるシミュレータといったコンピュータシステムが作られるようになると、SAGEは間もなく、冷戦時におけるソ連からの潜在的な攻撃を防ぐための対空防御として軍事利用するために発展した。ハミルトンは、担当分野における自身の任務について次のように述べている。

新人としてこの組織に入り込んだとき、組織がしていたことは、その人に、今までだれも解決できていない、または走らせることができていないプログラムを任せることでした。私が入ってきたときもそうでした。そしてそれはやっかいなプログラムで、おまけにこれを書いた人は、全てのコメントをギリシャ語とラテン語でつけるという、楽しいことをしてくれていました。それで私はこのプログラムを任されて、実際に動かすことができました。ついでに回答をラテン語とギリシャ語で出力するようにしました。動かすことができたのは私が初めてだったのです。

この努力の甲斐あって、ハミルトンはNASAにおけるアポロフライトソフトウェア開発責任者の有力候補となった。

 NASA 

ハミルトンはその後、MITでチャールズ・スターク・ドレイパー研究所の一員となった。当時そこではアポロ宇宙ミッションに取り組んでいた。ハミルトンは最終的にアポロ計画とスカイラブ計画用のソフトウェアプログラムの指導者であり監督者となった。

NASAでハミルトンのチームは、アポロに搭載され、誘導と月面着陸で必要となるガイダンスソフトウェアの開発責任を負うことになった。その多種のソフトウェアは、（後のスカイラブ計画を含めて）数々のミッションで使われた。ハミルトンはコンピュータ科学とソフトウェアエンジニアリングのコースや訓練が無いときには、経験を積むため現場に出て働いた。

ハミルトンの専門分野は、とソフトウェア開発、エンタープライズモデリングとビジネスプロセスモデリングの開発パラダイム、正式な言語、システムモデリングと開発のためのシステム指向オブジェクト、ライフサイクル環境の自動化、ソフトウェア品質の最大化とコードの再利用のための手法。、構築された言語属性の正統性、安定したシステムにするためのオープンアーキテクチャ技術、最大限のライフサイクルの自動化、品質保証、シームレス統合、エラー検出と復旧技術、マン・マシン・インターフェイスシステム（ユーザーインターフェース）、オペレーティングシステム、エンドツーエンドテスト技術、ライフサイクル管理技術などであった。
 

 アポロ11号 

アポロ11号ミッションにおける1つの重大な局面において、アポロ誘導コンピュータソフトウェアでのハミルトンチームの仕事は、月面着陸が失敗するのを回避することになった。アポロ月着陸船が月面に降り立つ3分前、いくつかのコンピュータアラームが鳴った。ランデブーのレーダーシステム（着陸には必要ない）がコンピュータからのサイクルスチールによって知らず知らずのうちにカウンタを更新したので、コンピュータは受信データで過負荷を起こしていたためである。このとき、コンピュータの安定した仕組みによって、着陸動作を続けることができた。というのも、アポロに搭載されたフライトソフトウェアは、（着陸の際に重要な）優先度の高い命令を、優先度の低い命令に先んじて実行できるような、非同期実行を用いて作られていたのである。このときに起きたアラームは、誤ったチェックリストに起因していた。

 経営 
1976年から1984年まで、ハミルトンは共同で設立したハイヤー・オーダー・ソフトウェア(HOS)社のCEOであった。同社は、自社独自の手法を基盤にして、USE.ITと呼ばれる製品を開発した。

1986年には、マサチューセッツ州ケンブリッジにハミルトンテクノロジー社を創設し、CEOとなった。同社はユニバーサルシステム言語(USL)と、それに関連する自動化環境 001 Tool Suite について開発した。これはシステムデザインとソフトウェア開発のための、ハミルトンによるDevelopment Before the Factパラダイム(DBTF)を基盤としている。

 業績 

アンソニー・エッティンガーが作ったとされる「ソフトウェア工学」という用語を一般化させた。ハミルトンはこの分野で非同期ソフトウェア、優先度スケジュール、エンドツーエンドテスト、決定機能のコンセプトを作り上げた人物の一人だった。たとえば、のちに信頼性を強化したソフトウェアデザインの基盤となる優先度表示がその一例として挙げられる。

 受賞 

 1986年　エイダ・ラブレス賞(Association for Women in Computing)
 2003年　NASA Exceptional Space Act Award for scientific and technical contributions.　賞金37,200ドルは個人としてはNASA史上最高金額である。
 2009年　Outstanding Alumni Award, アーラム大学。
 2016年　バラク・オバマ大統領よりPresidential Medal of Freedomを授与。これはアメリカ国民における最高の栄誉の一つとされる。
 2017年　Computer History Museum Fellow Award
 2018年　カタルーニャ工科大学から名誉博士号
 2019年　ワシントン賞
 2019年　バード大学より名誉博士号
 2019年　イントレピッド生涯功労賞
 2022年　オハイオ州デイトンの国立航空殿堂入り

 私生活 
夫のジェームズ・コックス・ハミルトンとはアーラム大学で知り合った。2人は1950年代後半に結婚し、ローレンという娘をもうけた。最終的には2人は離婚した。

 出版 
 M. Hamilton , "Inside Development Before the Fact," cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.
 M. Hamilton , "001: A Full Life Cycle Systems Engineering and Software Development Environment," cover story, Special Editorial Supplement, 22ES-30ES. Electronic Design, Jun. 1994.
 M. Hamilton, Hackler, W. R.. , Deeply Integrated Guidance Navigation Unit (DI-GNU) Common Software Architecture Principles (revised dec-29-04), DAAAE30-02-D-1020 and DAAB07-98-D-H502/0180, Picatinny Arsenal, NJ, 2003-2004.
 M. Hamilton and W. R. Hackler , "Universal Systems Language for Preventative Systems Engineering," Proc. 5th Ann. Conf. Systems Eng. Res. (CSER), Stevens Institute of Technology, Mar. 2007, paper #36.
 M. Hamilton and W. R. Hackler , "A Formal Universal Systems Semantics for SysML", 17th Annual International Symposium, INCOSE 2007, San Diego, CA, Jun. 2007.
 M. Hamilton and W. R. Hackler , "Universal Systems Language: Lessons Learned from Apollo", IEEE Computer, Dec. 2008.