程序員女巫

『壹』 著名的女數學家有哪些

1、希帕蒂婭

希帕提婭是希臘數學家、天文學家以及哲學家。她也通常被認為是史上第一位女數學家。希帕提婭的父親席昂是一位數學教授；作為她的導師，他教給了希帕提婭許多科學與哲學方面的知識。

約在400年時，希帕提婭成為了亞歷山大城中柏拉圖學派的領導者，講授數學、科學以及新柏拉圖學派的哲學。遺憾的是，希帕提婭的許多著作在今天已經遺失，所以人們並不知道她對數學的確切貢獻。人們只知道她的少數工作，例如對丟番圖《算術》的評注。

2、沙特萊侯爵夫人

沙特萊侯爵夫人最著名的工作是艾薩克•牛頓的《自然哲學的數學原理》的法文翻譯以及她在動能方而的研究。

她還著有《物理學教程》，講述科學與哲學方面的最新思想；這本書原本是為她13歲兒子所寫的教材。她還對哲學、神學、倫理學有所涉獵，例如她對《聖經》的分析，她對人類幸福的探討以及她爭取女性受教育權的文章。

總的來說，沙特萊侯爵夫人是一位既能取得社會與家庭生活的平衡，又能持續不斷地投入到科學研究與寫作中的優秀女性。

3、瑪麗亞•加埃塔納•阿涅西

盡管阿涅西對數學做出了許多貢獻並展現出巨大潛力，在父親死後她開始投身於慈善事業。阿涅西的《分析講義》一書包含了從代數到微積分的討論；這本為她弟弟所寫的書也被認為是第一本由女性所寫的數學教科書。

在此書中，還出現了由一種水手結而來、被誤譯為「阿涅西的女巫」的曲線（方程式為 x⊃2;y = a⊃2;(a-y) ），她的名字也因此被熟知。由於她的傑出工作，阿涅西被任命為博洛尼亞大學的數學與自然哲學系主任，但因為慈善事業的緣故她從未赴任。

4、索菲•熱爾曼

熱爾曼從此認為幾何學是一個值得研究的學科，並決心學習數學；她隨後在父親的圖書館中讀了大量的書籍。但熱爾曼想盡一切辦法反抗並堅持學習，這種情況持續到了她18歲那年，也是巴黎綜合理工學院成立的時候。

熱爾曼憑借她在振動彈性曲面上的工作贏得了法國科學院的獎項。這也讓她躋身當時傑出數學家的圈子。熱爾曼也在數論方向有所成就；她把費馬大定理歸結成兩種情形，這在如今被稱作索菲•熱爾曼定理。在數論中以她的名字命名的結果還有索菲•熱爾曼素數以及索菲•熱爾曼等式。

5、阿達•洛夫萊斯

洛夫萊斯在這些學科上表現突出，並在數字和語言上頗有天分。年僅13歲的她就設計了一架飛行器。17歲時，洛夫萊斯認識了發明家與數學家查爾斯•巴貝奇，後者成為了她的導師以及終身的朋友。正是因為這段經歷，洛夫萊斯才能在科學和數學領域中做出現為人所知的眾多貢獻。

洛夫萊斯是第一位女計算機程序員(實際上是第一位程序員)。她做出的貢獻既體現在數學也體現在計算機理論上。

她最著名的工作是翻譯了查爾斯•巴貝奇關於計算機分析機的論文：這個一個由查爾斯•巴貝奇發明的、可以進行數學計算的機器。洛夫萊斯提出了創新性理論並進行了復雜的理論分析。

『貳』 如何用各種編程語言殺死一條龍

