电竞比分网-中国电竞赛事及体育赛事平台

分享

【人物介紹】愛(ài)達(dá)·奧古斯塔·拜倫(Ada Augusta Byron)。

 西納 2012-09-25

愛(ài)達(dá)·奧古斯塔·拜倫(Ada Augusta Byron)。

奧古斯塔·愛(ài)達(dá)·金,勒芙蕾絲伯爵夫人(Augusta Ada King, Countess of Lovelace,1815年12月10日-1852年11月27日),原名奧古斯塔·愛(ài)達(dá)·拜倫(Augusta Ada Byron),通稱愛(ài)達(dá)·勒芙蕾絲(Ada Lovelace),是著名英國(guó)詩(shī)人拜倫之女,最著名的事跡為翻譯意大利人查爾斯·巴貝奇早期的程式設(shè)計(jì)書(shū)《分析機(jī)概論》(analytical engine),愛(ài)達(dá)對(duì)翻譯查爾斯·巴貝奇的《分析機(jī)概論》所留下的筆記,被認(rèn)為對(duì)現(xiàn)代電腦與軟件工程造成了重大影響。

愛(ài)達(dá)是她詩(shī)人父親—拜倫與母親安妮·伊莎貝拉·米爾班奇(Anne Isabella Milbanke)唯一的合法子嗣。她的名字取自拜倫的異母的姊妹奧古斯塔·李(Augusta Leigh)。拜倫與安妮貝拉的婚事是在奧古斯塔為了避免丑聞,而慫恿拜倫與安妮貝拉結(jié)合的產(chǎn)物。然而,在1816年1月16日,安妮貝拉還是離開(kāi)拜倫,帶著一個(gè)月大的愛(ài)達(dá)離開(kāi)。同年4月21日,拜倫簽下了分居協(xié)議,并離開(kāi)英國(guó)。

愛(ài)達(dá)從未見(jiàn)過(guò)她同父異母的妹妹阿拉格·拜倫(Allegra Byron),阿拉格是拜倫與克萊爾·克萊蒙(Claire Clairmont)所出,但于1822年死去,得年5歲。至于愛(ài)達(dá)的另一位親戚伊麗莎白·梅朵拉·李(Elizabeth Medora Leigh,是奧古斯塔·李之女)則有與她照過(guò)面,并由愛(ài)達(dá)的母親告知愛(ài)達(dá)與梅朵拉彼此的身世。

目錄

[顯示全部]

不幸的童年 編輯本段回目錄

愛(ài)達(dá)·奧古斯塔·拜倫(Ada Augusta Byron)1815年12月10日生于英國(guó)倫敦。她的父親是英國(guó)著名詩(shī)人喬治·拜倫(George Gordon Noel Byron,1788-1824),母親是數(shù)學(xué)家安娜·伊莎貝拉(Anna Isabella Milbanke)。熱戀時(shí),拜倫曾戲稱他未來(lái)的妻子是“the Princess of Parallelograms”(平行四邊形公主)。看來(lái),興趣愛(ài)好的巨大反差,埋下了不幸的種子。

愛(ài)達(dá)出生后的第一個(gè)悲劇就是父母的離異。她父母的婚姻只維持了一年零半個(gè)月:1815年1月2日結(jié)婚,1816年1月16日離婚,這時(shí)愛(ài)達(dá)出生僅37天。

第二個(gè)悲劇應(yīng)該是幼年喪父。我們知道,拜倫于1816年4月25日離開(kāi)倫敦出國(guó),而且一直沒(méi)有再回英國(guó)。他先在瑞士生活,后來(lái)到了意大利,又轉(zhuǎn)至希臘。在那里,他還參加過(guò)希臘反對(duì)土耳其的獨(dú)立戰(zhàn)爭(zhēng)。37歲時(shí)病故于希臘的Missolonghi,這時(shí)愛(ài)達(dá)才8歲,好在她一直沒(méi)有見(jiàn)過(guò)自己的父親。

愛(ài)達(dá)的母親希望女兒成為一名數(shù)學(xué)家,而不是詩(shī)人。盡管也讓女兒學(xué)習(xí)鋼琴,那是為提高她的音樂(lè)素養(yǎng),而不是讓她從事藝術(shù)。不過(guò),愛(ài)達(dá)與母親在一起的時(shí)間并不多。她的童年主要是在祖母呵護(hù)下度過(guò)的。然而祖母Noel Byron夫人1822年逝世,愛(ài)達(dá)只有7歲。

嚴(yán)格的教育 編輯本段回目錄

既然愛(ài)達(dá)的母親安娜對(duì)數(shù)學(xué)有興趣,而且對(duì)“既瘋又壞”(mad and bad)的丈夫深惡痛絕,當(dāng)然就把希望寄托在女兒身上,渴望并鼓勵(lì)她發(fā)展理性的修養(yǎng),而抵制父親浪漫主義色彩的影響。于是,愛(ài)達(dá)接受了近乎嚴(yán)酷的教育。

