程序员女巫

‘壹’ 着名的女数学家有哪些

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岁。
很讽刺的，她与她父亲拜伦死于相同年龄，一样死于治疗中的失血过多。
她留下了两个儿子与一位女儿—安妮·布兰特贵女。依她的遗言，爱达葬于诺丁汉哈克诺的圣 玛丽亚·抹大拉教堂，长眠在父亲的身旁。