葛麗絲·霍普
葛麗絲·穆雷·霍普（英語：Grace Murray Hopper，1906年12月9日—1992年1月1日），本名葛麗絲·布魯斯特·穆雷（英語：Grace Brewster Murray），霍普（Hopper）為夫姓，生於美國紐約州紐約市，美國海軍准將及電腦科學家，世界最早一批的程式設計師之一，也是最早的女性程式設計師之一。她是馬克一號上第一個專職程式設計師，創造了現代第一個編譯器A-0 系統，以及第一个高级商用電腦程式語言「COBOL」，被譽為「COBOL 之母」。她也是2000年问题的創造者。她培育出許多程式語言專家，被人稱為「不可思議的葛麗絲」（Amazing Grace，雙關語）[a]。
| 葛麗絲·穆雷·霍普 （Grace Murray Hopper） | |
|---|---|
葛麗絲·霍普（Grace Hopper） | |
| 出生 | 1906年12月9日 美國紐約市 |
| 逝世 | 1992年1月1日（85歲） 美國維吉尼亞州阿靈頓縣 |
| 军种 | 美國海軍 |
| 服役年份 | 1943-1966，1967-1971，1972-1986 |
| 军衔 | 准將 |
| 获得勋章 | 國防部傑出服役勳章 功績勳章 服役有功獎章 美國戰役獎章 第二次世界大戰勝利獎章 國防部服役獎章 武装部队预备役奖章 海軍預備役勳章 |
计算机术语“调试排错”（Debug）便是她的同袍在哈佛二號的繼電器上發現一隻飛蛾造成短路，才正式成為電腦程式的專有用語。
她是美軍第一個獲得准將頭銜的女性，美國海軍驅逐艦霍珀号驱逐舰以她來命名。配置于國家能源研究科學計算中心的超級電腦Cray XE6，便是以霍普命名，以表彰她的貢獻。耶魯大學也有霍普學院以紀念之。
生平
霍普出生於紐約市，進大學之前，就讀於私立沃德罗+哈特睿智学校。1928年大學畢業於瓦薩學院並取得數學與物理雙學士學位，在校期間也是美国大学优等生荣誉学会成員。大學畢業後隨即進入耶魯大學研究所就讀，於1930年取得碩士學位，1934年取得數學博士學位。她的論文為《化約算數等式的新標準》（A new Criterion for Reducibility of Algebraic Equations）在期刊New Types of Irreducibility Criteria正式发表。[請求校對翻譯]霍普取得博士學位後，回到瓦薩學院任教。
1943年，第二次世界大戰期間，她志願加入美國海軍後備軍團，在美國海軍女兵預備役服役。她體重過輕，不符合軍方標準，但因戰時人力短缺，軍方仍然決定讓她入伍。
1944年7月，她從位於史密斯學院的預備軍官學校畢業。以海軍少尉的階級，加入軍方在哈佛大學展開的馬克一號計劃，在霍華德·艾肯手下工作，成為在這台電腦上第一個專職程式設計師。
為了節省硬體成本，葛麗絲·霍普在馬克一號上，決定以6位數字來儲存時間，即年、月、日各兩位。這個習慣被COBOL繼承，之後傳播到其他程式語言及作業系統中，這也是日後2000年问题危機的起源。
1945年，盟軍勝利，第二次世界大戰結束。葛麗絲·霍普辭去瓦薩學院的教職，留在哈佛大學，繼續研究程式開發。
1949年，進入埃克特-莫齐利计算机公司，擔任資深數學家，開發通用自动计算机1號。1950年，雷明頓蘭德公司併購了埃克特-莫奇萊電腦公司，但葛麗絲·霍普仍然繼續在這邊開發通用自动计算机1號。
通用自动计算机1號原本的設計目的，是用來作單純數值運算，但葛麗絲·霍普發覺這台機器的能耐不止於此。當時程式是直接以機器碼方式撰寫，她認為可以在通用自动计算机1號上面開發程式，使人們以接近英文寫作的方式來寫出程式。她提出開發高階程式語言的想法，自行著手研究，並四處演講，尋求經費與支持。1951年至1952年間，葛麗絲·霍普在通用自动计算机1號上開發出第一套編譯器A-0 系統，能將程式原始碼編譯為機器碼。之後又接續開發了A-1與A-2。
1954年，葛麗絲·霍普被任命為自動程式部門的經理。她領導她的部門成員，開發出程式語言MATH-MATIC與FLOW-MATIC。海軍採用了FLOW-MATIC，但因為海軍旗下的各公司自行發展編譯器，使得程式出現不相容。葛麗絲·霍普開發了一套程式Validation，用來確認程式是不是用同一套編譯器來編譯的，以確保程式運作正常。
1959年，為了解決編譯器不一致的問題，在五角大廈的推動下，軍方與民間專家召開了CODASYL，由葛麗絲·霍普擔任首席技術顧問。在這兩天的會議中通過了新的程式語言標準，這就是COBOL的由來。COBOL主要採用FLOW-MATIC的語法，但同時也由IBM發展的COMTRAN語言中採用了一些新的想法。因為COBOL大幅借用了葛麗絲·霍普的原始設計，所以她也被視為是「COBOL 之母」。
1967年至1977年間，美國海軍資訊系統計畫辦公室所屬的美國海軍程式語言小組，由葛麗絲·霍普擔任經理職位。她開發了COBOL驗證軟體與編譯器，成為美國海軍COBOL標準化程式的一部份。
1970年代，葛麗絲·霍普提出計畫，勸告美國國防部放棄原本集中化的大型中央電腦系統，改成使用許多分散式的小型電腦，電腦與電腦之間以網路連結。小型電腦連上網路之後，就可以存取在網路上共同的資料庫。為了保證安全性，她實作了測試電腦系統以及它各個元件的測試標準，多數是針對早期的程式語言，如FORTRAN與COBOL。在1980年代，葛麗絲·霍普提出的測試標準，成為美國國家標準技術研究所採用的預設標準。
1966年，葛麗絲·霍普年屆60歲，升任海軍中校 (美國)。但因為到達美國軍方的服役年齡上限，葛麗絲·霍普依法退休。1967年，在退伍六個月後，因為美國海軍部發現他們無法處理那些程式，緊急召回了葛麗絲·霍普，改變原有的規章，讓她重新入伍。1971年，葛麗絲·霍普再度退休，但在1972年，美國軍方再度召回葛麗絲·霍普。在1973年，在艾爾墨·朱瓦特。將軍的提名下，她升任海軍上校 (美國)。
1983年，在美國眾議院的提議下，美國總統雷根通過特別命令，任命葛麗絲·霍普為海軍准將。眾議院特別批准讓她延長服役年限，繼續參與軍方計劃。1986年8月14日，葛麗絲·霍普正式退役，成為美國退伍年紀最大的軍人。
在從軍方退役之後，葛麗絲·霍普擔任迪吉多公司資深顧問，一直到她1992年過世為止。
家庭
1930年，與文森·霍普（Vincent Hopper）結婚。文森·霍普後來成為紐約大學教授。1945年，兩人離婚。葛麗絲·霍普之後未曾再婚，仍然保持冠夫姓。
1976年，文森·霍普病逝。
轶事
1947年9月9日，葛麗絲·霍普的同袍在哈佛二號電腦內發现了第一隻真正的虫子。[1] 當時哈佛二號老是出錯，大家仔細檢查程式仍找不出錯誤，最後才发现原来是一隻飛蛾意外飛入電腦內部的繼電器而造成短路（如圖所示）。他們把這隻飛蛾移除後便成功讓電腦正常運作，并在日记本中记录下了这一事件。“虫子”（Bug，程序錯誤）很早以前就用来比喻機器中的瑕疵，經此事件後，才正式成為電腦程式除錯的專門用語。现在在华盛顿的美国历史国家博物馆中还可以看到这个遗稿。[1]
名言
霍普留下許多名言。
當她開始自行開發編譯器時，並沒有得到高層的許可。她說：
| “ | 請求原諒，總是比得到許可更容易。 It's always easier to ask forgiveness than it is to get permission. | ” |
霍普對年輕人說：
| “ | 停在港口的船很安全，但那不是我們造船的目的。 A ship in port is safe, but that is not what ships are built for. | ” |