愛(ài)達(dá)6歲時(shí),母親雇了家庭女教師雷蒙特小姐(Miss Lamont)在家里對(duì)她進(jìn)行啟蒙教育。安娜強(qiáng)烈相信,數(shù)學(xué)作為一門(mén)智力的學(xué)科,必須讓它在愛(ài)達(dá)的頭腦里牢牢扎根。她認(rèn)為打好數(shù)學(xué)基礎(chǔ)將為愛(ài)達(dá)提供穩(wěn)定的、理智的社會(huì)地位,而這也是針對(duì)“粗魯、輕率、自負(fù)、搪塞和狂妄的良好解毒劑?!?

安娜希望女兒喜歡數(shù)學(xué),然而女兒卻愛(ài)好地理,她花很少的時(shí)間學(xué)習(xí)數(shù)學(xué),以便應(yīng)付母親的嚴(yán)格要求。安娜發(fā)現(xiàn)女兒敷衍后,既要處罰愛(ài)達(dá),如關(guān)到小黑屋反省,又要斥責(zé)并辭退雷蒙特小姐。所以家庭教師的更換比較頻繁。而愛(ài)達(dá)不免要說(shuō)點(diǎn)小謊話以搪塞母親。例如,寫(xiě)一些無(wú)關(guān)痛癢的檢討:“我,愛(ài)達(dá),沒(méi)有好好記筆記,明天一定把它做好?!?I, Ada, have not done the Notes very well, but I‘ll try to do it better tomorrow)。

在愛(ài)達(dá)的家庭教師名單中,有幾位數(shù)學(xué)家參與。其中既有平庸之輩,也有赫赫有名的數(shù)學(xué)大師。下面我們列舉幾位:

首先應(yīng)該談到的是威廉·弗雷德(William Frend)。他曾經(jīng)教過(guò)安娜,現(xiàn)在又來(lái)教愛(ài)達(dá)。這時(shí)他年事已高,竟然不相信有負(fù)數(shù)存在,更談不上了解數(shù)學(xué)的最新進(jìn)展。

其次必須提及的是勞倫斯小姐(Miss Arabella Lawrence),安娜請(qǐng)她把13歲的愛(ài)達(dá)那偏好爭(zhēng)辯的性情改變過(guò)來(lái)。不過(guò),愛(ài)達(dá)身體不佳,又染上麻疹,休息了好長(zhǎng)一段時(shí)間。

還有威廉·金(William King)博士,他1829年也忙過(guò)愛(ài)達(dá)的數(shù)學(xué)教育。但這位博士的數(shù)學(xué)根基不深,他自己也坦白他學(xué)習(xí)數(shù)學(xué)是通過(guò)閱讀而不是作研究(by reading it rather than by doing it)。此后若干年,雖然他還給愛(ài)達(dá)一些幫助,但在1834年他寫(xiě)給愛(ài)達(dá)的信中,直率地承認(rèn)“在您的學(xué)習(xí)中,很快就能把我難倒(you will soon puzzle me in your studies)”。

大師的影響 編輯本段回目錄

除了以上三位平庸之輩,在愛(ài)達(dá)的一生中,受過(guò)三位世界級(jí)大師的培養(yǎng)。這就是女科學(xué)家瑪麗·莎沫維勒(Mary Fairfax Greig Somerville,1780-1872);計(jì)算機(jī)鼻祖查爾斯·巴貝奇(Charles Babbage,1791-1871);數(shù)理邏輯學(xué)家德·摩根(Augustus DeMorgan,1806-1871)。三位大師彼此之間有多年交情,對(duì)愛(ài)達(dá)栽 培的默契可能是她短暫一生感受到的最大幸福。

(圖)Augusta Ada ByronAugusta Ada Byron

1830年由于母親安娜與女科學(xué)家瑪麗·莎沫維勒的交往,15歲的愛(ài)達(dá)也成為瑪麗家的??汀,旣愑袃蓚€(gè)女兒與愛(ài)達(dá)年齡差不多,愛(ài)達(dá)經(jīng)常去瑪麗家里,度過(guò)一個(gè)個(gè)美好的夜晚?,旣悇t帶她們一起去聽(tīng)音樂(lè)會(huì),還經(jīng)常去倫敦大學(xué)聽(tīng)地理學(xué)講座。后來(lái),她們成立了女學(xué)者聯(lián)誼會(huì),組織參觀博物館,拜訪科學(xué)家等活動(dòng)。正是這些活動(dòng)使愛(ài)達(dá)認(rèn)識(shí)了巴貝奇?,旣惏褠?ài)達(dá)當(dāng)作自己的女兒一樣,給她數(shù)學(xué)書(shū)籍、指導(dǎo)她的學(xué)習(xí)、為她設(shè)計(jì)思考問(wèn)題。師徒之間無(wú)所不談,她們暢談數(shù)學(xué)問(wèn)題以及其他自然科學(xué)問(wèn)題,特別是討論巴貝奇及其制造的計(jì)算機(jī)器。此外,她們也談?wù)撘魳?lè)、繪畫(huà)等藝術(shù),以及爭(zhēng)取婦女受教育權(quán)與選舉權(quán)等政治問(wèn)題。

