- クイックソート（Quicksort） と Hoare論理で知られる計算機科学者トニー・ホーアが92歳で逝去
- 古典学と哲学を専攻した後、ロシア語訓練と初期コンピュータのデモンストレーション業務を経て、プログラミング研究に参加
- エピソードとして、上司との**「6ペンスの賭け」**でクイックソートの優秀さを証明した話や、Microsoft在職中に映画館によく通っていた習慣が紹介される
- 彼は謙虚でユーモラスな性格、そして高齢になっても明晰な記憶力と知的な鋭さを保った人物として描かれている
- 計算機科学の発展に残した彼の業績と人間的な魅力は、世代を超えた研究者たちに継続的なインスピレーションを与え続ける存在である
トニー・ホーアの生涯と業績
- 2026年3月5日、チューリング賞受賞者でありオックスフォード大学教授だったトニー・ホーアが92歳で逝去
- 彼はクイックソートアルゴリズム、ALGOL言語、Hoare論理など、計算機科学の中核概念を生み出した人物として評価されている
- 筆者はケンブリッジでホーアを何度も訪ね、個人的な交流を持ったと明かしている
- 初対面ではブログ記事を印刷して持参し会話を始め、ホーアは自らの研究に言及した箇所を覚えていて、プログラム規模の急激な拡大と初期の研究手法との違いを説明した
学問的背景と初期キャリア
- ホーアは大学で古典学と哲学を専攻し、その後Joint Services School for Linguistsでロシア語を集中的に学んだ
- 統計とコンピュータへの関心から、軍務後は初期コンピュータのデモンストレーター（demonstrator）として働き、とくにソ連を含む国際展示会で活動した
- 彼は当時のデモンストレーターが単なる説明役ではなく、機械のコード開発にも関与するほど深く理解した専門家だったと回想している
クイックソートの賭けと職業的態度
- Elliott Brothers Ltd在職時、上司に自分はもっと速いソートアルゴリズムを知っていると話し、6ペンスの賭けを提案したという逸話が紹介される
- クイックソートの方が実際に速いことが証明され、賭け金も本当に支払われたという
- 彼は上司の指示に従って遅いアルゴリズムを先に実装したうえで、自分のアイデアを示しており、専門家としての謙虚さと誠実さを見せている
人柄と日常
- ケンブリッジのMicrosoftで勤務していた時期には、勤務中にアート系の映画館を訪れて映画を楽しむ習慣があったという
- これについて彼は「それが自分の楽しみの一つであり、会社でも許されていた」と自ら認めた
- 映画における「天才」の描写に関するオンライン上の引用が自分のものとされている件について、実際に自分の発言かは不確かだが内容には共感すると述べている
- 彼は数学的能力とは、映画のような瞬間的ひらめきではなく、長年の思考と学習の結果なのだと強調した
技術と未来に対する見解
- 未来のコンピュータ発展についての会話で、彼は「政府が保有する技術は、私たちが想像するより何年も先を行っている」と語った
- 暗号解読レベルの技術の可能性について問われると、明確な答えは避けて微笑みで受け流し、ユーモアと風刺を好む姿勢を見せたという
- 筆者は彼のユーモア、忍耐、鋭い知性を惜しみつつ文章を締めくくる
- 「RIP Tony Hoare (1934–2026)」として追悼を捧げている
1件のコメント
Hacker Newsのコメント
私が最も好きな引用の1つは、「ソフトウェア設計を構成する方法は2つある。1つは欠陥が明らかに存在しないほど単純にすること、もう1つは欠陥が明らかに見えないほど複雑にすること」という言葉です
これはソフトウェアだけでなく、複雑なシステムや論理全般にも当てはまるといつも思っています
1つ目の方法ははるかに難しく、物理的・論理的制約の中で単純さを追求する献身と洞察が必要だと言っています
この内容は彼のチューリング賞講演 "The Emperor’s Old Clothes" にあります
私はその言葉をよく引用します。Tonyは私が最も好きなコンピュータ科学者です
関連リンク
Dijkstraが人生の終わりを準備しながら文書と書簡を整理していたときの話です
ある教授がどの書簡を残すのかと尋ねると、Dijkstraは病床で「Tonyとの手紙だけ残して、あとは捨ててくれ」と言ったそうです
その教授は自分の手紙もその「捨てる山」に入っていたと、乾いたユーモアで回想していました
関連リンク
オックスフォードには重要人物の名前を建物につける伝統があります
Hoare博士にも建物名をつけようとしたのですが、"Hoare House"（発音が "whore" と同じ）になってしまい気まずかったそうです
結局、"C.A.R. Hoare Residence" に落ち着いたと記憶しています
関連リンク
昼夜を問わず男子学生が出入りするのを見た近所の食堂の人たちが怪しんでいたのですが、そのとき "Hoare House" と名付けていたら本当に面白かったと思います
彼の研究が混乱を減らす同期通信システムに関するものだったという点で、名前の取り違えすらある意味では象徴的です
null pointerで有名ですが、CSP(Communicating Sequential Processes) と occamこそが本当の傑作でした
Actorモデル陣営は違う見方をするかもしれませんが、それでもなお偉大な業績です
私が最も好きな彼の引用は「ソフトウェアを作る方法は2つある…」です。本当に彼にふさわしい言葉です
一時は主流化に失敗しましたが、まもなく再び復活すると信じています
生成コードの時代には検証がボトルネックなので、彼はただ正しすぎるのが早すぎただけなのです
トランザクショナルメモリ やデータベースに触発されたアプローチの方が可能性があります
私はオックスフォードのPRG(Programming Research Group)でDPhilの面接をTonyにしてもらいました
CSP関連の研究をしながら彼と多くの時間を過ごしました
今やTonyHoareプロセスがSTOP状態になってしまったと考えると悲しいです
一度ケンブリッジで彼に会ったことがあります。本当に穏やかな知性の巨人でした
彼の1980年のチューリング賞講演『The Emperor’s Old Clothes』から次の一節をよく引用します
「君は、自分が理解していない仕事をプログラマたちにやらせたのだ」という上司の叱責が、結局は問題の本質を突いていたという話です
私の解釈では、私たちがプログラマに、コンパイラに、あるいはLLMに仕事を委ねるとしても、結果を理解していなければ結局その代償を払うことになるのです
1961年のイースターの頃、Brightonで開かれたALGOL 60講座でDijkstra、Naur、Landinから学んだそうです
その場で再帰(recursion) を初めて学び、Quicksortを書きました
ALGOL 60設計者たちの天才性のおかげで、自分のアイデアを優雅に表現できたと回想しています
彼はプログラミング言語設計の最高目標を、「良いアイデアを優雅に表現できるようにすること」だと考えていました
Tonyの論文 An Axiomatic Basis for Computer Programming は、私が学部時代に初めて完全に理解できた学術論文でした
その経験が私に自信を開いてくれたきっかけでした
35年が過ぎた今では記号を読み直すのが難しいですが、AIに段落ごとに説明してもらいながら改めて勉強してみるつもりです
論文リンク
NotebookLMリンク
30年後の回顧論文 Retrospective: An Axiomatic Basis For Computer Programming
そして「How Did Software Get So Reliable Without Proof?」 PDFリンク
「配列インデックスは常に上限と下限を検査すべきだ」という彼の原則が印象的でした
顧客も効率より安全なランタイム検査を望んでいたそうです
彼は1980年にも「こうした基本的な安全性すら無視するのは、他の工学分野なら違法であるはずだ」と警告していました
— C.A.R. Hoare, 1980 ACM Turing Award Lecture
MSR Cambridgeのイベントで、ある登壇者が「今の時代、年を取った開発者は取り残される」と言ったとき、
1人の老紳士が立ち上がって静かに「私たちも少しくらいは分かっていますよ」と言いました
その人こそがTony Hoareでした