アルフレッド・エイホ

ウィキペディアから、無料の百科事典
ナビゲーションにジャンプ 検索にジャンプ

アルフレッド・エイホ
生まれ
アルフレッド・ヴァイノ・アホ

1941-08-091941年8月9日(80歳)
国籍カナダ系
アメリカ人
母校
で知られている
科学的キャリア
田畑コンピュータサイエンス
機関コロンビア大学
定説索引付き文法:文脈自由文法の拡張 (1968)
指導教官ジョン・ホップクロフト[1]
博士課程の学生クリスタ・スヴォール

Alfred Vaino Aho(1941年8月9日生まれ)は、プログラミング言語コンパイラ、および関連するアルゴリズムに関する研究と、コンピュータプログラミングの芸術と科学に関する教科書で最もよく知られているカナダのコンピュータ科学者です。[2] [3] [4]

Ahoは、アルゴリズムとプログラミングツールの分野への貢献により、1999年に 全米技術アカデミーに選出されました。

彼と彼の長年の協力者であるジェフリー・ウルマンは、2020年のチューリング賞を受賞しています[5]

キャリア

アホはBAScを受け取りました。(1963)トロント大学で工学物理学を専攻し、その後修士号(1965)および博士号を取得。(1967)プリンストン大学で電気工学/コンピュータサイエンスを専攻[6]彼は、1967年から1991年までベル研究所で研究を行い、1997年から2002年まで、コンピューティング科学研究センターの副社長として再び研究を行いました。[7] 1995年以来、彼はコロンビア大学コンピューターサイエンスのローレンスガスマン教授を務めています。彼は1995年から1997年まで、そして2003年の春に再び学科の議長を務めた。[8]

彼の博士論文で、Ahoは、文脈自由言語の能力を拡張するための手段として、索引付き文法[9]ネストされたスタックオートマトン[10]を作成しましたが、それらの決定可能性とクロージャー特性の多くを保持しています。索引付けされた文法の1つのアプリケーションは、特に生物学的アプリケーションでの並列書き換えシステムのモデリングです[11] 。[12]

Princetonを卒業した後、AhoはBellLabsのComputingSciences Research Centerに参加し、 Unixツールの最初のバージョンで実装した効率的な正規表現と文字列パターンマッチングアルゴリズムを考案しましたこのアルゴリズムは、 Aho-Corasickアルゴリズムとして知られるようになりましたこれは、 Margaret J. Corasickによって開発されたものを含むいくつかの書誌検索システム、および他の文字列検索アプリケーションによって使用されます。[13]egrepfgrepfgrep

ベル研究所では、AhoはSteveJohnsonおよびJeffreyUllmanと緊密に協力して、プログラミング言語を分析および翻訳するための効率的なアルゴリズムを開発しました。[14] Steve JohnsonはボトムアップLALR解析アルゴリズムを使用して構文アナライザージェネレーターyaccを作成し[15]Michael E.LeskEricSchmidtはAhoの正規表現パターンマッチングアルゴリズムを使用して字句解析プログラムジェネレーターlexを作成しました。[16] lexおよびyaccツールとそれらの派生物は、今日のプログラミング言語コンパイラーの多くのフロントエンドを開発するために使用されてきました。[17]

AhoとUllmanは、コンパイラーの設計に関連する理論を体系化したコンパイル手法に関する一連の教科書を作成しました。彼らの1977年の教科書「コンパイラ設計の原則」は表紙に緑色のドラゴンがあり、「緑色のドラゴンの本」として知られるようになりました。1986年にアホとウルマンはラビセシィと一緒に新版「赤いドラゴンブック」(1995年の映画ハッカーズで簡単に紹介されました)を作成し、2006年にはモニカラムも紫色のドラゴンブック」を作成しましたドラゴンブックは、大学のコースや業界の参考資料に使用されます。[18]

1974年、Aho、John Hopcroft、およびUllmanは、アルゴリズムに関する初期の研究の一部を成文化した、コンピューターアルゴリズムの設計と分析を作成しました。この本は、数十年にわたってコンピュータサイエンスで最も引用された本のひとつになり、コンピュータサイエンスカリキュラムの中心的なコースとしてアルゴリズムとデータ構造の作成を刺激するのに役立ちました。[19]

