トニー・ホーア

お客様 トニー・ホーア FRS FREng
2011年のトニー・ホーア
生まれる	チャールズ・アントニー・リチャード・ホーア ( 1934-01-11 )1934年1月11日（90歳） コロンボ、イギリス領セイロン
教育	オックスフォード大学( BA、MA ) モスクワ国立大学
知られている	クイックソート クイック選択 ホーア論理 ヌル参照 連続プロセスの伝達 構造化プログラミング アルゴル
配偶者	ジル・ピム
子供たち	3
受賞歴	チューリング賞(1980) ハリー・H・グッド記念賞(1981) ファラデー賞(1985) コンピュータパイオニア賞(1990) 京都賞(2000) IEEE ジョン・フォン・ノイマン賞(2011) ロイヤルメダル(2023)
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	エリオット兄弟 クイーンズ大学ベルファスト オックスフォード大学 モスクワ国立大学 マイクロソフトリサーチ
博士課程の学生	クリフ・ジョーンズ[1] ビル・ロスコー[1] アウグスト・サンパイオ[2]
Webサイト	www.cs.ox.ac.uk/people/tony.hoare

サー・チャールズ・アントニー・リチャード・ホーア FRS FREng [ ^{3] は、}トニー・ホーアあるいはイニシャルのCARホーア（/ h ɔːr /、1934年1月11日生まれ）としても知られるイギリスのコンピュータ科学者であり、プログラミング言語、アルゴリズム、オペレーティングシステム、形式検証、並行コンピューティングの分野に基礎的な貢献をしました。^{[4]彼の業績により、1980年にコンピュータサイエンスにおける最高の栄誉とされる}チューリング賞を受賞しました。

ホーアは1959年から1960年にかけてソートアルゴリズムの クイックソートを開発した。 ^[5]彼はプログラムの正しさを検証するための公理的根拠であるホーア論理を開発した。並行性の意味論では並行プロセスの相互作用を指定するための形式言語通信順次プロセス（CSP）を導入し、エドガー・ダイクストラとともに食事哲学者問題を定式化した。^{[6] [7] [8] [9] [10] [11] 1977年以来、}オックスフォード大学とケンブリッジのマイクロソフト研究所で役職を務めている。

トニー・ホーアは、セイロン（現スリランカ）のコロンボでイギリス人の両親のもとに生まれた。父親は植民地公務員、母親は茶園主の娘だった。ホーアはイギリスのオックスフォードにあるドラゴン・スクールとカンタベリーにあるキングス・スクールで教育を受けた。^[12]その後、オックスフォードのマートン・カレッジで古典と哲学（「偉人」）を学んだ。^[13] 1956年に卒業すると、イギリス海軍で18か月の兵役に就き、^[13]そこでロシア語を学んだ。^{[14] 1958年に}オックスフォード大学に戻り、統計学の大学院資格を取得。 ^[13]ここで、レスリー・フォックスからフェランティ・マーキュリーのオートコードを教わり、コンピュータプログラミングを始めた。^{[15]その後、}ブリティッシュ・カウンシルの交換留学生としてモスクワ国立大学に行き、 ^[13]アンドレイ・コルモゴロフのもとで機械翻訳を学んだ。^[14]

1960年、ホーアはソ連を離れ、ロンドンにある小さなコンピュータ製造会社であるエリオット・ブラザーズ社^[13]で働き始めた。そこで彼はALGOL 60言語を実装し、主要なアルゴリズムの開発を始めた。^{[16] [17]}

彼は、国際情報処理連盟（IFIP）アルゴリズム言語および計算に関するワーキンググループ2.1のメンバーとして、プログラミングと情報学の国際標準の開発に携わりました。 ^[18]このワーキンググループでは、ALGOL 60とALGOL 68言語の仕様策定、保守、サポートを行っています。^[19]

