大約在50年前的這個時候，1969年7月21日，載著巴茲·奧爾德林和尼爾·阿姆斯特朗的阿波羅11號登月艙正在月球軌道上與CSM和邁克爾·柯林斯會合。?

大家都知道這件事，但你知道嗎，阿波羅能成功登月的背后，少不了這位女程序員。

瑪格麗特·漢密爾頓 Margaret Hamilton

瑪格麗特·希菲爾德·漢密爾頓出生于 1936 年，是一名美國計算機科學家，系統工程師和企業家，曾擔任 MIT 儀器實驗室軟件工程部的主管，幫助該實驗室開發阿波羅計劃中航天器搭載的飛行軟件，其編寫的程序都以大程度防止崩潰為目的，從而防止了阿波羅 11 號登月計劃失敗。

而漢密爾頓則在1965年成為了其軟件編程部門的主管[8]。漢密爾頓負責編寫全新的月球表面導航軟件，以及后來該軟件在其他項目中的各個版本(比如天空實驗室計劃)。

漢密爾頓被認為發明了“軟件工程”一詞。在這一領域，她還是并行計算、優先級調配、端對端測試等技術的先驅者。

“大多數成功的程序員都是男的？”這是對程序員的許多常見刻板印象之一。長久以來，女性程序員常常難以成為受到關注的焦點，而她們的貢獻在世界上也變得鮮為人知。今天我們決定列出十大女性程序員名單(包括瑪格麗特)，以紀念她們在計算機科學和信息技術領域作出的巨大貢獻。

格蕾絲·霍普 Grace Hopper

格蕾絲·霍普(1906年12月9日～1992年1月1日)，計算機科學家，世界上最早的一批程序員之一。她是哈佛“馬克一號”計算機的第一個專職程序員。她創造了現代第一個編譯器 A-0 系統，以及第一個高級商用計算機程序語言“COBOL”，被譽為“COBOL 之母”。著名的計算機術語“Debug”(調試排錯)便是她在受到從計算機中驅除蛾子的啟發而開始使用的，于是她也被冠以“Debug 之母”的稱號。她也是Y2K危機的創造者。她培育出了許多編程語言專家。

除此之外，還是美國第一個獲得準將頭銜的女性，美國海軍唯一一艘以女性命名的戰艦,“阿利·伯克”級驅逐艦第20號艦“霍珀號 USS Hopper (DDG-70)”就以她來命名。

埃達·洛夫萊斯 Ada Lovelace

埃達·洛夫萊斯(1815年12月10日～1852年11月27日)原姓拜倫，又稱洛夫萊斯伯爵夫人。她是一位作家，也是非常有天賦的數學家。她是第一位主張計算機不只可以用來算數的人，也發表了第一段為查爾斯·巴貝奇的分析機——機械式通用計算機——所寫的算法。因此，埃達被公認為史上第一位認識計算機完全潛能的人，也是史上第一位計算機程序員。

洛伊絲·海貝特 Lois Haibt

洛伊絲·海貝特生于 1934 年，她是美國的一名計算機科學家。她是 IBM 開發 FORTRAN 語言的十人團隊之一。FORTRAN 是世界上第一個成功的高級編程語言。在開發 FORTRAN 期間，她分析了編譯器其他部分生成程序的流程。她還創建了第一個算術表達式的語法分析器，這整個部分都是她設計并編寫的。此外，當 IBM 在 1956 年編制并發布 FORTRAN 的第一本參考手冊時，她也是當時十一人團隊中的一員。

芭芭拉·利斯科夫 Barbara Liskov

芭芭拉·利斯科夫生于 1939 年。她是美國最早獲得計算機科學博士學位的女性之一，2008 年圖靈獎得主，2004 年馮諾依曼獎得主。她現任麻省理工學院電子電氣與計算機科學系教授。