這篇有趣的文章編譯自一篇西班牙博客。
有一位美麗的公主，被關押在一個城堡中最高的塔上，一條凶惡的巨龍看守著她，需要有一位勇士營救她…
下面是各種語言如何想辦法將公主從巨龍手中營救出來的。
Java – 趕到那裡，找到巨龍，開發出一套由多個功能層組成的惡龍殲滅框架，寫幾篇關於這種框架的文章…但巨龍並沒有被消滅掉。
.NET – 趕到哪裡，看到了Java程序員的做法，完全拷貝過來，試圖去殺掉巨龍，但巨龍把他吃掉了。
C - 趕到那裡，對巨龍不屑一顧，舉起劍，砍掉巨龍的頭，找到公主…把公主晾在一邊，去看看有沒有最新提交的linux內核代碼。
C++ – 先打造出一根針，然後在上面添加各種功能特徵，直到最後匯聚成一把復雜的劍，這把劍復雜到只有他能理解其中的功能…殺死龍，但他過橋時遇到了麻煩，因為內存溢出了。
COBOL - 趕到那裡，看到巨龍，認為自己太老了，殺不死這條巨龍，營救不出公主，於是離開了。
Pascal - 他花10年時間開發出一套巨龍殲滅系統…當戰斗開始時，他發現這套系統只能關住蜥蜴。
VB - 使用各種組件開發出一套巨龍毀滅武器，他跳到巨龍的後面，在最關鍵的時刻，他發現這種武器只能在雨夜裡工作…
PL/SQL – 分析其它屠龍者的數據，創建出具有多維數據、n向關系的數據表模型、OLAP，花15年時間分析這些數據…當結果出來時，公主已經變成了同性戀者。
Ruby - 盛大出征，號稱自己不管做什麼都是最強的，當面對巨龍，他亮出了一張畫有他殺死一條瘸腿的巨龍的圖片…巨龍懶洋洋的吃掉了他。
Smalltalk - 趕到那裡，分析巨龍和公主，轉身走了，它們是次要問題。
shell - 創造一個超級強大的滅龍武器…但當面對龍的時刻，他忘了如何使用它。
Assembler - 他認為他的方法是正確的，而且是最高效的…但他把D寫成了A，殺死了公主。
Fortran - 趕到那裡，開發出來一套4萬5千行的解決方案，殺死巨龍，與公主見了面…但公主認為他是懦夫，反而傾心於高富帥的Java程序員。
FOX PRO - 開發出一套殺龍系統。外表看起來華麗好用，但實際內部到處補丁，所以，當開始運行這套殺龍武器時，他才發現忘了給DBF加索引。
Lisp：這是一位著名的游俠騎士，在跟很多的屠龍專家交談後，將他們的技巧模型化，他開發出這套系統，當開始運行系統時，他認識到，他少寫了一個括弧。
HTML: 用各種著名的殺龍的劍拼裝成一個網頁，但他忽視了W3C標准。在跟龍相遇的時刻，他發現他的代碼跟瀏覽器不兼容，於是他變成了赤手空拳。巨龍把他當成小甜點吃了。
Prolog: 他認為需要有一件殺龍的武器。於是在一個有182014件武器的目錄里搜索。截止到公主死的那一年，他的成就包括：通曉了各種武器的製造方法，從索引A開始：Atomic Bombs, Anti-Air Weapons, Arches, Ammunition, Axes…
PHP: 開發出一個web網頁，當這個運行時，它能通過一個Apache伺服器從一個MySQL武器資料庫里檢索出武器消滅掉$dragon。然而，他在DELETE語句里忘了寫WHERE語句，於是殺死了公主，巨龍，女侍，女巫，魔法師，和程序員自己。
JavaScript: 他創建了腳本網頁，當網頁運行時，腳本會除掉巨龍，他一載入頁面，一些美麗的少女就向他拋來了鮮花，發出來尖叫。不幸的是，他沒有認真分析這個類似蜥蜴的怪物——也被稱作Mozilla，他得到的只是讓控制台里填滿了error信息，《Book of Mozilla》記載了他是如何被吞掉的。
Basic：他開發出來一種能夠殺死紙龍的武器，但不論他如何改進，他發現，他都不能殺死一隻比捲毛獅子狗大的龍。
Matlab: 他寫出循環語句能計算出用巨箭射死巨龍的彈道。這個程序運行的完美無瑕疵。現在需要的是人能有這樣大的力量按這種精度發射這支巨箭。

『叄』 奧古斯塔·艾達·洛夫萊斯的個人經歷

