アントニー・ホーア

チャールズ・アントニー・リチャード・ホーア（Charles Antony Richard Hoare、1934年1月11日 - ）は、イギリスの計算機科学者。通称はトニー・ホーア（Tony Hoare）またはC・A・R・ホーア。

クイックソート（一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム）の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSP厳密にはCSPには2種類あり、こんにちこの専門分野で一般に言われているCSPは、TCSP（Theoretical CSP）などとも言われる、1985年の書籍で形式的な理論が展開されたものを指す。Occamへの影響は、そちらが全てではなく、1978年にACMの学会誌CACMに掲載されたもの（Communications of the ACM 21(8), pp.666-677 (Aug.1978)、タイトルは書籍と同じ「 Communicating Sequential Processes」）からの影響もある。はプログラミング言語Occamに示唆を与えた。

 経歴 
イギリス領セイロンのコロンボにてイギリス人の両親の元に生まれた。1956年にオックスフォード大学にて西洋古典学の学士号を取得。 その後オックスフォード大に1年残って大学院相当の統計学を学ぶ。1956年から1958年までイギリス海軍で兵役に就く。そしてソビエト連邦のモスクワ大学にてロシア語を学ぶと同時に、自然言語の機械翻訳について研究を始める。

1960年、エリオット・ブラザーズ社という小さなコンピュータ製造会社にて仕事を始め、ここで ALGOL 60 を実装、各種アルゴリズムの開発に本格的に着手する。1968年にはクィーンズ大学ベルファスト校で計算機科学の教授となり、1977年にはオックスフォードに戻ってコンピューティングの教授となり、クリストファー・ストレイチーの死に伴ってオックスフォード大学コンピューティング研究所（現在の計算機科学科）プログラミング研究部門を指揮するようになった。現在彼は同大学の名誉教授であり、イギリスケンブリッジのマイクロソフト リサーチの主任研究者でもある。

主な研究業績としては、ソートアルゴリズム（クイックソート）、ホーア論理、並行プロセスの相互作用などを形式的に記述し、検証などを行える形式体系（formal system）であるCommunicating Sequential Processes（CSP）、モニタの概念を使った構造化オペレーティングシステム、プログラミング言語の公理的意味論などがあるACM Turing Award citation.。

 語録 

有名な「97%ぐらいの場合、小さな効率については考えるべきではない。早まった最適化は諸悪の根源だ。」という引用句はドナルド・クヌースのものであると考えられるKnuth, Donald: Structured Programming with Goto Statements. Computing Surveys 6:4 (1974), 261–301. 。クヌース自身はホーアの言葉だと述べているがThe Errors of Tex, in Software—Practice & Experience, Volume 19, Issue 7 (July 1989), pp. 607–685, reprinted in his book Literate Programming (p. 276)、『文芸的プログラミング』p. 356、ホーア自身はそれを否定しているHoare, a 2004 email.。

また、複雑すぎないソフトウェアシステムを作成する困難さについて次のように述べている。

1995年には独自の考え方を考察している。

2009年のカンファレンスでNull参照を発明したことについて謝罪している。

 栄誉・受賞歴 
 1980年 - "プログラミング言語の定義と設計に対する彼の基礎的な貢献"に対してACMチューリング賞を受賞。同賞は1980年10月27日、テネシー州ナッシュビルで開催されたACM大会にて、同賞の評議会議長であるウォルター・カールソンから授与された。受賞講演の記録は、Communications of the ACM 誌に掲載された。
 1981年 - Harry H. Goode Memorial Award (IEEE Computer Society)
 1982年 - 王立協会フェロー。
 1985年 - ファラデー・メダル
 1987年 - 名誉博士号（クイーンズ大学ベルファスト）
 1993年 - 名誉博士号（バース大学）
 2000年 - ナイトに叙される。
 2000年 - 京都賞先端技術部門
 2005年 - フェロー
 2006年 - コンピュータ歴史博物館フェロー
 2007年 - 名誉博士号（ギリシャの Athens University of Economics and Business）
 2011年 - IEEEフォン・ノイマンメダル
 2023年 - ロイヤル・メダルAntony HoareRoyal Society

 著作 
 Structured Programming. (1972) オーレ＝ヨハン・ダール、エドガー・ダイクストラ との共著、Academic Press. ISBN 0-12-200550-3. 
 Communicating Sequential Processes. (1985) (available online at http://www.usingcsp.com/ in PDF format). Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or  paperback
 Mechanised Reasoning and Hardware Design. (1992)  との共著、Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8. 
 Unifying Theories of Programming. (1998)  との共著、Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8. 

 注釈 

 出典 

 参考文献 



 外部リンク 
  公式ウェブサイト
 Microsoft home page — 略歴
 Oral history interview with C. A. R. Hoare at Charles Babbage Institute, University of Minnesota, Minneapolis.
 List of publications from the DBLP Bibliography Server
 List of publications from the Microsoft Academic Search
 モニタに関する古典的論文 — モニタについての最初の文論
 CSPコンソーシアム

Category:イギリスのプログラミング言語研究者
Category:チューリング賞受賞者
Category:ロイヤル・メダル受賞者
Category:京都賞先端技術部門受賞者
Category:形式手法の人物
Category:王立協会フェロー
Category:米国科学アカデミー外国人会員
Category:コンピュータ歴史博物館フェロー
Category:ヨーロッパ・アカデミー会員
Category:バイエルン科学アカデミー会員
Category:ナイト・バチェラー
Category:クイーンズ大学ベルファストの教員
Category:オックスフォード大学の教員
Category:マイクロソフトリサーチの人物
Category:コロンボ出身の人物
Category:モスクワ大学出身の人物
Category:オックスフォード大学マートン・カレッジ出身の人物
Category:1934年生
Category:存命人物
Category:アッカデーミア・デイ・リンチェイ会員