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

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

瑪格麗特·漢密爾頓 Margaret Hamilton

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

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

漢密爾頓被認為發(fā)明了“軟件工程”一詞。在這一領(lǐng)域，她還是并行計算、優(yōu)先級調(diào)配、端對端測試等技術(shù)的先驅(qū)者。

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

格蕾絲·霍普 Grace Hopper

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

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

埃達·洛夫萊斯 Ada Lovelace

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

洛伊絲·海貝特 Lois Haibt

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

芭芭拉·利斯科夫 Barbara Liskov

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

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

此外，與周以真(Jeannette Wing)合作發(fā)展出子類型定義，并且一起提出利斯科夫代換原則——這是面向?qū)ο蟪绦蛟O(shè)計中重要的幾大原則之一。

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

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

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

貝蒂·讓·詹寧斯 Jean Bartik

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

莎菲·戈德瓦塞爾 Shafi Goldwasser

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

她主要在計算復(fù)雜性理論、密碼學(xué)和計算數(shù)論領(lǐng)域做出了貢獻。她是概率加密的共同發(fā)明者，它建立并實現(xiàn)了數(shù)據(jù)加密安全的黃金標準。

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

阿黛爾·戈德堡 Adele Goldberg

阿黛爾·戈德堡出生于 1945 年，是一名計算機科學(xué)家。在 20 世紀 70 年代，她作為施樂帕羅奧多研究中心(Xerox Palo Alto Research Center, PARC)的研究人員，提出了關(guān)于面向?qū)ο缶幊痰母鞣N概念，并在 Simula 67 語言的面向?qū)ο蠓椒ǖ幕A(chǔ)上，開發(fā)出了 Smalltalk-80 編程語言，還在圖形顯示屏上引入了重疊多窗口的編程環(huán)境。

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

拉迪亞·珀爾曼 Radia Perlman

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

她以發(fā)明網(wǎng)絡(luò)生成樹協(xié)議(spanning-tree protocol，STP)而聞名，用于確保以太網(wǎng)中無環(huán)路的邏輯拓撲結(jié)構(gòu)，這對于互聯(lián)網(wǎng)設(shè)施的穩(wěn)健運行至關(guān)重要。

此外，她還為網(wǎng)絡(luò)設(shè)計和標準化的許多其他領(lǐng)域做出了巨大貢獻，包括制定了穩(wěn)健和可擴展的網(wǎng)絡(luò)路由協(xié)議、發(fā)明了可刪除的存儲系統(tǒng)以及可抵制惡意連接的分布式計算方法。

圖文投稿：歐剃

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。