1833年6月5日,在一次聚會(huì)上愛(ài)達(dá)認(rèn)識(shí)了查爾斯·巴貝奇。兩周后她和母親一起拜訪了巴貝奇在倫敦的工作室,在那里她看到差分機(jī)的演示以及對(duì)分析機(jī)的設(shè)計(jì)。愛(ài)達(dá)立刻為這些機(jī)器著迷,這給巴貝奇留下深刻的印象。當(dāng)時(shí)花季妙齡的愛(ài)達(dá)出落得已令人入神,據(jù)索菲亞·弗雷德(她是威廉·弗雷德的女兒、德·摩根的妻子)回憶,“像她這樣年輕,能理解機(jī)器的工作,而且看到這一發(fā)明的無(wú)比美妙(young as she was, understood its working, and saw the great beauty of the invention)”。此后她就與分析機(jī)結(jié)上了不解之緣。

1841年,在巴貝奇的建議下,德·摩根專門(mén)對(duì)愛(ài)達(dá)的數(shù)學(xué)研究進(jìn)行了高級(jí)的個(gè)別指導(dǎo)。

瑪麗·莎沫維勒的魅力編輯本段回目錄

 女科學(xué)家瑪麗·莎沫維勒寫(xiě)過(guò)許多著作,這些著作對(duì)創(chuàng)立電磁理論的麥克斯威都有很大影響。不過(guò)我國(guó)讀者對(duì)她可能比較陌生,有必要在此多談一下。

(圖)愛(ài)達(dá)·勒芙蕾絲愛(ài)達(dá)·勒芙蕾絲

瑪麗1780年12月26日生于蘇格蘭,1872年11月29日卒于意大利那不勒斯,享年92歲。她的父親William George Fairfax是英國(guó)海軍官員,曾擔(dān)任過(guò)艦隊(duì)副司令。他有兩兒兩女,兒子都受過(guò)良好的教育,女兒卻按照當(dāng)時(shí)的風(fēng)氣,沒(méi)有受教育的必要?,旣愔簧线^(guò)一年學(xué),就離開(kāi)那所既沒(méi)有給她快樂(lè)、又沒(méi)有給她知識(shí)的牢籠?;丶液螅_(kāi)始讀所有能夠找到的書(shū),而且自修拉丁文、練習(xí)鋼琴與繪畫(huà)。

1804年瑪麗與俄國(guó)海軍軍官Samuel Greig結(jié)婚。這位丈夫既缺乏科學(xué)知識(shí),又對(duì)鉆研學(xué)問(wèn)毫無(wú)興趣。三年后他病死,瑪麗只好帶著孩子回到蘇格蘭。在朋友的鼓勵(lì)下,她開(kāi)始鉆研數(shù)學(xué)和自然科學(xué)。在她的朋友圈中,有皇家軍事學(xué)院數(shù)學(xué)教授William Wallace,愛(ài)丁堡大學(xué)自然哲學(xué)教授John Playfair。這段時(shí)間,她還讀了牛頓和拉普拉斯的數(shù)學(xué)與天文學(xué)著作。

1812年瑪麗又與William Somerville結(jié)婚。這位丈夫是醫(yī)院督察,他積極支持瑪麗對(duì)自然科學(xué),如對(duì)植物學(xué)、地質(zhì)學(xué)的研究。他們又結(jié)識(shí)了學(xué)術(shù)界的許多朋友,如愛(ài)丁堡數(shù)學(xué)教授John Leslie(1766-1832),物理學(xué)家David Brewster(他發(fā)明了萬(wàn)花筒,kaleidoscope)。1816年,她丈夫調(diào)到倫敦工作,而且參與皇家學(xué)會(huì)的工作。于是全家搬到倫敦居住,從而結(jié)識(shí)了更多學(xué)界名流。如經(jīng)常去看望巴貝奇,他正在制造機(jī)械式計(jì)算機(jī)。還有George Airy(1801-1892,英國(guó)數(shù)學(xué)家,研究過(guò)觀察誤差的理論),John Herschel(1792-1871,英國(guó)天文學(xué)家,研究過(guò)哈雷彗星。他是巴貝奇在劍橋的同窗好友),William Herschel(John Herschel的父親,英國(guó)天文學(xué)家,發(fā)現(xiàn)了天王星),George Peacock(1791-1858,英國(guó)數(shù)學(xué)家,研究代數(shù)的邏輯處理,他也是巴貝奇在劍橋的同窗好友)。同時(shí),在倫敦也有機(jī)會(huì)與到訪的外國(guó)著名科學(xué)家見(jiàn)面,如法國(guó)大數(shù)學(xué)家拉普拉斯(Pierre-Simon Laplace,1749-1827),泊松(Simon Poisson,1781-1840),Louis Poinsot(1777-1859),Emile Mathieu(1835-1890)等。

