2012圖靈年全球紀(jì)念活動(dòng)札記

文章編號(hào)：1672-5913（2013）01-0109-02

中圖分類號(hào)：G642

為了紀(jì)念圖靈百年誕辰（1912-2012年），TCAC（the Turing Centenary Advisory Committee，圖靈百年紀(jì)念咨詢委員會(huì)）協(xié)調(diào)安排了為期一年的活動(dòng)，并將2012年訂為“圖靈年”（Alan Turing Year）。TCAC掛靠英國(guó)曼徹斯特大學(xué)，由圖靈的侄子約翰·德莫特·圖靈（Sir John Dermot Turing）擔(dān)任榮譽(yù)會(huì)長(zhǎng)，由巴瑞·庫(kù)珀（S.Barry Cooper）教授擔(dān)任主席。庫(kù)珀是歐洲可計(jì)算性學(xué)會(huì)現(xiàn)任主席，英國(guó)里茲大學(xué)數(shù)理邏輯教授，1966年畢業(yè)于牛津大學(xué)耶穌學(xué)院，1970年于萊斯特大學(xué)獲博士學(xué)位。

TCAC的成員廣泛涵蓋了學(xué)界和業(yè)界人士，包括曼徹斯特大學(xué)、劍橋大學(xué)、牛津大學(xué)、普林斯頓大學(xué)、布萊奇利園區(qū)、ACM/IEEE等一共64個(gè)單位。

圖靈年安排的活動(dòng)從2011年12月13日在牛津劇院開(kāi)始，到2012年12月7日在我國(guó)澳門(mén)結(jié)束，恰好有100項(xiàng)內(nèi)容，遍布世界各地，可謂盛況空前，其中47.4項(xiàng)在英國(guó)舉辦，10.3項(xiàng)在美國(guó)舉行，在德國(guó)則有3.3項(xiàng)（有一項(xiàng)內(nèi)容相同的活動(dòng)先后在英、美、德舉辦，所以筆者統(tǒng)計(jì)時(shí)用了小數(shù)），開(kāi)展3項(xiàng)活動(dòng)的有加拿大、荷蘭、葡萄牙，開(kāi)展2項(xiàng)活動(dòng)的有中國(guó)、巴西、阿根廷、西班牙、以色列，只有一項(xiàng)活動(dòng)的有新西蘭、俄羅斯、捷克、冰島、澳大利亞、挪威、意大利、瑞士、瑞典、克羅地亞、法國(guó)、波蘭、匈牙利、比利時(shí)、希臘、秘魯、菲律賓、阿聯(lián)酋等。具體活動(dòng)內(nèi)容可以在ALAN TURING YEAR的網(wǎng)站（http：//www.turingcentenary.eu）或者在ASSOCIATION COMPUTABILITY IN EUROPE的網(wǎng)站（http：//www.computability.org.uk）中看到。《計(jì)算機(jī)教育》雜志網(wǎng)站（http：//www.jsjjy.com）也轉(zhuǎn)載了活動(dòng)的內(nèi)容。

事實(shí)上，紀(jì)念性的學(xué)術(shù)活動(dòng)遠(yuǎn)不止這些。庫(kù)珀教授的團(tuán)隊(duì)（簡(jiǎn)稱“團(tuán)隊(duì)”）經(jīng)常通告已經(jīng)開(kāi)展的活動(dòng)盛況以_及新增加的活動(dòng)內(nèi)容。2012年3月13日?qǐng)?bào)道了有關(guān)圖靈的影片、展覽、長(zhǎng)跑活動(dòng)、藝術(shù)表演等，共16項(xiàng)。4月份補(bǔ)充20項(xiàng)，5月13日又補(bǔ)充10項(xiàng)，到了6月份又新增加31項(xiàng)。團(tuán)隊(duì)希望世界各地的朋友盡量提供信息。筆者隨即與庫(kù)珀教授接洽，通報(bào)了《計(jì)算機(jī)教育》雜志出版了紀(jì)念圖靈專刊（2012年第11期）一事，應(yīng)庫(kù)珀教授請(qǐng)求，給予《計(jì)算機(jī)教育》雜志社的具體網(wǎng)址和專刊鏈接。團(tuán)隊(duì)就《計(jì)算機(jī)教育》雜志的紀(jì)念活動(dòng)進(jìn)行了通告，詳情見(jiàn)http：//www.mathcomp.leeds.ac.uk/turing2012/give-page.php？13#oct及http：//www.mathcomp.leeds.ac.uk/turing2012/Images/china-article.jpg.

其實(shí)，在我國(guó)開(kāi)展的ATY活動(dòng)絕不止兩項(xiàng)，還有一些。《計(jì)算機(jī)教育》雜志除出版圖靈專刊外，還特別組織召開(kāi)了一次“紀(jì)念圖靈誕辰百年編委座談會(huì)”。座談會(huì)于2012年6月16日在北航舉行。另外，高等教育出版社出版了《ACM圖靈獎(jiǎng)》第4版，人民郵電出版社北京圖靈文化發(fā)展有限公司的袁野告訴我：“我單位為紀(jì)念圖靈誕辰百年，11月末將出版一本引進(jìn)版圖書(shū)《圖靈的秘密》，原書(shū)為美國(guó)John Wiley and Sons出版的The Annotated Turing：A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine。另外，他們公司6月份也舉辦了圖靈百年紀(jì)念活動(dòng)。

從更廣的范圍看，我國(guó)ATY的正式啟動(dòng)應(yīng)該是列入百項(xiàng)紀(jì)念活動(dòng)的5月16-21日在中國(guó)科學(xué)院軟件研究所召開(kāi)的“Theory and Applications of Models of Computation”（TAMC 2012）學(xué)術(shù)會(huì)議。詳細(xì)情況可以在http：//turing2012.iscas.ac.cn/index.html上看到。除了啟動(dòng)儀式外，還安排了許多精彩報(bào)告，如圖靈獎(jiǎng)得主姚期智、約翰·霍普克洛夫特（John Hopcroft）、理查德·卡普（Richard Karp）、巴特勒·蘭普森（Butler Lampson）以及李未院士、庫(kù)珀教授等的報(bào)告。在這次紀(jì)念活動(dòng)的網(wǎng)站上可以找到他們報(bào)告的演示稿，庫(kù)珀教授的講稿非常精彩（http：//turing2012.iscas.ac.cn/slides/cooper.pdf），李未院士演講的題目是R-Calculus：A Logical Inference System for Scientific Discoveries，其中文稿正好是刊登在《計(jì)算機(jī)教育》雜志圖靈專刊上的論文“R演算——科學(xué)發(fā)現(xiàn)的邏輯。”

另外一項(xiàng)活動(dòng)是2012年12月4-7日在我國(guó)澳門(mén)舉行的“世界智能大會(huì)”（World Intelligence Congress），包括5個(gè)分會(huì)，即IEEE/WIC/ACM Web Intelligence 2012（WI'12），IEEE/WIC/ACM Intelligent Agent Technology 2012（IAT'12），Active Media Technology 2012（AMT'12），Brain Informatics 2012（BI'12）and Methodologies for Intelligent Systems 2012（ISMIS'12）。

總之，由于信息化的高度發(fā)達(dá)，紀(jì)念圖靈的活動(dòng)真正成為史無(wú)前例的創(chuàng)舉。

（編輯：彭遠(yuǎn)紅）