アルフレッド・アホ

アルフレッド・アホ
生まれる
アルフレッド・ヴァイノ・アホ
（1941年8月9日）1941年8月9日
カナダ、オンタリオ州ティミンズ
教育
知られている
受賞歴
科学者としてのキャリア
フィールドコンピュータサイエンス
機関コロンビア大学
論文索引文法：文脈自由文法の拡張 （1968年）
博士課程の指導教員ジョン・ホップクロフト[ 1 ]
博士課程の学生

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

アホ氏は、アルゴリズムとプログラミングツールの分野への貢献により、1999 年に 米国工学アカデミーの会員に選出されました。

彼と長年の協力者であるジェフリー・ウルマンは、コンピュータサイエンスにおける最高の栄誉として一般的に認められている2020年のチューリング賞を受賞した。[ 5 ]

キャリア

アホはトロント大学で工学物理学の学士号（1963年） 、プリンストン大学で電気工学/コンピュータサイエンスの修士号（1965年）と博士号（1967年）を取得しました。[ 6 ] 1967年から1991年までベル研究所で研究を行い、1997年から2002年までは同研究所の計算科学研究センター副所長を務めました。[ 7 ] 1995年以来、コロンビア大学でコンピュータサイエンス のローレンス・ガスマン教授職に就いています。1995年から1997年まで、そして2003年春にも同学科長を務めました。[ 8 ]

アホは博士論文において、文脈自由言語の能力を拡張する手段として、インデックス文法[ 9 ]とネストスタックオートマトン[ 10 ]を考案したが、その決定可能性と閉包性の多くを維持していた。インデックス文法の応用例の一つとして、並列書き換えシステムのモデル化[ 11 ]があり、特に生物学分野への応用が注目されている[ 12 ] 。

プリンストン大学卒業後、アホはベル研究所の計算科学研究センターに加わり、そこで効率的な正規表現と文字列パターンマッチングアルゴリズムを考案し、 Unixツールegrepとの最初のバージョンに実装しましたfgrep。このアルゴリズムはアホ・コラシックアルゴリズムfgrepとして知られ、マーガレット・J・コラシックが開発したものを含むいくつかの書誌検索システムや、その他の文字列検索アプリケーションで使用されています。[ 13 ]

ベル研究所では、アホはスティーブ・ジョンソンやジェフリー・ウルマンと緊密に協力し、プログラミング言語を解析および翻訳するための効率的なアルゴリズムを開発した。[ 14 ]スティーブ・ジョンソンはボトムアップLALR構文解析アルゴリズムを使用して構文解析器ジェネレータyaccを作成し、[ 15 ]マイケル・E・レスクとエリック・シュミットはアホの正規表現パターンマッチングアルゴリズムを使用して字句解析器ジェネレータlexを作成した。[ 16 ] lexとyaccのツールとその派生物は、今日の多くのプログラミング言語コンパイラのフロントエンドの開発に使用されている。[ 17 ]

アホとウルマンは、コンパイラ設計に関連する理論を体系化したコンパイル技術に関する一連の教科書を執筆した。1977年に出版された『Principles of Compiler Design』の表紙には緑のドラゴンが描かれ、「グリーン・ドラゴン・ブック」として知られるようになった。1986年には、アホとウルマンはラヴィ・セティと共同で新版「レッド・ドラゴン・ブック」（1995年の映画『ハッカーズ』で短時間登場）を出版し、2006年にはモニカ・ラムも共同で「パープル・ドラゴン・ブック」を出版した。これらのドラゴン・ブックは、大学の授業だけでなく、業界の参考資料としても使用されている。[ 18 ]

1974年、エイホ、ジョン・ホップクロフト、そしてウルマンは、アルゴリズムに関する初期の研究の一部を体系化した『コンピュータアルゴリズムの設計と分析』 [ 19 ]を執筆しました。この本は数十年にわたりコンピュータサイエンス分野で最も引用数の多い書籍の一つとなり、アルゴリズムとデータ構造をコンピュータサイエンスのカリキュラムの中心科目として位置づけるきっかけとなりました。[ 20 ]

