ハクソク

世界を動かす技術を、日本語で。

トニー・ホアが亡くなりました

50日前原文(blog.computationalcomplexity.org)

概要

  • Tony Hoare（Turing Award受賞者、元Oxford教授）が2026年3月5日に92歳で逝去
  • quicksortやHoare論理など計算機科学への多大な貢献
  • 著者Jim Milesによる個人的な思い出とエピソードの紹介
  • Hoareの謙虚さやユーモア、プロフェッショナリズムが印象的
  • 生涯を通じての幅広い興味と人間的魅力の回顧

Tony Hoare追悼と個人的回想

  • Tony Hoareは2026年3月5日、92歳で逝去
  • quicksortアルゴリズム、ALGOL、Hoare論理など計算機科学への革新的貢献
  • 業績は多くの書籍や記事で広く解説済み
  • 著者Jim MilesはHoareとの個人的な交流を通じ、彼の人柄を紹介
  • Cambridge在住で、家族同士の縁からHoareと知り合う機会を得た
  • 初対面時、Hoareの業績をまとめたブログ記事を持参し、会話の糸口に
  • Hoareは内容に笑顔で応じ、プログラムの規模拡大と手法の変遷について語る

Hoareのキャリア形成と多彩な興味

  • 大学で古典文学と哲学を専攻
  • 卒業後、Joint Services School for Linguistsでロシア語訓練を受ける
  • 統計学やコンピュータへの興味から、初期コンピュータのデモンストレーターとして活躍
  • ソビエト連邦を含む海外でのデモンストレーション業務に従事
  • デモンストレーターの役割には、実際の開発作業も含まれていた
  • 流暢なロシア語と技術力を活かした国際的な活動

quicksort誕生の逸話とHoareの謙虚さ

  • Elliott Brothers Ltd在職中、より高速なソートアルゴリズム（quicksort）を考案
  • 上司に「今のより速いアルゴリズムを知っている」と伝え、6ペンスの賭けをする
  • 実際にquicksortが速く、賭けにも勝利
  • Hoareは依頼された遅いアルゴリズムも忠実に実装、その後quicksortの提案
  • 専門性と謙虚さを兼ね備えたプロフェッショナリズム

日常の一面と映画好き

  • Microsoft在職時、午後に映画館へ足を運ぶことが楽しみ
  • Arts Picturehouseでの映画鑑賞エピソードを本人が認める
  • 映画『Good Will Hunting』に関する「天才」の描写についても議論
  • 「天才は一瞬で解決するのではなく、長年の努力が必要」との見解
  • ネット上の引用については出典不明だが、趣旨には同意

未来のコンピュータ技術に対する洞察

  • Mooreの法則や量子コンピュータの話題にも関心
  • 「政府が持つ技術は常に我々の想像を超えている」との発言
  • 暗号解読レベルの技術については曖昧な態度
  • Hoareのユーモアと皮肉も感じられるエピソード

Tony Hoareの人間性と別れ

  • 会話の半分はキャリアや技術談義、残りは多岐にわたる話題
  • ユーモア、忍耐力、鋭い知性が印象的
  • 著者はHoareとの交流を深く惜しむ
  • **Tony Hoare（1934年1月11日 - 2026年3月5日）**への追悼

Hackerたちの意見

