[Tony Hoare - Wikipedia](https://en.wikipedia.org/wiki/Tony_Hoare) チャールズ・アントニー・リチャード・ホア卿（Tony Hoare、C. A. R. Hoare） FRS FREng[3] （1934年1月11日生まれ）[4] はイギリスのコンピュータ科学者で、プログラミング言語、アルゴリズム、OS、形式検証、同時実行コンピューティングに基礎的貢献をした。 1980年にその業績によりコンピュータ科学で最高の栄誉とされるチューリング賞を受賞している[5]。 また、プログラムの正しさを検証するための公理的基礎となるHoare論理を開発した[6]。並行処理の意味論では、並行処理の相互作用を記述する形式言語CSP（communicating sequential processes）を導入し、Edsger Dijkstraとともに食堂の哲学者問題[7][8][9][10][11][12]を定式化。またALGOL系言語においてヌルポインタを開発（後に批判）、導入したと言われている。1977年以降、オックスフォード大学とケンブリッジのマイクロソフト・リサーチで役職に就いている。 - クイックソートの考案