Turing Award winner and former Oxford professor Tony Hoare passed away

計算機科学の分野で多大な影響を与えたチューリング賞受賞者、トニー・ホーア氏が91歳で亡くなりました。彼は1980年に「プログラミング言語の定義と設計への根本的な貢献」によりチューリング賞を受賞し、特に効率的なソートアルゴリズムであるクイックソート、プログラムの正しさを検証するホーア論理、そして並行処理システムを記述するためのCSP（Communicating Sequential Processes）の発明者として知られています。元オックスフォード大学教授でもあり、彼の業績は現代のソフトウェア開発と理論計算機科学に深く根付いています。

• •トニー・ホーア氏は、1980年に「プログラミング言語の定義と設計への根本的な貢献」によりチューリング賞を受賞しました。
• •彼は、世界で最も効率的なソートアルゴリズムの一つであるクイックソート、プログラムの正当性を証明するホーア論理、並行処理を記述するCommunicating Sequential Processes (CSP) を開発しました。
• •元オックスフォード大学の教授として、計算機科学の理論と実践の両面にわたり、多大な影響を与えました。