1965年におけるnull参照の実装は、トニー・ホーア（Tony Hoare）のキャリアにおいて最も引用されるエラーであり続けており、彼はこれを「10億ドルの間違い」と表現した。この告白のほかにも、クイックソートアルゴリズムの開発、プログラム検証のための形式論理、および通信逐次プロセス（CSP）を通じた並行システムの仕様策定など、計算機科学に対する彼の基礎的な貢献は多岐にわたる。
初期教育とソビエト連邦での留学
1934年にコロンボで生まれたトニー・ホーアは、オックスフォードのドラゴン・スクールとカンタベリーのキングズ・スクールで初等・中等教育を受けた。オックスフォード大学マートン・カレッジで古典学と哲学を専攻し、1956年に卒業した。その後のイギリス海軍での兵役期間中に、彼はロシア語の習得を果たした。このスキルにより、ブリティッシュ・カウンシルの交換留学生としてモスクワ大学（モスクワL.V.ロモノーソフ記念国立大学）に滞在し、アンドレイ・コルモゴロフの指導の下で機械翻訳を研究する機会を得た。
アルゴリズムと論理学への貢献
1960年にソビエト連邦を離れた後、ホーアはロンドンのエリオット・ブラザーズ（Elliott Brothers Ltd）に入社した。この時期に、彼はクイックソートアルゴリズムを開発し、ALGOL 60のコンパイラの開発に取り組んだ。その後、学術界へ進み、1968年にはベルファストのクイーンズ大学で計算機科学の教授に就任した。1977年にはオックスフォード大学に戻り、プログラミング研究グループを率いたほか、1988年から2000年に退官するまで初代クリストファー・ストレイチー計算機科学教授を務めた。
形式手法と並行性
ホーアの研究は、ソフトウェアの構造的完全性に焦点を当てていた。彼はプログラムの正当性を検証するための公理的基礎を提供するためにホーア論理を開発した。並行計算の分野では、並行プロセス間の相互作用を指定するために設計された形式言語である通信逐次プロセス（Communicating Sequential Processes: CSP）を導入した。これらの分野における彼の業績は大規模システムにおける信頼性の問題を解決することを目的としていたが、後に彼は、こうした形式手法の産業界での導入には実践上で大きな制限があることを認めた。
専門職としての栄誉と晩年
そのキャリアを通じて、ホーアは1980年のACMチューリング賞、1985年のファラデー・メダル、2000年のナイトの称号をはじめ数多くの栄誉を受けた。彼は王立協会（ロイヤル・ソサイエティ）のフェローであり、全米科学アカデミーやヨーロッパ・アカデミーをはじめとするいくつかの国際的組織の会員であった。オックスフォード大学退官後は、ケンブリッジのマイクロソフト・リサーチで首席研究員を務めた。ホーアは2026年3月5日にケンブリッジで死去した。
基本情報
- 生誕: 1934年、コロンボ - 死去: 2026年、ケンブリッジ - 著名なアルゴリズム: クイックソート - 主な分野: 計算機科学 - チューリング賞受賞年: 1980年 - 主な学術的役職: オックスフォード大学、ベルファスト・クイーンズ大学 - 叙勲: 2000年（ナイト） - 使用言語: ラテン語、英語、ロシア語、古代ギリシャ語
読者からの質問
### 10億ドルの間違いとは何ですか？
ホーアはこの言葉を使って、1965年にALGOL Wの型システムを設計している際に実装したnull参照の発明を表現し、それがシステム全体に広範なエラーを引き起こしたと述べている。
### 通信逐次プロセス（CSP）とは何ですか？
これは、コンピュータシステム内の並行プロセス間の相互作用を指定および記述するためにホーアによって導入された形式言語である。