エイホは、ピーター・J・ワインバーガーとブライアン・カーニハンと共にAWKプログラミング言語を共同執筆したことでも広く知られています（「A」は「エイホ」の頭文字です）。[ 21 ] 2010年現在、エイホの研究分野はプログラミング言語、コンパイラ、アルゴリズム、量子コンピューティングです。彼はコロンビア大学の言語とコンパイラ研究グループに所属しています。[ 22 ]

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

アホ氏は、 IEEEのジョン・フォン・ノイマン賞、米国工学アカデミーおよび米国科学アカデミーの会員など、数々の名誉ある賞を受賞しています。 2003年にはアメリカ芸術科学アカデミーのフェローに選出されました。[ 24 ]ウォータールー大学、[ 25 ]ヘルシンキ大学、[ 25 ]トロント大学から名誉博士号を授与されています。[ 26 ]アメリカ科学振興協会、ACM、ベル研究所、IEEEのフェローでもあります。[ 20 ]

アホ氏は、全米科学財団（NSF）のコンピュータ・情報科学・工学部門の諮問委員会の委員長を2度務めた。また、ACMアルゴリズム・計算可能性理論特別利益団体の元会長でもある。[ 27 ]アホ氏、ホップクロフト氏、ウルマン氏は、 NECが授与する2017年のC&C賞の共同受賞者である。[ 28 ]アホ氏とウルマン氏は、 2021年3月31日に2020年のチューリング賞 の受賞者に選ばれた。[ 5 ]

私生活

アホ氏は1995年からニューヨーク市のコロンビア大学で教鞭をとっている。2003年にはコロンビア大学卒業生協会から優秀教師賞を受賞した。[ 29 ] [ 30 ]

本