1827年根據(jù)知識(shí)傳播學(xué)會(huì)的請(qǐng)求,瑪麗著手翻譯拉普拉斯的《天體力學(xué)》(Laplace: The Mechanism of the Heavens)。事實(shí)上,瑪麗不僅是單純的翻譯,她還詳細(xì)解釋了當(dāng)時(shí)英國(guó)數(shù)學(xué)家不熟悉的概念與方法。這本書(shū)于1831年問(wèn)世,大獲成功,贊美之詞不絕于耳。

1834年她出版了《物理科學(xué)的聯(lián)系》(The connection of the physical sciences),其中討論了對(duì)天王星進(jìn)行干擾的假想行星。該書(shū)導(dǎo)致英國(guó)天文學(xué)家亞當(dāng)斯(John Couch Adams,1819-1892)的研究,并最終發(fā)現(xiàn)了海王星。

愛(ài)達(dá)和她的母親安娜成為瑪麗·莎沫維勒家庭的朋友?,旣悷崆榈毓膭?lì)、幫助愛(ài)達(dá)研究數(shù)學(xué),這使她真正喜歡上數(shù)學(xué)。同時(shí),愛(ài)達(dá)還從瑪麗身上感染到對(duì)整個(gè)自然科學(xué)的熱愛(ài)。

瑪麗的榮譽(yù)像潮水般涌來(lái),她成為皇家天文學(xué)會(huì)會(huì)員。英國(guó)首相每年給予她津貼。1838年瑪麗丈夫的健康惡化,他們移居意大利?,旣愒谝獯罄冗^(guò)大半生,又寫(xiě)了許多著作。1848年出版的《物理地理學(xué)》(Physical geography)是她最成功的著作之一,直到20世紀(jì)初,英國(guó)許多大學(xué)還用它作教科書(shū)。

瑪麗強(qiáng)烈呼吁婦女應(yīng)該有受教育的權(quán)利、有選舉和被選舉的權(quán)利。1879年牛津大學(xué)用她的名字命名了瑪麗·莎沫維勒學(xué)院,就是對(duì)她這種精神的肯定和褒獎(jiǎng)。

德·摩根的嚴(yán)格要求 編輯本段回目錄

學(xué)過(guò)數(shù)學(xué)的人,應(yīng)該都知道數(shù)學(xué)歸納法,它是德·摩根首先提出的;學(xué)過(guò)計(jì)算機(jī)的人,大都知道有個(gè)德·摩根定理,它對(duì)邏輯運(yùn)算十分重要。德·摩根是在愛(ài)達(dá)結(jié)婚并生孩子后,按照巴貝奇的建議,對(duì)她進(jìn)行了嚴(yán)格的數(shù)理邏輯的輔導(dǎo)。因?yàn)樗跒榘拓惼娴姆治鰴C(jī)編制程序時(shí)需要這方面的知識(shí)。

(圖)Difference EngineDifference Engine

德·摩根1806年6月27日出生于印度馬德拉斯邦的Madura,當(dāng)時(shí)他的父親John De Morgan是英國(guó)陸軍上校,正在印度服役。他是家中第五個(gè)孩子,出生不久右眼失明。七個(gè)月就隨家返回英國(guó)。在學(xué)校,德·摩根因?yàn)闅埣膊o(wú)什么擅長(zhǎng),從來(lái)不和其他男孩一起運(yùn)動(dòng),相反卻經(jīng)常成為同學(xué)作弄的犧牲品。他10歲時(shí)父親去世。1823年德·摩根16歲時(shí)進(jìn)入劍橋三一學(xué)院,在那里他遇到老師Peacock 和Whewell,他們成為終生的好友。在那里他取得了學(xué)士學(xué)位,但要取得碩士學(xué)位就必須進(jìn)行神學(xué)考試,對(duì)此他很反感。然而沒(méi)有碩士學(xué)位,他在劍橋就很難獲得獎(jiǎng)學(xué)金。1826年他返回倫敦家中。1827年他在新建立的倫敦學(xué)院大學(xué)(University College London)申請(qǐng)數(shù)學(xué)系主任的職位,雖然當(dāng)時(shí)他尚無(wú)數(shù)學(xué)專著,但還是得到應(yīng)聘。1828年德·摩根成為該大學(xué)第一位數(shù)學(xué)教授,在就職演講中他談了對(duì)數(shù)學(xué)的研究。1830年德·摩根發(fā)表了數(shù)學(xué)著作《算術(shù)原理》(Elements of arithmetic),這部著作曾經(jīng)多次再版。1831年他原則上辭去系主任的職務(wù),但1836年再次擔(dān)任系主任,一直到1866年。

