Loading article…
ヴォーン・プラット | |
|---|---|
 | |
| 生まれる | ヴォーン・ロナルド・プラット 1944年4月12日 メルボルン、オーストラリア |
| 教育 | スタンフォード大学(1972) シドニー大学(1970) |
| 知られている | クヌース・モリス・プラットアルゴリズム プラット証明書 プラットパーサー |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | スタンフォード大学 MIT |
| 学術アドバイザー | ドナルド・クヌース |
| 博士課程の学生 | |
| Webサイト | boole.stanford.edu/pratt.html |
ヴォーン・プラット（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に分類し、問題が共NP完全ではないという最初の強力な証拠を提供した。[3]プラットが1970年代初頭にスタンフォード大学の同僚教授ドナルド・クヌースと共同で、モリスとは独立して設計したクヌース・モリス・プラットアルゴリズムは 、今日知られている最も効率的な汎用文字列検索アルゴリズムである。[4]彼は、ブルーム、フロイド、リベスト、タージャンとともに、最初の最悪ケース最適選択アルゴリズムである中央値の中央値を説明した。[5]
便利なツールの構築
プラットはいくつかの便利なツールを作成した。1976年に彼は、トップダウン演算子優先順位解析のパラダイムに基づいて設計および実装したMACLISPの代替構文であるCGOLに関するMIT AI ラボのワーキングペーパーを執筆した。 [6] 彼のパーサーは「プラットパーサー」と呼ばれることもあり[7] 、 MACSYMAなどの後のシステムで使用されている。ダグラス・クロックフォードもこれをJSLintの基盤パーサーとして使用した。[8]プラットは、後に「ZED」に改名された「DOC」というTECOベースのテキストエディタ も実装した。 [9]
1999年、プラットは当時世界最小のウェブサーバーを構築した。それはマッチ箱ほどの大きさだった。[10] [11]
その他の貢献
プラットは1995年のバイト誌の記事で、 Pentium FDIVのバグが当時IntelやIBMが予測していたよりも悪い結果をもたらす可能性があると示唆したことで評価された。 [12] [13]
現在、プラットは幅広い影響力を持っています。スタンフォード大学の教授職に加え、少なくとも 7 つの専門組織の会員でもあります。また、計算機協会のフェローであり、3 つの主要な数学ジャーナルの編集委員でもあります。さらに、2010 年に閉鎖されるまでの 10 年間、TIQIT Computers, Inc. の創設者、会長、CTO を務めていました。
参考文献
- ^ ヴォーン・ロナルド・プラット：シェルソートとソーティングネットワーク。ガーランド出版、ニューヨーク＆ロンドン、1979年、ISBN 0-8240-4406-1
- ^ “デザイナー: ヴォーン・プラット”.ロゴブック. 2020年8月9日時点のオリジナルよりアーカイブ。2021年8月7日閲覧。
- ^ Vaughan Pratt. すべての素数には簡潔な証明書がある。SIAM Journal on Computing、vol.4、pp.214–220。1975年。引用、全文（有料ログインが必要）
- ^ Donald Knuth、James H. Morris、Jr.、Vaughan Pratt。文字列の高速パターンマッチング。SIAM Journal on Computing、6(2):323–350。1977年。引用
- ^ Blum, M. ; Floyd, RW ; Pratt, VR; Rivest, RL ; Tarjan, RE (1973 年 8 月). 「選択の時間境界」(PDF) . Journal of Computer and System Sciences . 7 (4): 448–461. doi : 10.1016/S0022-0000(73)80033-9 .
- ^ Pratt, VR、「トップダウン演算子の優先順位」。プログラミング言語の原理に関する ACM シンポジウムの議事録。1973 年。pp41-51。
- ^ George J. Carrette 「SIOD用のシンプルな Pratt パーサー」1990 年。
- ^ https://github.com/douglascrockford/JSLint/blob/40e3f73127b56f24a12e5cb091a86d9a24130926/fulljslint.js jslint ソースコード 2224 行目
- ^ Eric Fischer. Emacs とその他のエディター. alt.folklore.computers. 2000 年 11 月 15 日.
- ^ BBCニュース。マッチ箱でサーフィン。1999年。
- ^ CNN ニュース。シャツのポケットに収まる最小の Web サーバー。1999 年。
- ^ 「How to Bruise an Integer」 Wayback Machineに 2008-10-07 にアーカイブ、Byte、1995 年 3 月。
- ^ 「Chain Reaction in Pentiums」、Vaughan Pratt、1994 年。wdv-notes334、1995 年 1 月 22 日。この記事は、ニュースグループ投稿Vaughan Pratt (1994 年 12 月 30 日) から抜粋したものです。「技術: Pentiums の連鎖反応 (以前の投稿: 欠陥: Pentium に汚染されたデータが残る)」。ニュースグループ: comp.sys.intel。Usenet : 3e097i$952@Radon.Stanford.EDU。2006年6 月 3 日閲覧。
外部リンク
- 数学系譜プロジェクトのヴォーン・プラット
- スタンフォード大学の教員ホームページ
- Pratt の出版物の多くの全文ダウンロードを含む要約ページ。
- Douglas Crockford が、JavaScript で Pratt パーサーを作成する方法を説明します。