彼は1968年にベルファストのクイーンズ大学の計算機科学の教授となり、1977年にクリストファー・ストラチーの死去に伴い、計算機科学の教授としてオックスフォードに戻り、オックスフォード大学計算機研究所（現オックスフォード大学計算機科学部）のプログラミング研究グループを率いた。彼は1988年の設立時にクリストファー・ストラチー計算機科学教授となり、2000年にオックスフォードで退職するまでその職を務めた。 ^[20]彼は現在同大学の名誉教授であり、イギリス・ケンブリッジのマイクロソフト研究所の主席研究員でもある。^{[21] [22] [23]}

ホーアの最も重要な研究は、ソートおよび選択アルゴリズム（クイックソートとクイックセレクト）、ホーア論理、並行プロセス間の相互作用を指定するために使用される順次プロセス通信形式言語（CSP）（オッカムなどのさまざまなプログラミング言語で実装されています）、モニター概念を使用したコンピュータオペレーティングシステムの構造化、プログラミング言語の公理的仕様などです。^{[24] [25]}

2009年のソフトウェアカンファレンスで講演したトニー・ホーアは、ヌル参照を「発明した」ことについて大げさに謝罪した。^{[26] [27]}

私はこれを 10 億ドルのミスと呼んでいます。それは 1965 年のヌル参照の発明でした。当時、私はオブジェクト指向言語 ( ALGOL W ) における参照のための最初の包括的な型システムを設計していました。私の目標は、すべての参照の使用が絶対に安全で、チェックはコンパイラによって自動的に実行されるようにすることでした。しかし、実装が非常に簡単であるという理由だけで、ヌル参照を入れたいという誘惑に抗うことができませんでした。これにより、無数のエラー、脆弱性、システムクラッシュが発生し、過去 40 年間でおそらく 10 億ドルの苦痛と損害が発生しました。^[28]

ホーアの指導の下、オックスフォード大学の学部では長年にわたりCSPやZなどの形式仕様言語の開発に取り組んできた。しかし、これらの言語は産業界に期待されたほど普及せず、1995年にホーアは当初の想定を振り返ることになった。^[29]

10 年前、形式手法の研究者たちは (その中で最も間違っていたのは私でした)、プログラムが大規模になり安全性が重要になるにつれて生じる信頼性の問題を解決するために形式化によって約束されるあらゆる支援をプログラミングの世界が感謝の気持ちで受け入れるだろうと予測しました。プログラムは現在、非常に大規模で非常に重要になっています。形式手法で楽に取り組むことができる規模をはるかに超えています。多くの問題や失敗がありましたが、これらはほとんどの場合、要件の分析が不十分であったり、管理制御が不十分であったりすることが原因でした。私たちの研究が当初解決しようとしていた種類の問題が、世界に大きな影響を与えていないことが判明しました。

ホーアの90歳の誕生日を記念して記事が書かれた。^[30]

1962年、ホーアは研究チームのメンバーであったジル・ピムと結婚した。 ^[45]

• Dahl, O.-J. ; Dijkstra, EW ; Hoare, CAR (1972).構造化プログラミング. Academic Press . ISBN 978-0-12-200550-3. OCLC  23937947。
• CAR Hoare (1985)。『Communicating Sequential Processes』。Prentice Hall International Series in Computer Science。ISBN 978-0131532717 (ハードカバー) またはISBN 978-0131532892 (ペーパーバック)。(PDF 形式で http://www.usingcsp.com/ からオンラインで入手可能。)  
• Hoare, CAR (1989)。CB, Jones (編)。コンピューティング サイエンスに関するエッセイ。Prentice Hall International Series in Computer Science。ISBN 978-0-13-284027-9。
• Hoare, CAR; Gordon, MJC (1992)。機械化された推論とハードウェア設計。Prentice Hall International Series in Computer Science。ISBN 978-0-13-572405-7. OCLC  25712842.
• Hoare, CAR; He , Jifeng (1998)。プログラミング理論の統一。Prentice Hall International Series in Computer Science。ISBN 978-0-13-458761-5. OCLC  38199961.

 この記事には、CC BY 4.0 ライセンスに基づいて利用可能なテキストが組み込まれています。

ウィキメディア・コモンズには、 CAR Hoareに関連するメディアがあります。

Wikiquote にTony Hoareに関する引用があります。

• 公式サイト