1838年德·摩根引入并定義了數(shù)學(xué)歸納法(mathematical Induction),圍繞這個(gè)題目他寫(xiě)過(guò)許多文章。德·摩根還出版過(guò)有關(guān)微積分的著作(The Differential and Integral Calculus)。1849年出版了有關(guān)三角學(xué)的著作(Trigonometry and double algebra),他對(duì)復(fù)數(shù)給出幾何學(xué)的解釋。他認(rèn)識(shí)到代數(shù)的純符號(hào)本質(zhì),注意到多種代數(shù)的存在,而不限于普通代數(shù)。他引入了德·摩根定理,對(duì)數(shù)理邏輯進(jìn)行了大膽的改革,這大概是德·摩根最偉大的貢獻(xiàn)。德·摩根1871年3月18日在英國(guó)倫敦去世。

1835年7月8日愛(ài)達(dá)·拜倫與威廉·金(William King)結(jié)婚,當(dāng)然這個(gè)人并不是前面提到過(guò)的數(shù)學(xué)教師Dr. William King。1838年愛(ài)達(dá)的丈夫威廉·金被封為拉夫拉斯伯爵(Earl of Lovelace),因此愛(ài)達(dá)也獲得拉夫拉斯伯爵夫人(Countess of Lovelace)的稱號(hào)。他們結(jié)婚后,有了三個(gè)孩子:大兒子叫了外祖父的名字Byron Noel,1836年5月12日出生;女兒叫了外祖母的名字,Anne Isabella,1837年9月22日出生;小兒子仍然留有外祖父的痕跡Ralph Gordon,1839年7月2日出生。這應(yīng)該算是愛(ài)達(dá)短暫一生的第二個(gè)幸福了。

創(chuàng)新的注釋 編輯本段回目錄

如上所述,愛(ài)達(dá)18歲時(shí)聽(tīng)了巴貝奇關(guān)于設(shè)計(jì)差分機(jī)的講演,從而對(duì)巴貝奇的機(jī)器產(chǎn)生了濃厚的興趣。后來(lái)又對(duì)全新的分析機(jī)特別地著迷。從1836年1月18日開(kāi)始,愛(ài)達(dá)給巴貝奇寫(xiě)信,探討分析機(jī)的各種問(wèn)題。一直到生命結(jié)束,她給巴貝奇寫(xiě)了大量的信件。這是研究愛(ài)達(dá)編程思想的重要資料。

但最有代表性的文獻(xiàn),卻是愛(ài)達(dá)翻譯一本書(shū)時(shí)所加的注釋。那是1842年10月,法國(guó)工程師Luigi Federico Menabrea(1809-1896)發(fā)表了一篇關(guān)于巴貝奇分析機(jī)的理論和性能的文章。愛(ài)達(dá)把它由法文譯成英文,而且在其中加入她的許多注釋。

關(guān)于這個(gè)工作,巴貝奇有一段精彩的回憶:“在日內(nèi)瓦綜合書(shū)目上出現(xiàn)Menabrea關(guān)于這個(gè)機(jī)器的實(shí)錄后,有一天晚上拉夫拉斯伯爵夫人告訴我,她已經(jīng)把這篇東西由法文翻譯成英文。我問(wèn)她,為什么不就這個(gè)題目自己寫(xiě)一篇原創(chuàng)性的論文,你是能夠非常親切地介紹這個(gè)機(jī)器的。拉夫拉斯伯爵夫人答復(fù)道:她的思想還沒(méi)有形成。然后我建議她在Menabrea的文章上加些注釋。這個(gè)建議立即被她采納了?!薄拔覀円黄鹩懻摿吮仨氁氲母鞣N插圖,我建議了幾個(gè),但是否選擇完全由她決定。還有一些不同問(wèn)題的代數(shù)工作,例如有關(guān)伯努利數(shù)的計(jì)算,為了減少她的麻煩,我給出一些計(jì)算。結(jié)果她寄來(lái)一份修訂,糾正了我在計(jì)算中的一個(gè)重大錯(cuò)誤?!薄袄蚶共舴蛉说淖⑨尡仍牡拈L(zhǎng)度擴(kuò)展了三倍。她全力以赴,對(duì)于和這個(gè)題目有關(guān)的很困難、很抽象的問(wèn)題都作了解釋。把這兩個(gè)資料一起提供給讀者,就能理解機(jī)器的工作原理,并通過(guò)完整的示范,了解如何使用分析機(jī)去執(zhí)行分析開(kāi)發(fā)的任務(wù)?!?

最早的編程設(shè)想 編輯本段回目錄

在這些注釋中,愛(ài)達(dá)描述了分析機(jī)如何進(jìn)行編程,最早給出計(jì)算機(jī)程序設(shè)計(jì)的許多想法。下面給出幾個(gè)注釋的內(nèi)容,以饗讀者:

(圖)倫敦科學(xué)館分析機(jī)復(fù)制品,本質(zhì)上可以說(shuō)是第一臺(tái)電腦,雖然從未被真正制造倫敦科學(xué)館分析機(jī)復(fù)制品,本質(zhì)上可以說(shuō)是第一臺(tái)電腦,雖然從未被真正制造

