奥古斯塔·艾达·洛夫莱斯

　　 奥古斯塔·艾达·洛夫莱斯 Augusta Ada LoveLace

　　奥古斯塔·爱达·金，洛夫雷斯伯爵夫人（Augusta Ada King, Countess of Lovelace，1815年12月10日－1852年11月27日），原名奥古斯塔·爱达·拜伦（Augusta Ada Byron），通称爱达·洛夫雷斯（Ada Lovelace），是著名英国诗人拜伦之女，最著名的事迹为翻译意大利人查尔斯·巴贝奇早期的程式设计书《分析机概论》（analytical engine），爱达对翻译查尔斯·巴贝奇的《分析机概论》所留下的笔记，被广泛认为是第一位程序员，对现代电脑与软件工程造成了重大影响。

　　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年发表的一篇论文里，阿达认为机器今后有可能被用来创作复杂的音乐、制图和在科学研究中运用，这在当时确是十分大胆的预见。以现在的观点看，阿达首先为计算拟定了“算法”，然后写作了一份“程序设计流程图”。这份珍贵的规划，被人们视为“第一件计算机程序”。

　　Ada语言

已经成为了美国军方开发战斗机等尖端武器的语言。　Ada 语言最初设计是为了构建长周期的、高度可靠的软件系统。它提供了一系列功能来定义相关的数据类型(type)、对象(object)和操作(operation)的程序包(package)。程序包可以被参数化，数据类型可以被扩展以支持可重用库的构建。操作既可以使用方便的顺序控制结构，通过子程序(subprogram)来实现，也可以通过包含并发线程同步控制的入口(entry)来实现。Ada 也支持单独编译(separate compilation)，在物理层上支持模块性。Ada 包含了很复杂的功能以支持实时(real-time)，并发程序设计(concurrent programming)。错误可以作为异常(exception)来标示，并可以被明确地处理。Ada 也覆盖了系统编程(system programming)；这需要对数据表示和系统特性访问的精确控制。　最后，提供了预定义的标准程序包，包括输入输出、字符串处理、数值计算的基本函数和随机数生成。Ada的风格在Pascal语言中得以延续。　Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。美国国防部之所以把这种语言取名为Ada，是为了纪念奥左斯特·艾达·洛夫莱斯伯爵夫人(Augusta Ada Lovlace，1815-1852)，她是英格兰诗人拜伦(Byron)勋爵的女儿，曾对现代计算机技术之父查尔斯·巴贝奇(Charles Babage，1791-1871)的笔记、手稿进行了整理和修正。从某种意义上说，她是世界上第一位计算机程序员。与其他流行的程序设计语言不同，Ada语言不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大大改善软件系统的清晰性、可靠性、有效性、可维护性。　Ada最初设计时关注于3个最重要的问题：程序的稳定性和可维护性，程序设计和人的行为接近，并且高效。这份语言的修订版是为了提供更大的灵活性和扩展性，存储管理的额外控制和同步，以及标准化的程序包以支持重要的应用程序领域，同时保留原来的重点。对于程序设计语言促进可靠性和简化维护难度的需求已被确立。因此程序可读性的重要性高于轻松地写代码。例如，语言规则要求程序变量应当明确声明并指定它们的类型。由于变量的数据类型是不变的，编译器可以确保对于变量的操作适用于该类型的对象。另外，有错误倾向的符号已经避免，并且语言语法避免了编码形式的使用，使更倾向于英语的结构。　最后，Ada 语言提供了程序单元单独编译的功能，使程序开发和维护简便，同样也提供了在一个单元内多个单元之间的检测。考虑人类程序员的问题也在设计时被强调。总而言之，在继续避免过多复杂句型的缺陷的同时，尝试以一致系统的方式保持相对较少的底层概念。　意义　Ada是现有的语言中无与伦比的一种大型通用程序设计语言，它是现代计算机语言的成功代表，集中反映了程序语言研究的成果。Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada还刺破了“冯·偌依曼思维模式” (Von Newman Mind-set) 的桎梏，连同Ada的支持环境(APSE)一起，形成了新一派的所谓Ada文化。它是迄今为止最复杂、最完备的软件工具。Ada语言是美国国防部指定的唯一的一种可用于军用系统开发的语言，我国军方也将Ada作为军内开发标准（GJB 1383《程序设计语言Ada》）。　