参考文献

  1. ^数学系譜プロジェクトのアルフレッド・ヴァイノ・アホ
  2. ^ Aho, A. ; Gottlob, G. (2014). 「 Communications誌の編集変革の最前列席」Communications of the ACM . 57 (4): 5. doi : 10.1145/2582611 . S2CID 21553189 . 
  3. ^ Aho, AV (1990). 「文字列内のパターンを見つけるアルゴリズム」.理論計算機科学ハンドブック. MIT Press. pp.  255– 300.
  4. ^ 「ITニュース、キャリア、ビジネステクノロジー、レビュー」Computerworld . 2008年5月29日時点のオリジナルよりアーカイブ。 2023年5月18日閲覧。
  5. ^ a b ACMチューリング賞、プログラミング言語コンパイラとアルゴリズムの基礎を築いた革新者を表彰. 2021年3月31日閲覧。
  6. ^ 「信頼できないプログラマから信頼できるプログラムを作る」(PDF) . Excellentia . 2022年1月20日時点のオリジナル(PDF)からアーカイブ。 2011年5月3日閲覧。
  7. ^ケビン・フィッチャード（2021年3月31日）「ベル研究所のアル・アホ氏とジェフリー・ウルマン氏が名誉あるチューリング賞を受賞」ノキア・ベル研究所. 2021年4月1日時点のオリジナルよりアーカイブ。 2021年4月3日閲覧。
  8. ^ 「2017年度C&C賞グループB受賞者のプロフィールと業績概要」（PDF）。NEC C&C財団。 2022年1月20日時点のオリジナルよりアーカイブ（PDF） 。
  9. ^ Aho, AV (1968). 「索引文法—文脈自由文法の拡張」 . Journal of the ACM . 15 (4): 647– 671. doi : 10.1145/321479.321488 . S2CID 9539666 . 
  10. ^ Aho, AV (1969). 「ネストスタックオートマトン」 . ACMジャーナル. 16 (3): 383– 406. doi : 10.1145/321526.321529 . S2CID 685569 . 
  11. ^ Rambow, Owen; Satta, Giorgio (1999年7月28日). 「有限コピー並列書き換えシステムにおける独立並列性」.理論計算機科学. 223 ( 1–2 ): 87–120 . doi : 10.1016/S0304-3975(97)00190-4 . ISSN 0304-3975 . 
  12. ^ Culik, Karel; Maibaum, TSE (1974). 「項に関する並列書き換えシステム」 . Loeckx, Jacques (編).オートマトン、言語、プログラミング. コンピュータサイエンス講義ノート 第14​​巻. ベルリン、ハイデルベルク: Springer. pp.  495– 510. doi : 10.1007/978-3-662-21545-6_38 . ISBN 978-3-662-21545-6。
  13. ^ Aho, Alfred V.; Corasick, Margaret J. (1975年6月). 「効率的な文字列マッチング：書誌検索の支援」 . Communications of the ACM . 18 (6): 333– 340. doi : 10.1145/360825.360855 . S2CID 207735784 . 
  14. ^ Aho, AV; Johnson, SC; Ullman, JD (1977). 「共通部分式を持つ式のコード生成」 . Journal of the ACM . 24 : 146–160 . doi : 10.1145/321992.322001 . S2CID 2614214 . 
  15. ^ Morris, Richard (2009年10月1日). 「Stephen Curtis Johnson: Geek of the Week」 . Red Gate Software . 2018年1月19日閲覧。
  16. ^ Lesk, ME; Schmidt, E. 「Lex – A Lexical Analyzer Generator」 . 2012年7月28日時点のオリジナルよりアーカイブ。2010年8月16日閲覧。
  17. ^レヴィン、ジョン・R. ; メイソン、トニー; ブラウン、ダグ (1992). lex & yacc (第2版).オライリー. pp.  1-2 . ISBN 1-56592-000-7。
  18. ^ 「DYOL: 独自の言語をデザインする — コーパス — Dragon Books — Purple Dragon」 . slebok.github.io . 2021年4月3日閲覧。
  19. ^アルフレッド・V・アホ著、ジョン・E・ホップクロフト著、ジェフリー・D・ウルマン著（1974年）『コンピュータアルゴリズムの設計と分析』アディソン・ウェスレー社、ISBN 978-0-201-00029-0。
  20. ^ a bイバラキ、スティーブン. 「ジェフリー・ウルマンとアルフレッド・エイホ、2020 ACM AMTuring賞受賞者」 . forbes.com . 2021年4月3日閲覧。
  21. ^ Aho, AV; Kernighan, BW; Weinberger, PJ (1979). 「Awk — パターンスキャンおよび処理言語」.ソフトウェア: 実践と経験. 9 (4): 267. CiteSeerX 10.1.1.80.4787 . doi : 10.1002/spe.4380090403 . S2CID 29399630 .  
  22. ^ 「言語とコンパイラ」landc.cs.columbia.edu . 2023年5月18日閲覧。
  23. ^ 「Alfred Aho の Google Scholar レコード」。
  24. ^ 「会員名簿 1780–2010: 第A章」(PDF)。アメリカ芸術科学アカデミー。2011年5月10日時点のオリジナルよりアーカイブ(PDF) 。 2011年4月6日閲覧。
  25. ^ a b「DLS – Alfred Aho」 . Cheriton School of Computer Science . 2017年2月16日. 2021年4月3日閲覧。
  26. ^やれよ、リズ。「『コンピューティングのノーベル賞』：トロント大学工学部卒業生のアルフレッド・エイホ氏がAMチューリング賞を受賞」 utoronto.ca 2021年4月3日閲覧。
  27. ^ 「米国による証拠隠滅が怒りを呼ぶ」ニューヨーク・タイムズ、1987年2月17日。 2015年11月10日閲覧– Safari経由。
  28. ^ “2017 C&C賞授賞式” . NEC C&C財団. 2018年7月10日時点のオリジナルよりアーカイブ。2021年4月3日閲覧。
  29. ^ 「ウォッチ：コンピューター科学者アルフレッド・エイホ」サイモンズ財団、2013年7月18日。 2021年4月3日閲覧。
  30. ^ 「マスター受信者リスト」。コロンビア大学卒業生協会。2023年4月15日閲覧。
  31. ^ Currents in the theory of computing、編者：Alfred V. Aho。共著者：Ronald V. Book [他]。OCLC 976868524。 
  32. ^コンピュータサイエンスの基礎。OCLC 24669768。 
  33. ^コンピュータサイエンスの基礎。OCLC 797873166。 
「 https://en.wikipedia.org/w/index.php?title=Alfred_Aho&oldid=1336463240」より取得