比浏览器更快的访问！
33 关系: ALGOL 60，劍橋，可倫坡，大英帝國，學士，安德雷·柯爾莫哥洛夫，交談循序程式，微軟研究院，信號標，快速排序，俄语，哲学家就餐问题，皇家学会，算法，爵士，牛津大学，牛津大學墨頓學院，監視器 (程序同步化)，莫斯科国立大学，西洋古典學，计算机科学，计算机科学家列表，贝尔法斯特女王大学，霍尔逻辑，蘇聯，英屬錫蘭，英國皇家海軍，英國王室，英國文化協會，Quickselect，洛桑联邦理工学院，机器翻译，斯里蘭卡。
ALGOL 60
ALGOL 60（源自ALGOrithmic Language 1960的縮寫），一種程式語言，是ALGOL語言家族中的成員之一。根據ALGOL 58的基礎，它在1960年被創造，並影響到其後的CPL、BCPL、B語言、Pascal、Simula、C語言，在程式語言中有著很大的影響力。 它的後繼者是ALGOL 68與ALGOL W。.
新！!: 東尼·霍爾和ALGOL 60 · 查看更多 »
劍橋
劍橋（Cambridge，舊譯康橋），英國英格蘭東區域劍橋郡的城市、自治市鎮-非都市區，是英國歷史最悠久的大學城。在這裡，除了劍橋大學建築之外，還有商店、公園、茶藝館，以及代表劍橋現代化一面的百貨公司，商店及運動設施。康河上可以泛舟，在劍橋可以參加音樂會或步行到郊外欣賞幽美景色，也可以和劍橋居民一樣，享受騎腳踏車的樂趣。.
可倫坡
，位於錫蘭島西南岸、瀕印度洋，是斯里蘭卡的最大城市與商業中心，同时也是西部省的行政中心。而斯里蘭卡的政治首都斯里賈亞瓦德納普拉科特（Sri jayawardenapura-kotte）位於其郊區，但因距離過近，近年來許多國際的官方資料仍記載可倫坡為斯里蘭卡的首都，包括美國中央情報局，可倫坡的名稱來自僧伽羅語的Kola-amba-thota，意為「芒果港」，其後葡萄牙人將其拼寫成Colombo以紀念哥倫布。 根据布鲁金斯学会科伦坡市区人口为752,993人，都会区则多达5,600,000人。科伦坡是一个繁忙且充满生气的城市，有着现代化和殖民时期残留下来的建筑及生活风格。科伦坡直到1982年为斯里兰卡的首都。 如同许多其他城市，科伦坡的郊区范围远超过其行政区界限，并包含了许多其他市区或郊区的行政区，例如斯里賈亞瓦德納普拉科特、代希瓦勒-芒特拉維尼、科洛那瓦（Kolonnawa）、卡杜维拉（Kaduwela）和科迪卡瓦他塔穆勒利亚瓦（Kotikawatta Mulleriyawa）。斯里兰卡主要的行政办公室、餐厅和娱乐场所都位于此。.
大英帝國
#重定向 大英帝国.
新！!: 東尼·霍爾和大英帝國 · 查看更多 »
學士
學士（Bachelor或Bachelor's Degree，衍生自中世纪拉丁語Baccalaureus一詞）是高等教育本科階段授予的學位名稱。.
安德雷·柯爾莫哥洛夫
安德雷·尼古拉耶維奇·柯爾莫哥洛夫（俄语：Андре́й Никола́евич Колмого́ров，英语：Andrey Nikolaevich Kolmogorov，），俄国數學家，主要研究概率論、算法信息論、拓撲學、直觉主义逻辑、紊流、经典力学和計算複雜性理論，最為人所道的是對概率論公理化所作出的貢獻。他曾說："概率論作為數學學科，可以而且應該從公理開始建設，和幾何、代數的路一樣"。.
新！!: 東尼·霍爾和安德雷·柯爾莫哥洛夫 · 查看更多 »
交談循序程式
交--談循序程式（Communicating sequential processes，縮寫為CSP），又譯為通--信顺序进程、交換訊息的循序程式，一種形式語言，用來描述並行性系統間進行互動的模式。最早起源於東尼·霍爾在1978年發表的論文。交談循序程式高度影響了Occam的設計，也影響了如Limbo與Go等程式語言。.
新！!: 東尼·霍爾和交談循序程式 · 查看更多 »
微軟研究院
微軟研究院（Microsoft Research，縮寫为MSR）是微軟公司在1991年創立硏究不同的计算机科学主題與問題的分部。微軟研究院其中一個固定的目標為「支持長期的電腦科學硏究而不受產品週期所限」。 微軟研究院是目前世界頂尖的研究中心之一，有很多在電腦科學、物理學、數學受到高度公認的專家及許多著名科學獎項得主在微軟研究院，包括圖靈獎得主東尼·霍爾、詹姆斯·尼古拉·格雷，菲爾茲獎得主Michael Freedman，沃爾夫獎得主Laszlo Lovasz，MacArthur Fellow獎金得主Jim Blinn與Dijkstra Prize獎得主Leslie Lamport。.
新！!: 東尼·霍爾和微軟研究院 · 查看更多 »
信號標
#重定向 信号量.
快速排序
快速排序（Quicksort），又稱劃分交換排序（partition-exchange sort），簡稱快排，一種排序算法，最早由東尼·霍爾提出。在平均狀況下，排序 n 個項目要 \ O (n\log n) （大O符号）次比較。在最壞狀況下則需要 O (n^2) 次比較，但這種狀況並不常見。事實上，快速排序 \Theta(n\log n) 通常明顯比其他演算法更快，因為它的內部循环（inner loop）可以在大部分的架構上很有效率地達成。.
新！!: 東尼·霍爾和快速排序 · 查看更多 »
俄语
俄语（russkij jazyk，发音）為聯合國官方語言之一。俄語属于斯拉夫语族的东斯拉夫语支，是斯拉夫语族中使用人数最多的语言，是俄羅斯、白俄羅斯、吉尔吉斯斯坦及哈萨克斯坦的官方語言，主要在俄羅斯等前苏联加盟共和国中使用，且在華沙公約組織的成员国裡曾經被学校广泛列为第一外语教学。在蘇联時代，苏联加盟共和国和自治共和国非常强调俄语的重要性。虽然这些苏联的加盟共和国现在很多开始强调使用当地语言的重要性，在部分國家俄語已不再是官方語言，但俄语仍然是这些地区最广泛使用的共通语言。俄语屬於印欧语系，是东斯拉夫语支中三個目前仍在使用的語言之一。目前發現最早的古東斯拉夫語文字是在第十世紀的內容。 俄语是歐亞大陸中分布區域最廣的語言，也是斯拉夫語中最多人使用的語言。俄语也是歐洲最多人使用的母語，是俄羅斯、白俄羅斯、烏克蘭1.44億人的母語。俄语是母語人口排名的第八名，是以人口排列的語言列表中的第七名。.
哲学家就餐问题
哲学家就餐问题（Dining philosophers problem）是在计算机科学中的一个经典问题，用来演示在并发计算中多线程同步（Synchronization）时产生的问题。 在1971年，著名的计算机科学家艾兹格·迪科斯彻提出了一个同步问题，即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后，这个问题被托尼·霍尔重新表述为哲学家就餐问题。这个问题可以用来解释死結和资源耗尽。.
新！!: 東尼·霍爾和哲学家就餐问题 · 查看更多 »
皇家学会
倫敦皇家自然知識促進學會的會長、理事会及追隨者們（The President, Council, and Fellows of the Royal Society of London for Improving Natural Knowledge），簡稱皇家学会（Royal Society），是英国资助科学发展的组织，成立于1660年，并于1662年、1663年、1669年领到皇家的各种特許狀。学会宗旨是促进自然科学的发展，它是世界上历史最长而又从未中断过的科学学会，在英国起着国家科学院的作用。英國君主是学会的保护人。.
新！!: 東尼·霍爾和皇家学会 · 查看更多 »
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
爵士
爵士（Sir）是英國授勳及嘉獎制度中，對「騎士」和「從男爵」的一種敬稱。.
牛津大学
牛津大學（University of Oxford；非正式：Oxford University，或：Oxford；勳銜簡稱：Oxon）位於英格蘭牛津市。是一所世界聞名的公立研究型書院聯邦制大學。它是英語世界歷史最悠久的大學，也是世上現存第二古老持續辦學的高等教育機構。雖然大學的實際創立日期難以考證，但授課紀錄最晚可上溯到1096年。 牛津大學的師生人數自1167年亨利二世禁止英國學生前往巴黎大學就學後就開始迅速上升。1209年，牛津師生與鎮民的衝突使一些牛津學者另闢蹊徑，他們遷離至東北方的劍橋鎮並成立後來的劍橋大學。這兩所古老的大學在辦學模式、管理架構等各方面都非常相似，兩校同時展開相當悠久的競爭歲月，故常被合稱為「牛劍」。 牛津大學由38所獨立書院及4所學術學院組成。 各個書院為獨立的行政機構並隸屬於大學。它們有自己的管理架構、收生以及學生活動安排；而學術學院則負責安排教職員講課及指導研究項目，另負責編制課程及給予學術指引。牛津大學並沒有獨立於城鎮的主校區，大樓和設施散見整個牛津鎮。 大學的本科教育包括書院的每週輔導課程，以及由學術學院提供的學科課程。上課地點除了書院外，還包括由校方提供的講堂、課室及實驗室。牛津大學同時為兩個著名獎學金計劃的舉辦地：一為於2001年設立的克拉倫登獎學金；另一為羅德獎學金。牛津同時擁有全球最具規模的大學出版社，及全英最大型的大學圖書館系統。牛津大學培養眾多社會名人，當中包括26位英國首相、29位諾貝爾獎得主（只計算學生；連教職員計算則達69位）、6位图灵奖得主及多國領袖與政治要員。。牛津大学在数学、物理、医学、法学、商学、文學等多个领域拥有崇高的学术地位及广泛的影响力，被公认为是当今世界最顶尖的高等教育机构之一.
新！!: 東尼·霍爾和牛津大学 · 查看更多 »
牛津大學墨頓學院
墨頓學院（英文：Merton College, Oxford），位于牛津市墨頓街，是牛津大學最古老的学院之一，建立于1264年，以悠久的歷史、出色的學術著稱。.
新！!: 東尼·霍爾和牛津大學墨頓學院 · 查看更多 »
監視器 (程序同步化)
-- (Monitors，也称为--) 是一种程序结构，结构内的多个子程序（对象或模块）形成的多个工作线程互斥访问共享資源。這些共享資源一般是硬體裝置或一群變數。管程实现了在一个时间点，最多只有一个线程在执行管程的某个子程序。与那些通过修改数据结构实现互斥访问的并发程序设计相比，管程实现很大程度上简化了程序设计。 管程提供了一种机制，线程可以临时放弃互斥访问，等待某些条件得到满足后，重新获得执行权恢复它的互斥访问。 管程是东尼·霍尔 与泊·派克·漢森 提出的，并由泊·派克·漢森首次在并行Pascal中实现。东尼·霍尔证明了這與信号量是等價的。管程在当时也被用于單作業系統环境中的进程間通訊。 在程式語言Concurrent Pascal，Pascal-Plus，Modula-2，Modula-3，Mesa以及Java中都提供這個功能。.
新！!: 東尼·霍爾和監視器 (程序同步化) · 查看更多 »
莫斯科国立大学
莫斯科国立米哈伊尔·瓦西里耶维奇·罗蒙诺索夫大学（Московский государственный университет имени М. В. Ломоносова），简称莫斯科国立罗蒙诺索夫大学、莫斯科国立大学、莫斯科大學（МГУ），是俄罗斯最大和历史最悠久的大学，于1755年建校。2004年该大学有约4000名讲师、31000名大学生和7000名进修生。.
新！!: 東尼·霍爾和莫斯科国立大学 · 查看更多 »
西洋古典學
#重定向 古典學.
新！!: 東尼·霍爾和西洋古典學 · 查看更多 »
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
新！!: 東尼·霍爾和计算机科学 · 查看更多 »
计算机科学家列表
這一列表列出最著名的電腦科學家。.
新！!: 東尼·霍爾和计算机科学家列表 · 查看更多 »
贝尔法斯特女王大学
贝尔法斯特女王大学（英语：Queen's University Belfast，简称Queen’s或QUB）是一所位于英國北爱尔兰首府贝尔法斯特的公立研究型大学。女王大学的历史可以追溯到1810年创立的皇家贝尔法斯特学会，大学于1845年获得皇家特许状，1849年以“贝尔法斯特女王学院”为名开始办学。现有学生24560人，其中本科19165人，研究生5395人。 女王大学位于贝尔法斯特四大文化区之一的女王区的中心地带，大学提供跨学科的、不同层次的学位项目。目前可供选择的项目超过300个。女王大学的代理校长和副校监由詹姆士·麦克伊尔内（James McElnay）担任，校监由托马斯·莫兰（Thomas Moran）担任。 女王大学是英国罗素大学集团、英联邦大学协会、欧洲大学协会、爱尔兰大学联盟和英国大学联盟的成员之一。曾有两位诺贝尔奖得主和一位图灵奖得主曾在女王大学学习或工作过。.
新！!: 東尼·霍爾和贝尔法斯特女王大学 · 查看更多 »
霍尔逻辑
霍爾邏輯（Hoare Logic），又稱弗洛伊德-霍爾邏輯（Floyd–Hoare logic），是英国计算机科学家東尼·霍爾开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理來替计算机程序的正确性提供一组逻辑规则。 這個想法起源於罗伯特·弗洛伊德於較早的研究，他为流程图提供了类似的系统。東尼·霍爾於1969年首次發表，随后为其他研究者所精制。.
新！!: 東尼·霍爾和霍尔逻辑 · 查看更多 »
蘇聯
#重定向 苏联.
英屬錫蘭
英屬錫蘭（British Ceylon，බ්රිතාන්ය ලංකාව，，பிரித்தானிய இலங்கை，）是今日的斯里蘭卡。1796年英國東印度公司從荷蘭手中奪得斯里兰卡岛的沿海地區。1798年设立錫蘭總督一职。1802年交由英國政府管理，1815年英國廢黜了錫蘭的國王，將斯里兰卡岛全島置於英國統治之下。1948年獨立，成立錫蘭自治領。1972年更改國名為斯里蘭卡。 * Category:亚洲的英国殖民地 Category:斯里兰卡历史.
新！!: 東尼·霍爾和英屬錫蘭 · 查看更多 »
英國皇家海軍
皇家海军（Royal Navy，縮寫为 RN），亦称英国皇家海军或英国海军，是英国的首要海上作战部队。9世纪时阿尔弗雷德大帝首先开始使用海上军队，而自14世纪初起英格兰海军开始参与海战。现代皇家海军可追溯至16世纪初，为英国三军中最为古老的军种。正是如此，皇家海軍是三軍中地位最崇高的，其尊稱為「高級軍種」(Senior Service)。 自17世纪中期起至18世纪，皇家海军同荷兰皇家海军和法国海军对制海权展开争夺。自18世纪中期起其为全球最为强大的海军力量，直至第二次世界大战期间为美国海军所超越。皇家海军于19世纪和20世纪上半叶大英帝国崛起成为超级大国的过程中扮演了重要的角色。由于其历史地位显赫，人们（包括英国人）时常略去“英国”部分，直称其为“皇家海军”。 第一次世界大战后皇家海军规模大幅度缩减，但在第二次世界大战初期其仍为全球规模最大。至战争结束时美国海军已发展成为世界最大。在冷战期间，皇家海军转变角色为反潜力量，主要于GIUK缺口搜索苏联潜艇。苏联解体之后，皇家海军重新成为远征作战部队，活跃于全球范围，并仍旧是世界最为强大的蓝水海军之一。 皇家海军拥有诸多科技先进的舰船和潜艇，包括一艘航空母艦、一艘、两艘、四艘弹道导弹潜艇（维持英国的）、七艘核动力舰队潜艇、六艘、13艘巡防舰、15艘反水雷舰船及22艘巡逻舰船。截至2017年12月26日，皇家海军共有78艘现役舰艇（包括潜艇），9艘（RFA）舰艇、以及5艘根据合同可为辅助舰队使用的舰艇。辅助舰队对皇家海军进行海上补给，通过其三艘船提升皇家海军的两栖作战能力，并取代过去巡防舰的职责，同皇家海军一同进行巡逻任务。皇家海军的总排水量达到近400,000吨（包括辅助舰队和皇家海军陆战队则达676,000吨）。 皇家海军與皇家海军陆战队共同組成。海军的軍種指揮官为第一海務大臣兼海軍參謀長（1SL/CNS），上将军衔，亦为成员。国防委员会将海军管理职责下放至海軍部委員會，由国防大臣领衔。皇家海军目前于英国境内拥有三个海军基地：朴次茅斯、和，其中第三者为西欧最大的海军基地。.
新！!: 東尼·霍爾和英國皇家海軍 · 查看更多 »
英國王室
英国君主與其近親的關係由其名號可知。皇室成員雖然沒有嚴格的法律或者正式的定義，並且不同的名單會有不同的成員，不過擁有国王／女王 、陛下/殿下（HM/RM，His Majesty/Her Majesty/Royal Majesty）或者王子／公主殿下頭銜（HRH，His/Her Royal Highness）的通常都視為皇室成員。會冠以這等稱號的人一般包括：.
新！!: 東尼·霍爾和英國王室 · 查看更多 »
英國文化協會
英國文化協會（British Council）於1934年成立於英國，致力於促進英國文化、教育、國際關係之拓展和交流，於全球109個國家、兩百多座城市設有分部，1943年起在中國大陸、香港及台灣陸續成立辦事處，提供英式英語教學、英國期刊、留學情報以及各領域消息、免費諮詢等服務，並與外交機構建有合作計畫。.
新！!: 東尼·霍爾和英國文化協會 · 查看更多 »
Quickselect
#重定向 快速选择.
新！!: 東尼·霍爾和Quickselect · 查看更多 »
洛桑联邦理工学院
洛桑联邦理工学院（EPFL）（École polytechnique fédérale de Lausanne，缩写EPFL），成立于1853年，是一所世界顶尖的理工院校。學校位於瑞士的法語區，與位於德語區的苏黎世联邦理工學院是姐妹校，也是瑞士僅有的兩所聯邦理工學院，直接由瑞士聯邦政府管理。2016在校生約10500名(大學生、碩士生、博士生以及博士後研究員)，其中有一半的學生來自其他國家。340多名教授和5800多名教职员工分布于建筑设计系，基础科学系，工程系，计算机与通信科学系，生命科学系，管理系，人文系,7个系内。在教学与研究之外，洛桑联邦理工学院还负责操作核反应堆CROCUS，一个托卡马克聚变反应堆（Tokamak Fusion reactor），一台Blue Gene/Q超级计算机以及P3 bio-hazard设施等。学校以其师生比例，国际视野以及科研影响力而闻名。学校一系列高水平研究项目更加推动了学校作为一个研究型大学的声誉。其中最值得一提的是2013年的藍腦計畫（Blue Brain Project），学校从欧盟获得了5亿欧元的经费。建校宗旨：培养工程师和科学家、成為國家的科學與科技中心、並促進產學合作。.
新！!: 東尼·霍爾和洛桑联邦理工学院 · 查看更多 »
机器翻译
機器翻譯（英語：Machine Translation，經常簡寫為MT，俗称机翻）屬於計算語言學的範疇，其研究藉由-zh-hant:電腦程式;zh-hans:计算机程序-將文字或演說從一種自然語言翻譯成另一種自然語言。簡單來說，機器翻譯是--將一個自然語言的字辭取代成另一個自然語言的字辭。藉由使用語料庫的技術，可達成更加複雜的自動翻譯，包含可更佳的處理不同的文法結構、辭彙辨識、慣用語的對應等。 目前的機器翻譯軟體通常可允許針對特定領域或是專業领域（例如天氣預報）來加以客製化，目的在於將辭彙的取代縮小於該特定領域的專有名詞上，以藉此改進翻譯的結果。這樣的技術适合針對一些使用較正规或是較制式化陳述方式的領域。例如政府機關公文或是法律相關文件，這類型的文句通常比一般的文句更加正式與制式化，其機器翻譯的结果通常比日常对话等非正式场合所使用语言的翻译结果更加符合语法。 目前的一些翻译机器，例如AltaVista Babelfish，有時可以得到可以理解的翻译结果，但是想要得到較有意義的翻譯結果，往往需要在輸入語句時適當地編輯，以利電腦程式分析。 但是，機器翻譯的結果好壞，往往取決於譯入及譯出語之間的詞彙、文法結構、語系甚至文化上的差異，例如英语與荷兰语同為印歐語系日耳曼語族，這兩種語言間的機器翻譯結果通常比汉语與英语間機器翻译的結果好。 因此，要改善機器翻譯的結果，人為的介入仍顯相當重要。 一般而言，大眾使用機器翻譯的目的只是為了获知原文句子或段落的要旨，而不是精確的翻譯。總的来说，機器翻譯的效果并没有达到可以取代人工翻译的程度，所以無法成為正式的翻譯。 不過現在已有越來越多的公司嘗試以機器翻譯的技術來提供其公司網站多語系支援的服務。例如微軟公司試將其 MSDN 以機器翻譯來自動翻譯成多國語言，如上文所说，知识库作为专业领域，其文法较为制式化，翻译结果亦更加符合自然语言。.
新！!: 東尼·霍爾和机器翻译 · 查看更多 »
斯里蘭卡
斯里兰卡民主社会主义共和国（ශ්රී ලංකා ප්රජාතාන්ත්රික සමාජවාදී ජනරජය；இலங்கை சனநாயக சோஷலிசக் குடியரசு），通称斯里兰卡（ශ්රී ලංකාව；இலங்கை），1972年之前称锡兰，是位於亞洲南部印度次大陸東南方外海的島國。古代中国曾經稱之為已程不、獅子國、師子國、僧伽羅、楞伽島。 斯里蘭卡是單一制共和國，首都位於斯里賈亞瓦德納普拉科特。.
新！!: 東尼·霍爾和斯里蘭卡 · 查看更多 »