注釋A:說(shuō)明設(shè)計(jì)中的“分析機(jī)”與已存在的“差分機(jī)”的區(qū)別。她的討論預(yù)言了通用計(jì)算機(jī)(general purpose computer)的作用,這超出了巴貝奇的想象。她表明分析機(jī)可以接受各種各樣的穿孔卡:“控制卡”、“數(shù)據(jù)卡”、“操作卡”,它們?nèi)绾问褂?jì)算機(jī)自動(dòng)地對(duì)輸入的數(shù)據(jù)完成正確的操作。換句話說(shuō),計(jì)算機(jī)能“分析數(shù)據(jù)”。她還提議數(shù)字和其他符號(hào)如字母都可以“編碼”成數(shù)字?jǐn)?shù)據(jù),機(jī)器可以處理它們,并給出寫(xiě)成的數(shù)據(jù)。她甚至要為分析機(jī)能產(chǎn)生音樂(lè)而奮斗。

注釋B:愛(ài)達(dá)討論了分析機(jī)的記憶能力,她把記憶裝置稱為“倉(cāng)庫(kù)”。她提出了存儲(chǔ)位置或地址的想法。她指出插入“注解或備忘”的可能性,計(jì)算機(jī)不會(huì)執(zhí)行它們,但可以讓人們簡(jiǎn)明地了解程序?qū)⒆呦蚝畏健?

注釋C:愛(ài)達(dá)引入“返回”(backing)的概念,制作一個(gè)操作卡返回到某個(gè)位置,而它就是將要工作的下一個(gè)數(shù)據(jù)卡。她解釋這樣做的原因是:“在解決一個(gè)問(wèn)題的方案中,能確保某個(gè)特殊的穿孔卡或者一組卡能成功地使用若干次”(to secure the possibility of bringing any particular card or set of cards into use any number of times  successively in the solution of one problem)。這個(gè)思想我們今天稱為“循環(huán)”(looping),愛(ài)達(dá)和巴貝奇早就討論過(guò)這個(gè)問(wèn)題。

注釋D:愛(ài)達(dá)解釋了如何使用操作卡、返回、倉(cāng)庫(kù)以及各種控制卡,以寫(xiě)成一個(gè)指令序列,去完成一個(gè)特定的操作集合。

注釋E:她解釋了機(jī)器如何擁有三角函數(shù)和其他函數(shù)。這就在計(jì)算機(jī)內(nèi)部引入了內(nèi)建函數(shù)(built-in function)的思想。

注釋F:她給出利用返回處理(循環(huán)),僅通過(guò)重復(fù)幾個(gè)操作,來(lái)解一個(gè)任意大小的線性方程組。她詳細(xì)寫(xiě)出解十元線性方程組的程序。她還推測(cè)通過(guò)簡(jiǎn)單的循環(huán)過(guò)程生成素?cái)?shù)表的可能性。

注釋G:愛(ài)達(dá)警告讀者,如果輸入“不真實(shí)”的信息,那么計(jì)算機(jī)就不能做任何事情。今天我們把這稱為“輸入垃圾,輸出垃圾”(Garbage in, Garbage out)。她寫(xiě)到:“分析機(jī)不能自命不凡,無(wú)論什么問(wèn)題都能解決。它只能完成我們告訴它如何做的事情。它能遵循分析,但沒(méi)有能力預(yù)期任何分析關(guān)系或事實(shí)?!?The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform. It can follow analysis; but it has no power of anticipating any analytical relations or truths)。在注釋G中,愛(ài)達(dá)還寫(xiě)了一個(gè)程序,讓分析機(jī)生成伯努利數(shù)的表。

由上可知,愛(ài)達(dá)獲得世界上第一位計(jì)算機(jī)程序員的榮譽(yù)是當(dāng)之無(wú)愧的。

辭世與紀(jì)念編輯本段回目錄

 由于受子宮癌和賭博債務(wù)的折磨,有的文獻(xiàn)還說(shuō)她曾經(jīng)吸毒,這位悲劇性的人物愛(ài)達(dá)過(guò)早地于1852年11月27日去世,生命周期與她的父親拜倫同樣短促,都只有37歲。最后與她的父親一起,埋葬在諾丁漢郡Hucknall鎮(zhèn)拜倫家族的墓地。 當(dāng)年36歲。很諷刺的,她與她父親拜倫死于相同年齡,一樣死于治療中的失血過(guò)多。她留下了兩個(gè)兒子與一位女兒—安妮·布蘭特貴女。依她的遺言,愛(ài)達(dá)葬于諾丁漢哈克諾的圣 瑪麗亞·抹大拉教堂,長(zhǎng)眠在父親的身旁。