偉大な人の一人だね。クイックソートや同時並行処理を発明した人だし、すごく謙虚そうだったから、ずっと尊敬してた。
└
そうだけど、彼の正式な業績も忘れないでね（ホーア論理）。
└
そして、null参照の悔いを持つ発明者でもある！彼の「10億ドルのミス」について: https://www.infoq.com/presentations/Null-References-The-Bill...
└
クイックソートについて言えば、ジョン・ベントリーのクイックソートに関する深い考察はかなり勉強になりますね。https://m.youtube.com/watch?v=QvgYAQzg1z8
└
彼らは決して同時に動いていたわけではなく、コミュニケーションをとっていました。https://en.wikipedia.org/wiki/Communicating_sequential_proce...
└
彼は列挙型やオプショナル型、コンストラクタなど、他にもたくさんのものを発明しました。多くのプログラミング言語で使われているいくつかのキーワードはホアから来ていて、彼自身が作ったものもあれば、他のソースから取ったものもありますが、後のプログラミング言語設計者たちはみんなホアからそれを引き継ぎました。例えば「case」はホアから来たキーワードですが、実際には「case」文のより良い形はマッカーシーによってずっと前に「select」という名前で提案されていました。また「class」もシミュラ67から、そしてその後すべてのオブジェクト指向言語がホアから取り入れました。ただし、この場合はキーワードはホアが最初に使ったわけではなく、彼は「class」を「record」とともにCOBOLから取ってきました。ホアによって広められた別のキーワードは「new」で、これはホアがヴァースから取ったものですが、他の人はみんなホアから取っています。後にC++など多くの言語で使われるようになりました。ホアでは「new」の対になるのが「destroy」で、これがC++で最初に使われた「destructor」という名前の由来です。プログラミング言語「Occam」は、1978年に発表されたホアの「Communicating Sequential Processes」のアイデアを実装するために主に設計されました。OpenMPも多くの概念を受け継いでいます。
https://news.ycombinator.com/item?id=47316880 249ポイント by nextos 16時間前 | 61コメント
トニーの「コンピュータプログラミングの公理的基盤」は、大学生の時に読んで理解できた最初の学術論文だった。あれを読んでから、科学論文を読んで理解できるかもって思えるようになったんだ。それが約35年前の話。今、その論文を引っ張り出してきたけど、もう記号が読めない… AIを使ってみようかな。段落ごとに論文を解説してもらって、理解を取り戻すまで手伝ってもらう感じで。
面白い話なんだけど、オックスフォードでは重要な人の名前をつけた建物が好きなんだ。ホーア博士が家の名前に指名されたことがあって、大学は「ホーアハウス」って名前の問題に直面したんだ（発音が「ホーア」だから）。オックスフォードがどう解決したかは覚えてないけど、結局「C.A.R. ホーアレジデンス」になったと思う。
彼の講義を2回も直接聞くことができて、運が良かった。毎回、問題の条件から証明可能な正しいコードをサラッと導き出して、すごく簡単に見えた。講義が終わって10分後には「え、どうやってやったんだっけ？」って思ってた。安らかに眠ってください、トニーさん。
ランダムなエピソードだけど、ホーアさん（博士じゃないよ）はずっと僕のコンピュータヒーローの一人。大学生の時に彼の講演を聞いたことがあって、学校から完全に離れてたのに参加したんだ。それが僕の成長に大きな影響を与えた経験になった。確か、プログラムの正しさを証明することについての話だった。Q&Aの時間に、ある学生が有名なブルックスのエッセイ「ノー・シルバー・バレット」についてどう思うか聞いたら、ホーアさんは…完全に混乱してたらしい。どうやらその概念を全く知らなかったみたい。翻訳の問題かもしれないけど、そうじゃないと思う。なぜなら「シルバー・バレット」ってフレーズは理解できたから。今ではホーアさんとブルックス博士は、僕のコンピュータヒーローの中での二人になってる。
彼はオックスフォードのプログラミング研究グループ（PRGとして知られている）の教授で、私がDPhilをやっていたときに面接をしてくれました。彼とはかなりの時間を過ごしたし、もちろんCSPに関することもたくさんやりました。私のDPhilも全部CSPに関わっていました。トニー・ホアのプロセスがSTOPに達したなんて悲しいですね。安らかに眠ってください。
安らかに眠ってください。業界の変化を見ていないですね。「この原則の結果として、すべてのサブスクリプト変数のすべてのサブスクリプトのすべての出現は、常に実行時に配列の上限と下限の宣言された境界に対してチェックされました。何年も後、私たちは顧客に、効率を考慮してこれらのチェックをオフにするオプションを提供してほしいかどうか尋ねました。彼らは全員が、製品運用でのサブスクリプトエラーの発生頻度をすでに知っていたので、私たちにそれをしないように強く求めました。これを見て恐怖と恐ろしさを感じますが、1980年にも言語設計者やユーザーはこの教訓を学んでいないのです。尊敬される工学の分野では、こうした基本的な予防策を守らないことはとっくに法律違反です。」 -- C.A.R. ホアの「1980 ACMチューリング賞講演」
私はホアの「Communicating Sequential Processes」について修士論文と博士論文を書きました。そのシンプルさや拡張性が本当に好きで、GoやErlang、occamなどの言語構造に影響を与えたことにいつも驚かされていました。
安らかに眠ってください。