Ahoは、 AWKプログラミング言語Peter J.WeinbergerおよびBrianKernighan(「A」は「Aho」の略)と共著したことでも広く知られています。[20] 2010年現在、Ahoの研究対象には、プログラミング言語、コンパイラ、アルゴリズム、および量子コンピューティングが含まれます。彼はコロンビア大学のLanguageandCompilers研究グループの一部です。[21]

全体として、彼の作品は81,040回引用されており、2019年5月8日現在のh指数は66です。[22]

Ahoは、 IEEEジョンフォンノイマンメダル全米技術アカデミーの会員資格など、多くの名誉ある栄誉を受けています。彼は2003年にアメリカ芸術科学アカデミーのフェローに選出されました。 [23]ウォータールー大学[24]ヘルシンキ大学[24]トロント大学から名誉博士号を取得しています。[25]彼は、米国科学振興協会ACMベル研究所、およびIEEEのフェローです。[19]

アホは、全米科学財団のコンピュータ情報科学工学局の諮問委員会の委員長を2回務めました。彼は、アルゴリズムと計算可能性理論に関するACM特別興味グループの元会長です。[26] Aho、Hopcroft、およびUllmanは、 NECコーポレーションによって授与された2017 C&C賞の共同受賞者でした。[27] 彼とウルマンは、2021年3月31日に2020年チューリング賞の受賞者に指名された。 [5]

教える

アホは1995年からニューヨーク市のコロンビア大学で教鞭をとっています。彼は2003年にコロンビア卒業生協会からグレートティーチャーアワードを受賞しました。[28]

書籍

  • AV Aho and JD UllmanTheory of Parsing、Translation、and Compiling、Vol。1、解析。プレンティスホール、1972。ISBN0-13-914556-7 
  • AV Aho(ed。)コンピューティング理論の流れ。プレンティスホール、1973年。ISBN0-13-195651-5 [ 29] 
  • AV Aho and JD UllmanTheory of Parsing、Translation、and Compiling、Vol。2、コンパイル。Prentice-Hall、1973。ISBN978-0-13-914564-3 
  • AV Aho、JE HopcroftJD Ullmanコンピュータアルゴリズムの設計と分析。Addison-Wesley、1974。ISBN0-201-00023-7 
  • AVAhoおよびJDUllmanコンパイラ設計の原則。Addison-Wesley、1977。ISBN0-201-00022-9 
  • AV Aho、JE HopcroftJD Ullmanデータ構造とアルゴリズム。Addison-Wesley、1983。ISBN0-201-00023-7 
  • AV Aho、R。SethiJD UllmanCompilers:Principles、Techniques、およびToolsAddison-Wesley、マサチューセッツ州レディング1986。ISBN0-201-10088-6 
  • AV Aho、BW Kernighan、およびPJ WeinbergerAWKプログラミング言語。Addison-Wesley、1988。ISBN978-0-201-07981-4 
  • AVAhoおよびJDUllmanコンピュータサイエンスの基礎WH Freeman / Computer Science Press、1992年。ISBN978-0-7167-8233-9 [ 30] [31] 
  • AV Aho、MS LamR。Sethi、およびJD Ullmanコンパイラ:Principles、Techniques、およびTools、第2版。Addison-Wesley、2007。ISBN978-0-321-48681-3 