愛(ài)達(dá)的形象完美地體現(xiàn)了一位程序員應(yīng)該具備的科學(xué)家與藝術(shù)家的雙重氣質(zhì)。一方面,程序員需要在數(shù)學(xué)概念、形式理論、符號(hào)表示等基礎(chǔ)上工作,應(yīng)該有科學(xué)家的素養(yǎng)。另一方面,對(duì)于一個(gè)高效的、可靠的、便于維護(hù)的軟件系統(tǒng),又必須刻畫(huà)它的細(xì)節(jié),并把它組成一個(gè)和諧的整體,所以程序員又應(yīng)該有藝術(shù)家的氣質(zhì)。

1975年1月,美國(guó)國(guó)防部(DoD)提出統(tǒng)一高級(jí)語(yǔ)言的必要性,并為此在國(guó)際范圍內(nèi)招標(biāo)。1979年5月,從四種入圍語(yǔ)言中最后選定了一種?,F(xiàn)在,該給它起個(gè)什么名字呢?總不能把它稱為DoD-1語(yǔ)言吧。國(guó)防部通過(guò)與英國(guó)拉夫拉斯伯爵的繼承人萊頓(Lytton)伯爵協(xié)商,決定把新語(yǔ)言命名為Ada語(yǔ)言,以此紀(jì)念愛(ài)達(dá)在130年前對(duì)程序設(shè)計(jì)的歷史貢獻(xiàn)。于是,愛(ài)達(dá)的名字、生平與事跡才廣為世人傳誦。

身后影響力編輯本段回目錄

她死后一百年,于1953年,愛(ài)達(dá)之前對(duì)查爾斯·巴貝奇的《分析機(jī)概論》所留下的筆記被重新公布,并被認(rèn)為對(duì)現(xiàn)代計(jì)算機(jī)與軟件工程造成了重大影響。

(圖)電影電影

計(jì)算機(jī)科學(xué)
在1980年12月10日,美國(guó)國(guó)防部制作了一個(gè)新的計(jì)算機(jī)編程語(yǔ)言—Ada。
美國(guó)國(guó)防部標(biāo)準(zhǔn)局為了記念愛(ài)達(dá),以她的生日設(shè)立了一個(gè)編號(hào)MIL-STD-1815。
在微軟的產(chǎn)品里也可以找到愛(ài)達(dá)的全息圖標(biāo)簽.
英國(guó)計(jì)算機(jī)公會(huì)每年都頒發(fā)以愛(ài)達(dá)為名的獎(jiǎng)項(xiàng)。

大眾文化
在第203集的數(shù)謎(math-mystery)動(dòng)畫(huà)—《數(shù)位追逐》里,就有她的身影出現(xiàn),其配音由的珍·科廷擔(dān)當(dāng)。
愛(ài)達(dá)是布魯斯·斯特林與威廉·吉布森合著的小說(shuō)《差分解析儀》(The Difference Engine)的主角。在故事中,她所提出的新構(gòu)想加速了計(jì)算機(jī)時(shí)代的來(lái)臨。
約翰·克羅利在他的小說(shuō)《拜倫的故事》(Lord Byron's Novel)中,拜倫寫(xiě)下了自己的故事,卻因亡故而未能完成,之后由其女愛(ài)達(dá)將故事補(bǔ)齊。
愛(ài)達(dá)是1997年電影《孕育愛(ài)達(dá)》里被飾演的主角。
在史考特·衛(wèi)斯特菲爾德的系列作《Midnighters》里,其中一名女性主角的崇拜對(duì)象正是愛(ài)達(dá),更影響了其中三本系列作的內(nèi)容。

Ada 語(yǔ)言編輯本段回目錄

ada  1、Ada是一種表現(xiàn)能力很強(qiáng)的通用程序設(shè)計(jì)語(yǔ)言,它是美國(guó)國(guó)防部為克服軟件開(kāi)發(fā)危機(jī),耗費(fèi)巨資,歷時(shí)近20年研制成功的。它被譽(yù)為第四代計(jì)算機(jī)語(yǔ)言的成功代表。美國(guó)國(guó)防部之所以把這種語(yǔ)言取名為Ada,是為了紀(jì)念?yuàn)W左斯特·艾達(dá)·洛夫萊斯伯爵夫人(Augusta Ada Lovlace,1815-1852),她是英格蘭詩(shī)人拜倫(Byron)勛爵的女兒,曾對(duì)現(xiàn)代計(jì)算機(jī)技術(shù)之父查爾斯·巴貝奇(Charles Babage,1791-1871)的筆記、手稿進(jìn)行了整理和修正。從某種意義上說(shuō),她是世界上第一位計(jì)算機(jī)程序員。

(圖)AdaAda