　　在计算机科学中　

　　在1980年12月10日，美国国防部制作了一个新的计算机编程语言—Ada。　美国国防部标准局为了记念爱达，以她的生日设立了一个编号MIL-STD-1815。　在微软的产品里也可以找到爱达的全息图标签。　英国计算机公会每年都颁发以爱达为名的奖项。　

　　 在大众文化中

　　在第203集的数谜（math-mystery）动画—《数位追逐》里，就有她的身影出现，其配音由的珍·科廷担当。

　　爱达是布鲁斯·斯特林与威廉·吉布森合著的小说《差分解析仪》（The Difference Engine）的主角。在故事中，她所提出的新构想加速了计算机时代的来临。　约翰·克罗利在他的小说《拜伦的故事》（Lord Byron’s Novel）中，拜伦写下了自己的故事，却因亡故而未能完成，之后由其女爱达将故事补齐。　爱达是1997年电影《孕育爱达》里被饰演的主角。　在史考特·卫斯特菲尔德的系列作《Midnighters》里，其中一名女性主角的崇拜对象正是爱达，更影响了其中三本系列作的内容。

　　在1842年与1843年其间，爱达花了9个月的时间翻译意大利数学家路易吉·米那比亚对巴贝奇最新的计算机设计书（即分析机概论）所留下的备忘录。在这部译文里，她附加许多注记，内容详细说明用计算机进行伯努利数的运算方式，而被认为是世界上第一个电脑程式；因此，爱达也被认为是世界上第一位程式设计师。不过，传记作者也因为部份的程式是由巴贝奇本人所撰，而质疑爱达在电脑程式上的原创性。巴贝奇在他所著的《经过哲学家人生》（Passages from the Life of a Philosopher, 1846）里留有下面的述叙：

　　我认为她为米那比亚的备忘录增加许多注记，并加入了一些想法。虽然这些想法是由我们一起讨论出来的，但是最后被写进注记里的想法确确实实是她自己的构想。我将许多代数运算的问题交给她处理，这些工作也与伯努利数的运算相关。在她所送回给我的文件，更修正了我先前在程序里的重大错误。　爱达的文章创造出许多巴贝奇也未曾提到的新构想，比如爱达曾经预言道：这个机器未来可以用来排版、编曲或是各种更复杂的用途。爱达为计算机程序拟定了“算法”的概念，建立了循环和子程序的概念。在1843年的一篇论文中，爱达大胆地预言了计算机未来将广泛运用于创作音乐、制图和处理复杂的科学研究。距离第一台电子计算机ENIAC在美国宾夕法尼亚大学诞生，整整提前了103年。她死后一百年，于1953年，爱达之前对查尔斯·巴贝奇的《分析机概论》所留下的笔记被重新公布，并被认为对现代计算机与软件工程造成了重大影响。

　　由于受子宫癌和赌博债务的折磨（有的文献还说她曾经吸毒）这位悲剧性的人物爱达过早地于1852年11月27日去世，生命周期与她的父亲拜伦同样短促，都只有37岁。最后与她的父亲一起，埋葬在诺丁汉郡Hucknall镇拜伦家族的墓地。 享年36岁。

　　很讽刺的，她与她父亲拜伦死于相同年龄，一样死于治疗中的失血过多。

　　她留下了两个儿子与一位女儿—安妮·布兰特贵女。依她的遗言，爱达葬于诺丁汉哈克诺的圣 玛丽亚·抹大拉教堂，长眠在父亲的身旁。