Loading article…
ヴォーン・プラット（1944年4月12日生まれ）は、スタンフォード大学の名誉教授であり、コンピュータ科学分野の初期のパイオニアの一人です。1969年以来、プラットは探索アルゴリズム、ソートアルゴリズム、素数判定などの基礎分野に数々の貢献をしてきました。近年では、並行システムとチュー空間の形式的モデリングに研究の焦点を当てています。
オーストラリアで育ち、ノックス・グラマー・スクールで教育を受け、1961年に首席となったプラットは、シドニー大学に進学し、1970年に現在自然言語処理として知られる分野に関連する修士論文を完成させた。その後、米国に渡り、スタンフォード大学でドナルド・クヌース指導の下、わずか20ヶ月で博士論文を完成させた。彼の論文は、シェルソート・アルゴリズムとソート・ネットワークの分析に焦点を当てたものであった。[ 1 ]
プラットはMITで助教授（1972年～1976年）を務め、その後准教授（1976年～1982年）となった。1974年、クヌースとジェームズ・H・モリスと共同で、バークレーの大学院生だった1970年に着手した研究を完成させ、体系化した。その共著論文がクヌース・モリス・プラットのパターンマッチングアルゴリズムである。1976年には、構造化された振る舞いの様相論理である動的論理体系を開発した。
彼はMITからスタンフォード大学へ研究休暇を取得し（1980年から1981年）、1981年にスタンフォード大学の正教授に任命された。
プラットは1980年から1982年までスタンフォード大学でSUNワークステーションプロジェクトを指揮した。彼はサン・マイクロシステムズの設立と初期の運営に様々な形で貢献し、最初の1年間はコンサルタントとして活動した後、スタンフォード大学を2年間休職し、研究部長に就任。そして1985年にサンのコンサルタントに復帰し、スタンフォード大学にも戻った。
彼はまた、サン・マイクロシステムズのロゴもデザインしました[ 2 ]。このロゴは「sun」という単語が4つ交互に並んだアンビグラムです。
プラットは2000年にスタンフォード大学の名誉教授となった。
プラットの名前を冠した有名なアルゴリズムが数多く存在する。プラット証明書は、数の素数性を証明する短い証明であり、素数性が効率的に検証できることを実用的に示し、素数判定問題を複雑性クラスNPに分類し、この問題がco-NP完全ではないという最初の強力な証拠を提供した。[ 3 ] プラットが1970年代初頭にスタンフォード大学の同僚ドナルド・クヌース教授と共同で、モリスとは独立して設計したクヌース・モリス・プラットアルゴリズムは、今日でも知られている最も効率的な汎用文字列検索アルゴリズムである。[ 4 ]ブルム、フロイド、リベスト、タージャンとともに、彼は最初の最悪ケース最適選択アルゴリズムであるメディアンのメディアンを記述した。[ 5 ]
1976年、プラットは、トップダウン演算子優先順位解析のパラダイムに基づいて設計・実装した、 MACLISPの代替構文であるCGOLに関するMIT AIラボのワーキングペーパーを執筆した。 [ 6 ]彼のパーサーは「プラットパーサー」 と呼ばれることもあり[ 7 ] 、 MACSYMAなどの後のシステムで使用されている。ダグラス・クロックフォードもJSLintの基盤となるパーサーとしてこれを使用した。[ 8 ]プラットはまた、「DOC」という名前のTECOベースのテキストエディタ を実装し、後に「ZED」と改名した。[ 9 ]
1999年、プラットは当時世界最小のウェブサーバーを構築した。それはマッチ箱ほどの大きさだった。[ 10 ] [ 11 ]
プラットは1995年のByte誌の記事で、 Pentium FDIVバグは当時インテルやIBMが予測していたよりも深刻な結果をもたらす可能性があると提唱した人物として評価された。 [ 12 ] [ 13 ]
今日、プラットは幅広い影響力を持っている。スタンフォード大学の教授職に加え、少なくとも7つの専門組織の会員でもある。彼はAssociation for Computing Machineryのフェローであり、3つの主要な数学誌の編集委員を務めている。また、TIQIT Computers, Inc.の創設者、会長、CTOでもあった。2010年に閉鎖するまでの10年間の記録は、2023年12月2日にWayback Machineにアーカイブされている。