アントニー・ホーア
出典: フリー百科事典『ウィキペディア（Wikipedia）』
チャールズ・アントニー・リチャード・ホーア卿（Sir Charles Antony Richard Hoare、もしくはトニー・ホーア（Tony Hoare）, 1934年1月11日-）はイギリスの計算機科学者。1960年にクイックソートを開発したことで最もよく知られる。これは世界で最も広く使われているソートアルゴリズムであり、恐らくあらゆる種類のアルゴリズムの中でも、世界で最も広く使われているものであろう。
彼はまたホーア論理や、形式言語の1つで並行プロセス間の通信を記述するのに使われるCommunicating Sequential Processes（CSP）の開発、またプログラミング言語Occamに示唆を与えた事でも知られる。
彼はスリランカのコロンボにてイギリス人の両親の元に生まれた。1956年にオックスフォード大学にて古典文学の学士号を取得。 その後オックスフォード大に1年残って大学院相当の統計学を学び、そしてロシアにて自然言語の機械翻訳について研究を始める。1960年、エリオット・ブラザーズ社という小さなコンピュータ製造会社にて仕事を始め、ここでALGOL60を実装、各種アルゴリズムの開発に本格的に着手する。1968年にはクィーンズ大学ベルファスト校で計算機科学の教授となり、1977年にはオックスフォードに戻ってコンピューティングの教授となる。現在彼は同大学の名誉教授であり、イギリスケンブリッジのマイクロソフト リサーチのシニア リサーチャーである。
1980年、"プログラミング言語の定義と設計に対する彼の基礎的な貢献"に対してACMのチューリング賞を受賞。同賞は1980年10月27日、テネシー州ナッシュビルで開催されたACM大会にて、同賞の評議会議長であるウォルター・カールソンから授与された。
ホーア論理は彼の名をとっている。
[編集] 語録
チューリング賞の受賞講演[1]を行ったとき、ホーアは次のような、よく引用されるユーモラスな主張を行っている。
- 「私が結論付けたところによれば、ソフトウェアを設計するには2通りの方法がある。1つはとてもシンプルに設計して、明らかに欠陥がないようにすること。もう1つは、とても複雑に設計して明らかな欠陥がないようにすることだ。」
[編集] 外部リンク
- 略歴
- The 1980 ACM Turing Award Lecture(PDF) - ホーア卿の講演録
- CSPコンソーシアム