1815年生於倫敦，是她詩人父親拜倫與母親安妮·伊莎貝拉·米爾班奇（Anne Isabella Milbanke）唯一的合法子嗣，母親Anne Isabella Milbanke是一名業余數學家。她的名字取自拜倫的異母的姊妹奧古斯塔·李（Augusta Leigh）。拜倫與安妮貝拉的婚事是在奧古斯塔為了避免丑聞，而慫恿拜倫與安妮貝拉結合的產物。Ada從小對數學有極高天賦，其父稱她為「平行四邊形公主」，後來的合作夥伴Charles Babbage稱她為「數字女巫」。
1816年1月16日，安妮·伊莎貝拉還是離開拜倫，帶著一個月大的愛達離開。同年4月21日，拜倫簽下了分居協議，並離開英國。愛達從未見過她同父異母的妹妹阿拉格·拜倫（Allegra Byron），阿拉格是拜倫與克萊爾·克萊蒙（Claire Clairmont）所出，但於1822年死去，得年5歲。至於愛達的另一位親戚伊麗莎白·梅朵拉·李（Elizabeth Medora Leigh，是奧古斯塔·李之女）則有與她照過面，並由愛達的母親告知愛達與梅朵拉彼此的身世。愛達·洛夫雷斯是世界上第一個寫程序的人。19歲時Ada嫁給了William King（曾經是Ada的科學家庭教師，De Morgan也是），婚後一共生育了3個孩子。Ada在婚後依然對數學熱情不減，1842年到1843年花了9個月時間翻譯了Babbage的《分析機概論》的備忘錄，其中寫了很多注記，其中給出了用計算機進行Bernoulli數求解的詳細說明，由此，Ada被廣泛認為是世界上第一個程序員。 愛達與她的母親同住。她與父親有許多相似的天份，年輕的拜倫小姐對數學感到極高的興趣（其父稱她為the princess of parallelograms，即平行四邊形公主），數學佔有她人生的絕大部份，即使結婚之後也是如此。而愛達的母親讓她年輕時就學習數學一事，卻總是被認為是受到其父拜倫的影響。愛達的數學與科學課程是由家庭教師威廉·福萊德（William Frend）、威廉·金（William King）與瑪麗·索麥維（en:Mary Somerville）所指導，後來更接受奧古斯都·德·摩根的教導。愛達也是一位活躍於倫敦社交圈的女士，這位女士曾在年輕時是女學究（Blue Stockings Society）的會員。
Ada的社交生活十分豐富，著名的小說家Charles Dickens和物理學家Michael Faraday都認識她。她的老師瑪麗·索麥維是一位著名的19世紀科學家，並由這位學者於1833年6月5日介紹給查爾斯·巴貝奇。著名的大衛·布魯斯特爵士（Sir David Brewster）、查爾斯·衛斯頓（Charles Wheatstone）、查爾斯·狄更斯與麥可·法拉第也認識她。 1835年，愛達嫁給了威廉·金（後來晉封為第一代洛夫萊斯伯爵）。他們總共生下三個孩子：
拜倫（Byron，生於1836年5月12日）安娜貝拉（Annabella，生於1837年9月22日）拉爾夫·戈登（Ralph Gordon，生於1839年7月2日）洛夫萊斯一家住在瑟瑞（Surrey）的奧坎（Ockham）。而自婚後，她的頭銜則變成奧古斯塔·愛達·洛夫萊斯伯爵夫人閣下（The Right Honourable Augusta Ada, Countess of Lovelace），不過較簡單的愛達·洛夫萊斯和婚前名稱愛達·拜倫，是在今天是更廣為人知的名稱。 世界上第一位程序員
愛達設計了巴貝奇分析機上解伯努利方程的一個程序，並證明當時的19世紀計算機狂人巴貝奇的分析器可以用於許多問題的求解。她甚至還建立了循環和子程序的概念。由於她在程序設計上的開創性工作，Ada Lovelace被稱為世界上第一位程序員。當時的阿達甚至不顧自己已是三個孩子的母親，堅定地投身於分析機研究，成為巴貝奇的合作夥伴。在1843年發表的一篇論文里，阿達認為機器今後有可能被用來創作復雜的音樂、制圖和在科學研究中運用，這在當時確是十分大膽的預見。以現在的觀點看，阿達首先為計算擬定了「演算法」，然後寫作了一份「程序設計流程圖」。這份珍貴的規劃，被人們視為「第一件計算機程序」 。 在1842年與1843年其間，愛達花了9個月的時間翻譯義大利數學家路易吉·米那比亞對巴貝奇最新的計算機設計書（即分析機概論）所留下的備忘錄。在這部譯文里，她附加許多注記，內容詳細說明用計算機進行伯努利數的運算方式，而被認為是世界上第一個電腦程式；因此，愛達也被認為是世界上第一位程式設計師。不過，傳記作者也因為部份的程式是由巴貝奇本人所撰，而質疑愛達在電腦程式上的原創性。巴貝奇在他所著的《經過哲學家人生》（Passages from the Life of a Philosopher, 1846）里留有下面的述敘：
我認為她為米那比亞的備忘錄增加許多注記，並加入了一些想法。雖然這些想法是由我們一起討論出來的，但是最後被寫進注記里的想法確確實實是她自己的構想。我將許多代數運算的問題交給她處理，這些工作也與伯努利數的運算相關。在她所送回給我的文件，更修正了我先前在程序里的重大錯誤。愛達的文章創造出許多巴貝奇也未曾提到的新構想，比如愛達曾經預言道：這個機器未來可以用來排版、編曲或是各種更復雜的用途。愛達為計算機程序擬定了「演算法」的概念，建立了循環和子程序的概念。在1843年的一篇論文中，愛達大膽地預言了計算機未來將廣泛運用於創作音樂、制圖和處理復雜的科學研究。距離第一台電子計算機ENIAC在美國賓夕法尼亞大學誕生，整整提前了103年。她死後一百年，於1953年，愛達之前對查爾斯·巴貝奇的《分析機概論》所留下的筆記被重新公布，並被認為對現代計算機與軟體工程造成了重大影響。 由於受子宮癌和賭博債務的折磨（有的文獻還說她曾經吸毒）這位悲劇性的人物愛達過早地於1852年11月27日去世，生命周期與她的父親拜倫同樣短促，都只有37歲。最後與她的父親一起，埋葬在諾丁漢郡Hucknall鎮拜倫家族的墓地。 享年36歲。
很諷刺的，她與她父親拜倫死於相同年齡，一樣死於治療中的失血過多。
她留下了兩個兒子與一位女兒—安妮·布蘭特貴女。依她的遺言，愛達葬於諾丁漢哈克諾的聖 瑪麗亞·抹大拉教堂，長眠在父親的身旁。