参考文献

  1. ^ 数学系図プロジェクトAlfredVaino Aho
  2. ^ アホ、A。; ゴットロブ、G。(2014)。「コミュニケーションの編集上の変革の最前列の席」。ACMの通信57(4):5。doi10.1145 / 2582611S2CID21553189_ 
  3. ^ Aho、AV(1990)。「文字列のパターンを見つけるためのアルゴリズム」。理論計算機科学ハンドブックMITプレス。pp。255–300。
  4. ^ 2008年5月29日、ウェイバックマシンでアーカイブされたAlfred V.AhoとのComputerworldインタビュー
  5. ^ a b ACMチューリング賞は、プログラミング言語コンパイラとアルゴリズムの基礎を形作ったイノベーターを表彰します。2021年3月31日取得。
  6. ^ 「信頼できないプログラマーからの信頼できるプログラムの作成」(PDF)エクセレント
  7. ^ フィッチャード、ケビン(2021年3月31日)。「ベル研究所のアル・アホとジェフリー・ウルマンが名誉あるチューリング賞を受賞しました」ノキアベル研究所2021年4月1日にオリジナルからアーカイブされました2021年4月3日取得
  8. ^ 「2017C&C賞のグループB受賞者のプロフィールと詳細な成果」(PDF)NEC C&C財団2022年1月20日のオリジナルからアーカイブ(PDF) 。
  9. ^ Aho、AV(1968)。「索引付き文法—文脈自由文法の拡張」。ACMのジャーナル15(4):647–671。土井10.1145 /321479.321488S2CID9539666_ 
  10. ^ Aho、AV(1969)。「ネストされたスタックオートマトン」。ACMのジャーナル16(3):383–406。土井10.1145 /321526.321529S2CID685569_ 
  11. ^ ランボー、オーウェン; サッタ、ジョルジオ(1999年7月28日)。「有限コピー並列書き換えシステムにおける独立した並列処理」理論計算機科学223(1–2):87–120。土井10.1016 / S0304-3975(97)00190-4ISSN0304-3975_ 
  12. ^ Culik、Karel; マイバウム、東証(1974)。Loeckx、Jacques(ed。)「条件に基づく並列書き換えシステム」Automata、言語およびプログラミングコンピュータサイエンスの講義ノート。ベルリン、ハイデルベルク:スプリンガー。14:495–510。土井10.1007 / 978-3-662-21545-6_38ISBN 978-3-662-21545-6
  13. ^ Aho、Alfred V。; コラシック、マーガレットJ.(1975年6月)。「効率的な文字列照合:書誌検索の支援」。ACMの通信18(6):333–340。土井10.1145 /360825.360855S2CID207735784_ 
  14. ^ アホ、AV; ジョンストン、SC; ウルマン、JD(1977)。「共通部分式を使用した式のコード生成」。ACMのジャーナル24:146–160。土井10.1145 /321992.322001S2CID2614214_ 
  15. ^ モリス、リチャード(2009年10月1日)。「スティーブンカーティスジョンソン:今週のオタク」レッドゲートソフトウェア2018年1月19日取得
  16. ^ レスク、私; Schmidt、E。「Lex–字句解析ジェネレータ」2010年8月16日取得
  17. ^ レヴィン、ジョンR。; メイソン、トニー; ブラウン、ダグ(1992)。lex&yacc(2版)。オライリーpp。1–2  _ ISBN 1-56592-000-7
  18. ^ 「DYOL:独自の言語を設計する—コーパス—ドラゴンブック—パープルドラゴン」slebok.github.io 2021年4月3日取得
  19. ^ a b イバラキ、スティーブン「ジェフリー・ウルマンとアルフレッド・エイホ、2020 ACMAMTuring賞の受賞者」forbes.com 2021年4月3日取得
  20. ^ アホ、AV; カーニハン、BW; ワインバーガー、PJ(1979)。「Awk—パターンスキャンおよび処理言語」。ソフトウェア:実践と経験9(4) 267。CiteSeerX10.1.1.80.4787土井10.1002 /spe.4380090403S2CID29399630_  
  21. ^ http://landc.cs.columbia.edu/
  22. ^ 「アルフレッドエイホのためのGoogleScholarレコード」
  23. ^ 「会員の本、1780年から2010年:第A章」(PDF)アメリカ芸術科学アカデミー。2011年5月10日のオリジナルからアーカイブ(PDF)2011年4月6日取得
  24. ^ a b "DLS –アルフレッドエイホ"Cheriton School of ComputerScience2017年2月16日2021年4月3日取得
  25. ^ やる、リズ。「」'ノーベルコンピューティング賞:' U of TEngineeringの卒業生であるAlfredAhoがAMチューリング賞を受賞しました。 " 。utoronto.ca 。 2021年4月3日取得
  26. ^ 「証明の簡単な米国の抑制は怒りをかき立てる」ニューヨークタイムズ1987年2月17日2015年11月10日–Safari経由で取得。
  27. ^ 「2017C&C賞授賞式」NEC C&C財団2018年7月10日にオリジナルからアーカイブされました2021年4月3日取得
  28. ^ 「見る:コンピュータ科学者アルフレッドエイホ」サイモンズ財団2013年7月18日2021年4月3日取得
  29. ^ コンピューティング理論の流れ、アルフレッドV.アホ編集。寄稿者:Ronald V. Book [その他]worldcat.orgOCLC976868524 _ 2021年4月1日取得 
  30. ^ コンピュータサイエンスの基礎worldcat.orgOCLC24669768 _ 2021年4月1日取得 
  31. ^ 「コンピュータサイエンスの基礎」worldcat.org 2021年4月1日取得

外部リンク