與其他流行的程序設(shè)計(jì)語(yǔ)言不同,Ada語(yǔ)言不僅體現(xiàn)了許多現(xiàn)代軟件的開(kāi)發(fā)原理,而且將這些原理付諸實(shí)現(xiàn)。因此,Ada語(yǔ)言的使用可大大改善軟件系統(tǒng)的清晰性、可靠性、有效性、可維護(hù)性。Ada是現(xiàn)有的語(yǔ)言中無(wú)與倫比的一種大型通用程序設(shè)計(jì)語(yǔ)言,它是現(xiàn)代計(jì)算機(jī)語(yǔ)言的成功代表,集中反映了程序語(yǔ)言研究的成果。Ada的出現(xiàn),標(biāo)志著軟件工程成功地進(jìn)入了國(guó)家和國(guó)際的規(guī)模。在一定意義上說(shuō),Ada還刺破了“馮·偌依曼思維模式” (Von Newman Mind-set) 的桎梏,連同Ada的支持環(huán)境(APSE)一起,形成了新一派的所謂Ada文化。它是迄今為止最復(fù)雜、最完備的軟件工具。Ada語(yǔ)言是美國(guó)國(guó)防部指定的唯一的一種可用于軍用系統(tǒng)開(kāi)發(fā)的語(yǔ)言,我國(guó)軍方也將Ada作為軍內(nèi)開(kāi)發(fā)標(biāo)準(zhǔn)(GJB 1383《程序設(shè)計(jì)語(yǔ)言Ada》)。

  Ada最初設(shè)計(jì)時(shí)關(guān)注于3個(gè)最重要的問(wèn)題:程序的穩(wěn)定性和可維護(hù)性,程序設(shè)計(jì)和人的行為接近,并且高效。這份語(yǔ)言的修訂版是為了提供更大的靈活性和擴(kuò)展性,存儲(chǔ)管理的額外控制和同步,以及標(biāo)準(zhǔn)化的程序包以支持重要的應(yīng)用程序領(lǐng)域,同時(shí)保留原來(lái)的重點(diǎn)。對(duì)于程序設(shè)計(jì)語(yǔ)言促進(jìn)可靠性和簡(jiǎn)化維護(hù)難度的需求已被確立。因此程序可讀性的重要性高于輕松地寫(xiě)代碼。例如,語(yǔ)言規(guī)則要求程序變量應(yīng)當(dāng)明確聲明并指定它們的類型。由于變量的數(shù)據(jù)類型是不變的,編譯器可以確保對(duì)于變量的操作適用于該類型的對(duì)象。

另外,有錯(cuò)誤傾向的符號(hào)已經(jīng)避免,并且語(yǔ)言語(yǔ)法避免了編碼形式的使用,使更傾向于英語(yǔ)的結(jié)構(gòu)。最后,Ada 語(yǔ)言提供了程序單元單獨(dú)編譯的功能,使程序開(kāi)發(fā)和維護(hù)簡(jiǎn)便,同樣也提供了在一個(gè)單元內(nèi)多個(gè)單元之間的檢測(cè)。考慮人類程序員的問(wèn)題也在設(shè)計(jì)時(shí)被強(qiáng)調(diào)??偠灾诶^續(xù)避免過(guò)多復(fù)雜句型的缺陷的同時(shí),嘗試以一致系統(tǒng)的方式保持相對(duì)較少的底層概念。
  Ada 語(yǔ)言最初設(shè)計(jì)是為了構(gòu)建長(zhǎng)周期的、高度可靠的軟件系統(tǒng)。它提供了一系列功能來(lái)定義相關(guān)的數(shù)據(jù)類型(type)、對(duì)象(object)和操作(operation)的程序包(package)。程序包可以被參數(shù)化,數(shù)據(jù)類型可以被擴(kuò)展以支持可重用庫(kù)的構(gòu)建。操作既可以使用方便的順序控制結(jié)構(gòu),通過(guò)子程序(subprogram)來(lái)實(shí)現(xiàn),也可以通過(guò)包含并發(fā)線程同步控制的入口(entry)來(lái)實(shí)現(xiàn)。Ada 也支持單獨(dú)編譯(separate compilation),在物理層上支持模塊性。
  Ada 包含了很復(fù)雜的功能以支持實(shí)時(shí)(real-time),并發(fā)程序設(shè)計(jì)(concurrent programming)。錯(cuò)誤可以作為異常(exception)來(lái)標(biāo)示,并可以被明確地處理。Ada 也覆蓋了系統(tǒng)編程(system programming);這需要對(duì)數(shù)據(jù)表示和系統(tǒng)特性訪問(wèn)的精確控制。最后,提供了預(yù)定義的標(biāo)準(zhǔn)程序包,包括輸入輸出、字符串處理、數(shù)值計(jì)算的基本函數(shù)和隨機(jī)數(shù)生成。
  Ada的風(fēng)格在Pascal語(yǔ)言中得以延續(xù)。

參考文獻(xiàn)編輯本段回目錄

    本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點(diǎn)。請(qǐng)注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購(gòu)買(mǎi)等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請(qǐng)點(diǎn)擊一鍵舉報(bào)。
    轉(zhuǎn)藏 分享 獻(xiàn)花(0

    0條評(píng)論

    發(fā)表

    請(qǐng)遵守用戶 評(píng)論公約

    類似文章 更多