比浏览器更快的访问！
31 关系: ALGOL，ALGOL W，并发计算，交談循序程式，京都獎，微軟研究院，快速选择，快速排序，八皇后问题，图灵奖，约翰·冯诺依曼奖，结构化编程，羅蘭·卡爾·巴克豪斯，牛津大学，牛津大学凯洛格学院，牛津大學基布爾學院，牛津大學墨頓學院，莫斯科国立大学，计算机科学家列表，边界检查，霍尔逻辑，Go，Limbo，Newsqueak，Occam，Pascal (程式語言)，Simula，比尔·罗斯科，斷言 (程式)，12，1月11日。
ALGOL
ALGOL，名稱源自演算法語言（ALGOrithmic Language）的縮寫，是一族指令式編程語言，發展於1950年代中期，對許多其它程式語言產生了重大影響。计算机协会在教科書及學術文章採用此語言做為描述演算法的標準語法超過三十年。 由大多數近代程式語言皆使用類似ALGOL的語法來看，ALGOL可與差不多同時期的FORTRAN、LISP及COBOL並列為四大最有影響力的高階語言。ALGOL被設計用來避免FORTRAN中一些已知的問題，最終引領了許多其它程式語言的興起，包括PL/I、Simula、BCPL、B、Pascal及C。 ALGOL引入了程式碼區間，並用begin⋯end來分隔。它是第一個利用詞法作用域實作巢狀函式的語言，也是第一個注重形式語言定義的語言，並在ALGOL 60報告中引入了巴科斯範式來作為設計語言形式文法的原則。 ALGOL主要有三種規格，以初次發表的年份命名：.
新！!: 東尼·霍爾和ALGOL · 查看更多 »
ALGOL W
ALGOL W，一種程式語言，為ALGOL家族的一份子。它基於尼克勞斯·維爾特與東尼·霍爾在IFIP Working Group 2.1提出的ALGOL X草案而設計，希望能作為ALGOL 60的後繼者。經過小幅度的修改，在史丹福大學，尼克勞斯·維爾特利用IBM/360機器，實作出第一版的ALGOL W。 它的編譯器是用尼克勞斯·維爾特所設計的PL360組語所寫成。 Category:程序设计语言 Category:ALGOL程式語言家族.
新！!: 東尼·霍爾和ALGOL W · 查看更多 »
并发计算
并发计算（Concurrent computing，或譯為並行處理、共時計算），是一種程式計算的形式，在系統中，至少有兩個以上的計算在同時運作，計算結果可能同時發生。用來實作並行系統（Concurrent system）的程式語言與各種演算法，統稱為並行計算。 並行程式通常被設計為互動式的運算過程，因為它的運算過程是不確定的，在設計上的難度較高。設計並行程式最大的挑戰，在於確保不同運算執行步驟間的互動或是通訊，能以正確的順序進行，同時，也要確保在不同執行步驟間共享的資源，能夠正確被存取。在這個領域的先驅人物有艾兹赫尔·戴克斯特拉、東尼·霍爾與泊·派克·漢森等人。.
新！!: 東尼·霍爾和并发计算 · 查看更多 »
交談循序程式
交--談循序程式（Communicating sequential processes，縮寫為CSP），又譯為通--信顺序进程、交換訊息的循序程式，一種形式語言，用來描述並行性系統間進行互動的模式。最早起源於東尼·霍爾在1978年發表的論文。交談循序程式高度影響了Occam的設計，也影響了如Limbo與Go等程式語言。.
新！!: 東尼·霍爾和交談循序程式 · 查看更多 »
京都獎
京都獎（日語：京都賞）是一個頒發給在科學、技術、文化等領域有重大貢獻的國際獎項，從1984年開始頒發，包含尖端科技部門（Kyoto Prize in Advanced Technology）、基礎科學部門、思想・藝術部門等三個領域，各領域下再各細分為四種分野，每年輪流頒發一種獎項。稻盛和夫設立的財團法人稻盛基金會負責頒發京都獎。.
微軟研究院
微軟研究院（Microsoft Research，縮寫为MSR）是微軟公司在1991年創立硏究不同的计算机科学主題與問題的分部。微軟研究院其中一個固定的目標為「支持長期的電腦科學硏究而不受產品週期所限」。 微軟研究院是目前世界頂尖的研究中心之一，有很多在電腦科學、物理學、數學受到高度公認的專家及許多著名科學獎項得主在微軟研究院，包括圖靈獎得主東尼·霍爾、詹姆斯·尼古拉·格雷，菲爾茲獎得主Michael Freedman，沃爾夫獎得主Laszlo Lovasz，MacArthur Fellow獎金得主Jim Blinn與Dijkstra Prize獎得主Leslie Lamport。.
新！!: 東尼·霍爾和微軟研究院 · 查看更多 »
快速选择
在计算机科学中，快速选择（Quickselect）是一种从无序列表找到第k小元素的选择算法。它从原理上来说与快速排序有关。与快速排序一样都由托尼·霍尔提出的，因而也被称为霍尔选择算法。 同样地，它在实际应用是一种高效的算法，具有很好的平均时间复杂度，然而最坏时间复杂度则不理想。快速选择及其变种是实际应用中最常使用的高效选择算法。 快速选择的总体思路与快速排序一致，选择一个元素作为基准来对元素进行分区，将小于和大于基准的元素分在基准左边和右边的两个区域。不同的是，快速选择并不递归访问双边，而是只递归进入一边的元素中继续寻找。这降低了平均时间复杂度，从O(n log n)至O(n)，不过最坏情况仍然是O(n2)。 与快速排序一样，快速选择一般是以原地算法的方式实现，除了选出第k小的元素，数据也得到了部分地排序。.
新！!: 東尼·霍爾和快速选择 · 查看更多 »
快速排序
快速排序（Quicksort），又稱劃分交換排序（partition-exchange sort），簡稱快排，一種排序算法，最早由東尼·霍爾提出。在平均狀況下，排序 n 個項目要 \ O (n\log n) （大O符号）次比較。在最壞狀況下則需要 O (n^2) 次比較，但這種狀況並不常見。事實上，快速排序 \Theta(n\log n) 通常明顯比其他演算法更快，因為它的內部循环（inner loop）可以在大部分的架構上很有效率地達成。.
新！!: 東尼·霍爾和快速排序 · 查看更多 »
八皇后问题
八皇后问题是一个以国际象棋为背景的问题：如何能够在8×8的国际象棋棋盘上放置八个皇后，使得任何一个皇后都无法直接吃掉其他的皇后？为了达到此目的，任两个皇后都不能处于同一条横行、纵行或斜线上。八皇后问题可以推广为更一般的n皇后摆放问题：这时棋盘的大小变为n×n，而皇后个数也变成n。当且仅当n.
新！!: 東尼·霍爾和八皇后问题 · 查看更多 »
图灵奖
图灵奖（ACM A.M. Turing Award），又譯杜林獎、A.M.图灵奖，是计算机协会（ACM）于1966年设立的獎項，专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵（A.M. Turing），这个奖设立目的之一是纪念这位現代计算机科學的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。 图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。2014年11月13日，虽然英特尔退出赞助，Google反而将奖金提高到1,000,000美元，和诺贝尔奖奖金相近。 每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。.
约翰·冯诺依曼奖
IEEE約翰·馮·諾伊曼獎章（IEEE John von Neumann Medal）由IEEE成立於於1990年，目的是表扬在計算機科學和技術上具有傑出成就的科學家。該獎項以對計算機科學具有重大貢獻的現代計算機創始人之一約翰·馮·諾伊曼命名。.
新！!: 東尼·霍爾和约翰·冯诺依曼奖 · 查看更多 »
结构化编程
結構化程式設計（Structured programming），一種編程典範。它採用子程序、、for迴圈以及while迴圈等結構，來取代傳統的 goto。希望藉此來改善计算机程序的明晰性、品質以及開發時間，並且避免寫出麵條式代碼。 結構化程式設計在1960年代開始發展，及朱塞佩·賈可皮尼（Giuseppe Jacopini）於1966年5月在《Communications of the ACM》期刊發表論文，說明任何一個有goto指令的程式，可以改為完全不使用goto指令的程式，後來艾兹赫尔·戴克斯特拉在1968年也提出著名的論文《GOTO陳述有害論》（Go To Statement Considered Harmful），，因此結構化程式設計開始盛行，此概念理論上可以由結構化程式理論所證明，而在實務上，當時也有像ALGOL一樣，有豐富控制結構的程式語言來實現結構化程式設計。.
新！!: 東尼·霍爾和结构化编程 · 查看更多 »
羅蘭·卡爾·巴克豪斯
羅蘭·卡爾·巴克豪斯（Roland Carl Backhouse，）是一个英国计算机科学家和数学家，当前在诺丁汉大学担任教授。.
新！!: 東尼·霍爾和羅蘭·卡爾·巴克豪斯 · 查看更多 »
牛津大学
牛津大學（University of Oxford；非正式：Oxford University，或：Oxford；勳銜簡稱：Oxon）位於英格蘭牛津市。是一所世界聞名的公立研究型書院聯邦制大學。它是英語世界歷史最悠久的大學，也是世上現存第二古老持續辦學的高等教育機構。雖然大學的實際創立日期難以考證，但授課紀錄最晚可上溯到1096年。 牛津大學的師生人數自1167年亨利二世禁止英國學生前往巴黎大學就學後就開始迅速上升。1209年，牛津師生與鎮民的衝突使一些牛津學者另闢蹊徑，他們遷離至東北方的劍橋鎮並成立後來的劍橋大學。這兩所古老的大學在辦學模式、管理架構等各方面都非常相似，兩校同時展開相當悠久的競爭歲月，故常被合稱為「牛劍」。 牛津大學由38所獨立書院及4所學術學院組成。 各個書院為獨立的行政機構並隸屬於大學。它們有自己的管理架構、收生以及學生活動安排；而學術學院則負責安排教職員講課及指導研究項目，另負責編制課程及給予學術指引。牛津大學並沒有獨立於城鎮的主校區，大樓和設施散見整個牛津鎮。 大學的本科教育包括書院的每週輔導課程，以及由學術學院提供的學科課程。上課地點除了書院外，還包括由校方提供的講堂、課室及實驗室。牛津大學同時為兩個著名獎學金計劃的舉辦地：一為於2001年設立的克拉倫登獎學金；另一為羅德獎學金。牛津同時擁有全球最具規模的大學出版社，及全英最大型的大學圖書館系統。牛津大學培養眾多社會名人，當中包括26位英國首相、29位諾貝爾獎得主（只計算學生；連教職員計算則達69位）、6位图灵奖得主及多國領袖與政治要員。。牛津大学在数学、物理、医学、法学、商学、文學等多个领域拥有崇高的学术地位及广泛的影响力，被公认为是当今世界最顶尖的高等教育机构之一.
新！!: 東尼·霍爾和牛津大学 · 查看更多 »
牛津大学凯洛格学院
凱洛格學院（英語：Kellogg College）是英國牛津大學的第36個學院，由W·K·凱洛格基金會資助建立。1994年成為正式學院，其名稱是爲了紀念美國資本家威爾·基斯·凱洛格（1860年–1951年）。它也是牛津大學最大、最國際化的研究生學院之一。 這一學院的歷史可以追溯到1870年代的大學擴張運動。: Lectures and seminars, by guest lecturers, at Kellogg College.
新！!: 東尼·霍爾和牛津大学凯洛格学院 · 查看更多 »
牛津大學基布爾學院
基布爾學院（Keble College）又稱喀比爾學院、客白尔學院或者奇博學院，乃為紀念牛津運動核心人物約翰·基布爾，以英國浪漫主義詩人威廉·华兹华斯詩句「朴素生活，高尚思考」為格言，於19世紀牛津大學博物館正對面空地為學院用地而創建的牛津大學學院。 基布爾學院為牛津大學最大的学院之一，其红砖建筑使该学院外观与众不同，位于牛津城市中心的牛津大學自然史博物館正對面，為2012年世界羊驼大會於此學院場地舉辦。.
新！!: 東尼·霍爾和牛津大學基布爾學院 · 查看更多 »
牛津大學墨頓學院
墨頓學院（英文：Merton College, Oxford），位于牛津市墨頓街，是牛津大學最古老的学院之一，建立于1264年，以悠久的歷史、出色的學術著稱。.
新！!: 東尼·霍爾和牛津大學墨頓學院 · 查看更多 »
莫斯科国立大学
莫斯科国立米哈伊尔·瓦西里耶维奇·罗蒙诺索夫大学（Московский государственный университет имени М. В. Ломоносова），简称莫斯科国立罗蒙诺索夫大学、莫斯科国立大学、莫斯科大學（МГУ），是俄罗斯最大和历史最悠久的大学，于1755年建校。2004年该大学有约4000名讲师、31000名大学生和7000名进修生。.
新！!: 東尼·霍爾和莫斯科国立大学 · 查看更多 »
计算机科学家列表
這一列表列出最著名的電腦科學家。.
新！!: 東尼·霍爾和计算机科学家列表 · 查看更多 »
边界检查
边界检查在程序设计中是指在使用某一个变量前，检查该变量是否处在一个特定范围之内。最常见的是数组的下标检查，防止下标超出数组范围而覆盖其他数据。 若是边界检查未能有效发现错误，最常见的结果是程序出现异常并终止运行，但也可能出现其他现象。 由于每次都进行边界检查非常耗时，而且有些代码确定不会出现越界问题，所以这个操作并不总是需要被执行。一些现代编译器中有称为选择性边界检查的技术，可以略去一些常见的不需要的边界检查，从而提高程序的性能。.
新！!: 東尼·霍爾和边界检查 · 查看更多 »
霍尔逻辑
霍爾邏輯（Hoare Logic），又稱弗洛伊德-霍爾邏輯（Floyd–Hoare logic），是英国计算机科学家東尼·霍爾开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理來替计算机程序的正确性提供一组逻辑规则。 這個想法起源於罗伯特·弗洛伊德於較早的研究，他为流程图提供了类似的系统。東尼·霍爾於1969年首次發表，随后为其他研究者所精制。.
新！!: 東尼·霍爾和霍尔逻辑 · 查看更多 »
Go
Go（又稱Golang）是Google開發的一种静态强类型、編譯型、-zh-hant:並發型;zh-hans:并发型-，并具有垃圾回收功能的编程语言。 ，羅勃·派克（Rob Pike）及肯·汤普逊於2007年9月开始设计Go，，稍後Ian Lance Taylor、Russ Cox加入專案。Go是基於Inferno作業系統所開發的。Go於2009年11月正式宣布推出，成為開放原始碼專案，并在Linux及Mac OS X平台上进行了實現，后来追加了Windows系统下的实现。 目前，Go每半年发布一个二级版本（即从a.x升级到a.y）。.
Limbo
Limbo，一種用於分散式系統的程式語言，在Inferno作業系統中，用它來寫作應用程式。它起源於貝爾實驗室，由西恩·都華（Sean Dorward），菲爾·溫特伯（Phil Winterbottom）與羅勃·派克（Rob Pike）設計研發。 它的平行運算模式，受到東尼·霍爾的交談循序程式所啟發。.
新！!: 東尼·霍爾和Limbo · 查看更多 »
Newsqueak
Newsqueak，一種並行性程式語言，可在視窗系統上撰寫應用程式。它在1980年代末期在貝爾實驗室被開發出來，設計者為羅勃·派克。在語法上，它受到C語言的影響，但它在進行平行運算時，則受到東尼·霍爾的交談循序程式所啟發。 它的前身是Squeak，由Luca Cardelli與羅勃·派克設計的程式語言，可以用於實做图形用户界面（GUI）。.
新！!: 東尼·霍爾和Newsqueak · 查看更多 »
Occam
Occam，一種并行性程式語言，主要基於交談循序程式的程式代數，以及它的許多特色而實作。它的名稱來自於奥卡姆的威廉提出的奥卡姆剃刀（Occam's razor）原則。 類似於Pascal，Occam也是一種指令程序編程的程式語言。這個語言於1983年出現，由英國計算機科學家David May，以及Inmos的科學家，在東尼·霍爾提供顧問意見後，共同研發而成。.
新！!: 東尼·霍爾和Occam · 查看更多 »
Pascal (程式語言)
Pascal是一个有影响的面向对象和面向过程编程语言，由尼克劳斯·维尔特在1968年9月设计，在1970年发行，作为一个小型的和高效的语言，意图鼓励使用结构化编程和数据结构进行良好的编程实践。 称作Object Pascal的一个衍生是为面向对象编程设计的。.
新！!: 東尼·霍爾和Pascal (程式語言) · 查看更多 »
Simula
Simula，一種編譯式的程式語言，在1960年代在奧斯陸的挪威電子計算中心（Norwegian Computing Center）開始被發展出來，主要的設計者是奧利-約翰·達爾（Ole-Johan Dahl）與克利斯登·奈加特。被開發了Simula I與Simula 67兩代。它承繼了ALGOL 60的基礎，被認為是第一個物件導向程式設計的程式語言。 Simula影響了Smalltalk以及接下來所有的物件導向程式設計程式語言，如比雅尼·斯特劳斯特鲁普在設計C++語言時，將許多Simula 67的特性引入C++之中。.
新！!: 東尼·霍爾和Simula · 查看更多 »
比尔·罗斯科
安德鲁·威廉·"比尔"·罗斯科（Andrew William "Bill" Roscoe；），是一个苏格兰计算机科学家。他在2004年至2014年间担任牛津大学计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究員。 罗斯科教授的研究领域是并发理论，特别是和東尼·霍爾一起研究用于构建Communicating Sequential Processes（CSP）的语义及其相关的occam programming language。他和别人共同创建了正規系統（歐洲）有限公司（Formal Systems (Europe) Limited）并且研究（FDR）工具的算法。.
新！!: 東尼·霍爾和比尔·罗斯科 · 查看更多 »
斷言 (程式)
在程式設計中，斷言（assertion）是一種放在程式中的一階邏輯（如一個結果為真或是假的邏輯判斷式），目的是為了標示與驗證程式開發者預期的結果－當程式執行到斷言的位置時，對應的斷言應該為真。若斷言不為真時，程式會中止執行，並給出錯誤訊息。 例如，以下的程式包括二個斷言： x.
新！!: 東尼·霍爾和斷言 (程式) · 查看更多 »
12
12（十二）是11与13之间的自然数。.
1月11日
1月11日是公历年的第11天，离一年的结束还有354天（闰年是355天）。.
新！!: 東尼·霍爾和1月11日 · 查看更多 »
