アルフレッド・アホ

アルフレッド・ヴァイノ・アホ（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]を考案したが、その決定可能性と閉包性の多くを維持している。インデックス文法の応用例の1つは、特に生物学分野における並列書き換えシステムのモデル化である^{[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]を執筆しました。この本は、数十年にわたってコンピュータサイエンスで最も引用された本の1つとなり、アルゴリズムとデータ構造の作成をコンピュータサイエンスのカリキュラムの中心的コースとして刺激するのに役立ちました。^[20]

アホはピーター・J・ワインバーガーとブライアン・カーニハンと共同でAWKプログラミング言語を開発した人物としても広く知られている（「A」は「アホ」の略）。^[21] 2010年現在、アホの研究対象はプログラミング言語、コンパイラ、アルゴリズム、量子コンピューティングなどである。彼はコロンビア大学の言語とコンパイラの研究グループに所属している。^{[22][アップデート]}

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

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

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

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

• AV Aho とJD Ullman 著『構文解析、翻訳、コンパイルの理論』第 1 巻、構文解析。Prentice Hall、1972 年。ISBN  0-13-914556-7
• AV Aho（編）『コンピューティング理論の潮流』 Prentice Hall、1973年、ISBN 0-13-195651-5 ^[31] 
• AV Aho とJD Ullman 著『構文解析、翻訳、コンパイルの理論』第 2 巻、コンパイル。Prentice -Hall、1973 年。ISBN 978-0-13-914564-3 
• Aho, Alfred V.; Hopcroft, John E .; Ullman, Jeffrey D. (1974)。 『コンピュータアルゴリズムの設計と分析』 Addison-Wesley。ISBN 978-0-201-00029-0。
• AV Aho とJD Ullman著『コンパイラ設計の原則』 Addison-Wesley、1977 年。ISBN 0-201-00022-9 
• AV Aho、JE Hopcroft、JD Ullman、「データ構造とアルゴリズム」。Addison - Wesley、1983年。ISBN 0-201-00023-7 
• AV Aho、 R . Sethi、JD Ullman、「コンパイラ：原理、テクニック、ツール」、 Addison-Wesley、Reading MA 1986年。ISBN 0-201-10088-6 
• AV Aho、BW Kernighan、およびPJ Weinberger、AWK プログラミング言語。アディソン・ウェスリー、1988 年。ISBN 978-0-201-07981-4 
• AV AhoとJD Ullman、コンピュータサイエンスの基礎。WH Freeman/Computer Science Press、1992年。ISBN 978-0-7167-8233-9 [ 32 ^{] [33]} 
  • AV Aho およびJD Ullman 著、『コンピュータサイエンスの基礎、C 版』。WH Freeman、1995 年。ISBN 978-0-7167-8284-1 
• AV Aho、MS Lam、R. Sethi、JD Ullman、『コンパイラ：原理、テクニック、ツール』第 2 版。Addison -Wesley、2007 年。ISBN 978-0-321-48681-3 

• Aho、zbMATHの Alfred Vaino
• ACMデジタル ライブラリの Alfred V Aho