アルフレッド・エイホ

アルフレッド・ヴァイノ・エイホ（Alfred Vaino Aho、1941年8月9日 - ）は、カナダ出身の計算機科学者。1995年からニューヨークのコロンビア大学で教授を務めており、2003年には同大学同窓会から Great Teacher Award を授与された。

 経歴 
カナダのトロント大学で応用物理学を学び、アメリカ合衆国のプリンストン大学で電気工学と計算機科学の博士号を取得した。1967年から1991年までベル研究所で研究者として働き、1997年から2002年まで同研究所の計算機科学研究センターの副センター長を務めた。2011年現在、コロンビア大学の計算機科学の教授。1995年から1997年までと、2003年春には同大学計算機科学部門の部門長を務めた。

博士論文で、文脈自由言語のパワーを拡張しつつ決定可能性と閉包特性を保持する indexed grammar と nested-stack automaton を生み出した。indexed grammar は並列書き換えシステム、特に生物学関連で使われてきた。

プリンストンを卒業後、ベル研究所の計算機科学研究センターで働きはじめ、効率的な正規表現と文字列のパターンマッチング・アルゴリズムを考案し、UNIXの egrep と fgrep の最初の実装を行った。fgrep のアルゴリズムはエイホ-コラシック法と呼ばれており、全文検索などで利用されている。

ベル研究所では、スティーブ・ジョンソンやジェフリー・ウルマンと共にプログラミング言語の解析や変換のための効率的アルゴリズムを研究。ジョンソンはボトムアップのLALR構文解析アルゴリズムを使い、パーサジェネレータyaccを作った。とエリック・シュミットはエイホのパターンマッチング・アルゴリズムを使い、字句解析器lexを作った。lexとyaccは各種言語のコンパイラ作成に広く使われてきた。

エイホとウルマンはコンパイラ設計についての教科書をいくつか書いている。1977年の Principles of Compiler Design は表紙に緑色のドラゴンが描かれており、"the green dragon book" と呼ばれている。も含めた三人で1986年に出版した『コンパイラ—原理・技法・ツール』は原著では赤いドラゴンが描かれた表紙で "the red dragon book" と呼ばれている。2007年にはモニカ・ラムがそれを改訂し "the purple dragon book" と呼ばれている。これらはコンパイラに関する教科書として世界中で読まれてきた。

1974年、エイホとウルマンはジョン・ホップクロフトと共にそれまでのアルゴリズム研究の成果をまとめた『アルゴリズムの設計と解析』を出版した。この本は計算機科学分野で数十年間最も引用・参照されてきた本であり、計算機科学教育でアルゴリズムとデータ構造が重視されるきっかけを作った。

また、ピーター・ワインバーガーおよびブライアン・カーニハンと共にプログラミング言語 AWK を作ったことでもよく知られている（AWK の A は Aho の A）。

エイホの2010年現在の研究分野は量子コンピュータ、プログラミング言語、コンパイラ、アルゴリズムなどである。コロンビア大学では Language and Compilers research-group に所属しているLanguages and Compilers。

 受賞と栄誉 
 IEEE フォン・ノイマンメダル（2003年）
 C&C賞（2017年）
 チューリング賞（2020年）

 全米技術アカデミー会員
 アメリカ芸術科学アカデミーフェロー（2003年）
 アメリカ科学振興協会フェロー（1986年）
 ACMフェロー（1996年）
 ベル研究所フェロー（1984年）
 IEEEフェロー（1988年）
 ウォータールー大学名誉博士号
 ヘルシンキ大学名誉博士号（1986年）
 Great Teacher Award（コロンビア大学同窓会） （2003年）
また全米科学財団やACMでも役職を務めた。

 著作 
 ジェフリー・ウルマンとの共著, The Theory of Parsing, Translation, and Compiling, Vol. 1, Parsing. Prentice Hall, 1972. ISBN 0-13-914556-7
 編著 Currents in the Theory of Computing. Prentice Hall, 1973.
 ジェフリー・ウルマンとの共著, The Theory of Parsing, Translation, and Compiling, Vol. 2, Compiling. Prentice-Hall, 1973. ISBN 978-0-13-914564-3
 ジョン・ホップクロフトとの共著, J. D. Ullman, The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974. ISBN 0-201-00023-7
 アルゴリズムの設計と解析、サイエンス社、1977年
 ジェフリー・ウルマンとの共著, Principles of Compiler Design. Addison-Wesley, 1977. ISBN 0-201-00022-9
 コンパイラ（情報処理シリーズ）、培風館、1986年
 ジョン・ホップクロフト, ジェフリー・ウルマンとの共著, Data Structures and Algorithms. Addison-Wesley, 1983. ISBN 0-201-00023-7
 データ構造とアルゴリズム（情報処理シリーズ）、培風館、1987年
 R. Sethi, ジェフリー・ウルマンとの共著, Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading MA 1986. ISBN 0-201-10088-6
 原田賢一 訳、コンパイラ—原理・技法・ツール<1>、サイエンス社、1990年。ISBN 4781905854
 原田賢一 訳、コンパイラ—原理・技法・ツール<2>、サイエンス社、1990年。ISBN 4781905862
 ブライアン・カーニハン, and ピーター・ワインバーガーとの共著, The AWK Programming Language. Addison-Wesley, 1988. ISBN 978-0-201-07981-4
 足立高穂 訳、プログラミング言語AWK、新紀元社、2004年。ISBN 4775302493
 プログラミング言語AWK、USP研究所、2010年
 ジェフリー・ウルマンとの共著, Foundations of Computer Science. W. H. Freeman/Computer Science Press, 1992.
 ジェフリー・ウルマンとの共著, Foundations of Computer Science, C Edition. W. H. Freeman, 1995. ISBN 978-0-7167-8284-1
 , , ジェフリー・ウルマンとの共著, Compilers: Principles, Techniques, and Tools, Second Edition. Addison-Wesley, 2007. ISBN 978-0-321-48681-3
 コンパイラ-原理・技法・ツール、第2版、サイエンス社、2009年

 出典 

 関連項目 
 エイホ-コラシック法

 外部リンク 
  公式ウェブサイト
 Alfred V. Aho
 Computerworld Interview with Alfred V. Aho

 Creating Reliable Programs from Unreliable Programmers [PDF], Excellentia

Category:カナダの計算機科学者
Category:カナダのプログラミング言語設計者
Category:アメリカ合衆国の計算機科学者
Category:アメリカ合衆国のプログラミング言語設計者
Category:カナダ王立協会フェロー
Category:ACMフェロー
Category:IEEEフェロー
Category:アメリカ芸術科学アカデミー会員
Category:全米技術アカデミー会員
Category:米国科学アカデミー会員
Category:UNIXに関係する人物
Category:チューリング賞受賞者
Category:C&C賞の受賞者
Category:コロンビア大学の教員
Category:ベル研究所の人物
Category:フィンランド系アメリカ人
Category:フィンランド系カナダ人
Category:トロント大学出身の人物
Category:プリンストン大学出身の人物
Category:オンタリオ州の人物
Category:1941年生
Category:存命人物