トニー・ホーア逝去

 (lefenetrou.blogspot.com)
1 ポイント 投稿者 GN⁺ 2026-03-11 | 1件のコメント | WhatsAppで共有
  • 計算機科学者 トニー・ホーア(Tony Hoare) が3月5日木曜日に逝去したことが伝えられた
  • 彼は『Structured Programming』(1972) や『Communicating Sequential Processes』(1985) などの著作で広く知られている
  • 彼の著作は プログラミングの構造化 と 並行性モデリング の分野で中核的な参考文献として言及されている
  • 記事の筆者はホーアの教え子の一人として、彼の著作を通じて学びを得たと述べている
  • この記事は Jonathan Bowen のオーラルヒストリーへのリンクと FACS FACTS 2024年版 の論文も紹介し、追悼の意を表している

トニー・ホーア追悼

  • Jonathan Bowen から トニー・ホーアの訃報 を3月5日に聞いたと言及

    • 逝去日は2026年3月5日木曜日と明記されている
    • ホーアのWikipediaリンクもあわせて示されている

  • ホーアの主要著作2冊が引用されている

    • 『Structured Programming』(1972, Academic Press) — 共著者 Dahl, Dijkstra, Hoare
    • 『Communicating Sequential Processes』(1985, Prentice Hall) — ハードカバー版とペーパーバック版のISBNをともに記載
    • 後者は usingcsp.com でPDFとしてオンライン閲覧でき、Wayback Machine の保存リンクも含まれる

  • 追加の参考資料として Jonathan Bowen の「Oral History of Sir Antony Hoare」PDFリンクを提供

    • ResearchGate 経由でアクセス可能な文書である

  • もう一つの参考資料として FACS FACTS 2024 (2), 5–42 の論文を提示

    • 著者: T. Denvir, J. He, C. B. Jones, A. W. Roscoe, J. Stoy, B. Sufrin, J. P. Bowen
    • British Computing Society のWebサイト上のPDFリンクを含む

  • 本文は個人的な追悼の短い文章で、ホーアの学術的影響力と著作を称える内容で構成されている

    • 追加の個人的回想や評価は含まれていない

関連記事

1件のコメント

 
GN⁺ 2026-03-11
Hacker Newsの意見

  • コメントは1つにまとめられました: Tony Hoare has died
    通常は最初に投稿された記事を立て直しますが、今回は初期の投稿に情報が不足しており、別の投稿のほうがはるかに個人的で詳細な内容を含んでいました
    下には、ニュースの真偽について議論していたコメントを残してあります。批判ではなく、重要な知らせであり、nextos の貢献も素晴らしかったことを明確にしておきたいです

  • この投稿、HNのトップページから隠されたみたい？

    • そうです。ニュースがまだ未確認の状態で投稿されたためです。詳しくはこちらにあります

  • Wikipediaによると昨日亡くなったことになっている

    • ただしその編集には出典がなく、日付も3月5日と3月8日の2通りで食い違っています
    • 現時点では、それらの編集は差し戻されたように見えます

  • HN上部に黒い帯がないね？ 金持ちだけのためのものなのか？

    • 今日一日HN上部に何の投稿があったのか、そしてそこにあった心温まるコメントを見ていてほしかった

  • 何か見落としてる？ Tony Hoareは本当に亡くなったの？ ニュースがまったく見当たらない

    • 私もこれといったニュースは見つけられませんでしたが、投稿ではこう主張しています 
      > Jonathan Bowenが3月5日木曜日にTony Hoareの訃報を伝えた（フランス語訳）
      もう4日も経っているのに他のメディアで何も出ていないのは不思議です
    • 残念ですが事実のようです。信頼できる立場にいる同僚から先週末に聞きました
    • 投稿でそう主張しているだけで、他での公式確認はまだありません
    • Wikipediaのページは今もなお現在形のままです。こういう場合はたいていすぐ修正されますが、まだそのままです
    • ブログ執筆者がJonathan Bowenから聞いたと言っているので、まだ公式発表がないのかもしれません

  • 別の場所でこのリンクを見つけました。ただしWikipediaには死亡日が記載されていません
    Tony Hoare Wikipediaページ

  • Wikipediaでは死亡したと表示されていますが、編集合戦になっています
    死亡の根拠が明示されておらず、編集と差し戻しが繰り返されています

  • 事実だと確認されるなら、Quicksortの考案者は黒い帯で追悼されるに値します

    • Tony Hoareは1970年代初頭の時点ですでに、現代ソフトウェアのほぼすべての並行性の原理を文書化していました。Rustの所有権の概念以前のほぼすべてのモデルは、彼のアイデアに由来します
    • 彼の業績はQuicksortをはるかに超えています
    • その通り、黒い帯を付けるべきです

  • 今こそ黒い帯を付ける時だ