利斯科夫領導了許多重要的項目，包括小型低成本交互式的分時操作系統 Venus，第一個支持數據抽象的面向對象編程語言 CLU 的設計與實現(1970年代)，第一個支持分布式程序實現的高級語言 Argus(1980年代)，面向對象數據庫系統 Thor，還有最近的拜占庭(Byzantine)分布式容錯系統。其中，CLU 語言對現代主流語言如 C++/Java/Python/Ruby/C# 都有比較深遠的影響。而她從這些實際項目中提煉出來的數據抽象思想，已經成為軟件工程中最重要的精髓之一。

此外，與周以真(Jeannette Wing)合作發展出子類型定義，并且一起提出利斯科夫代換原則——這是面向對象程序設計中重要的幾大原則之一。

法蘭西斯·伊麗莎白·艾倫 Frances Elizabeth Allen

法蘭·艾倫出生于 1932 年，是一位計算機科學家，作為一名編譯器優化領域的先驅，她的成就主要包括編譯器的基本原理、代碼優化和并行編譯等。她是 IBM 首位女性院士，并在 2006 年成為首位女性圖靈獎得主。

她的大部分職業生涯都在為 IBM 研究院開發尖端的編程語言編譯器。早在 1980 年代，她就創立了并行翻譯(Parallel TRANslation，PTRAN)研究組，致力于研究并行計算機的編譯問題。該小組的工作在編譯器的并行化方面處于世界領先的位置。她在這些項目中的工作促成了許多當前廣泛應用于商業編譯器中的程序優化算法和技術。

貝蒂·讓·詹寧斯 Jean Bartik

貝蒂·讓·詹寧斯(1924年12月27日～2011年3月23日)是世界上第一臺通用電子計算機埃尼阿克(ENIAC)的原始程序員之一。1997年入選國際科技名人堂。她和她的同事在 ENIAC 工作期間設計并編寫了許多基礎程序，在完成 ENIAC 的工作之后，她繼續在 BINAC 和 UNIVAC 工作，并在各種技術企業中擔任包括作家、經理、工程師和程序員的各種職務。

莎菲·戈德瓦塞爾 Shafi Goldwasser

莎菲·戈德瓦塞爾出生于 1958 年，她是出生于美國的以色列計算機科學家。2012年她因其密碼學的杰出工作獲得圖靈獎。

她主要在計算復雜性理論、密碼學和計算數論領域做出了貢獻。她是概率加密的共同發明者，它建立并實現了數據加密安全的黃金標準。

她還共同發明了零知識證明——一種以概率和交互方式證明斷言的有效性，而無需傳達任何額外的知識——這是加密協議設計中的關鍵一環。

阿黛爾·戈德堡 Adele Goldberg

阿黛爾·戈德堡出生于 1945 年，是一名計算機科學家。在 20 世紀 70 年代，她作為施樂帕羅奧多研究中心(Xerox Palo Alto Research Center, PARC)的研究人員，提出了關于面向對象編程的各種概念，并在 Simula 67 語言的面向對象方法的基礎上，開發出了 Smalltalk-80 編程語言，還在圖形顯示屏上引入了重疊多窗口的編程環境。

Smalltalk 這一創造性的新格式使用起來更簡單，自定義程度更高，并且可以輕松地在應用程序之間傳輸對象。她還參與了設計模板的研究，這是軟件設計中常用的設計模式的前身。

拉迪亞·珀爾曼 Radia Perlman

拉迪亞·珀爾曼生于 1951 年，人稱“互聯網之母”，她是一名美國計算機程序員，網絡工程師。1988 年獲得麻省理工學院計算機科學博士學位。2006 年獲得美國高等計算機系統協會(USENIX)頒發的終身成就獎。

她以發明網絡生成樹協議(spanning-tree protocol，STP)而聞名，用于確保以太網中無環路的邏輯拓撲結構，這對于互聯網設施的穩健運行至關重要。

此外，她還為網絡設計和標準化的許多其他領域做出了巨大貢獻，包括制定了穩健和可擴展的網絡路由協議、發明了可刪除的存儲系統以及可抵制惡意連接的分布式計算方法。

圖文投稿：歐剃

總結

以上是生活随笔為你收集整理的程序员的数学全三册密码_阿波罗50年前成功登月，少不了这位硬核女程序员的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。