Loading article…
アニル・ネロード（1932年生まれ）はアメリカの数学者であり、数理論理学の研究と、コーネル大学で数十年にわたり教授を務めたことで知られています。
彼はシカゴ大学で学士号と数学の博士号を取得した。後者はサンダース・マクレーンの指導の下で取得された。1947年、15歳でシカゴ大学ハッチンズ・カレッジに入学し、1956年に博士号を取得した。彼の博士論文は、多ソート自由代数における置換の代数的抽象定式化と、部分再帰関数の等式定義との関係に関するものであった。[1]
大学院在学中の1954年から、彼はウォルター・バートキー教授の航空兵器研究所で働き、そこではアメリカ空軍の機密研究を行っていた。博士号取得後も1956年から1957年までそこで働き続けた。1957年の夏、彼はコーネル大学NSFの1957年夏季論理学研究所に出席した。1958年から1959年にかけて、彼はニュージャージー州プリンストンの高等研究所に行き、そこでクルト・ゲーデルと研究を行った。彼はまた、カリフォルニア大学バークレー校で大学院研究を行った。[2]
1959年にコーネル大学から教授職のオファーを受けたとき、彼はそれを受け入れた。以前キャンパスを訪れた際に「今まで見た中で最も美しい場所だ」と思ったからである。[2]ネロードはコーネル大学のゴールドウィン・スミス数学教授であり、1991年にその職に任命された。[2]彼の関心は数理論理学、オートマトン理論、計算可能性と複雑性理論、変分法、分散システムにある。ネロードはジョン・マイヒルとともに、形式言語が正規であるための必要十分条件を特定するマイヒル-ネロードの定理を証明した。[3] [4] [5]ネロードはバカディル・フサイノフとともに、自動群の理論の拡張である自動構造の理論を確立した。
2019-20年度は、ネロード氏がコーネル大学の現役教員として60年目を迎えた年度であり、大学によれば、これは同大学史上最長の在職期間であった。[2] 2022年には、同氏のこの分野への貢献を祝うため、ネロード90会議がオンラインで開催されました。[6]
ネロードは、 Annals of Mathematics and Artificial Intelligence、[7]、 Mathematical and Computer Modelling、[8]、 Documenta Mathematica [9]など の雑誌の編集委員を務めています。
2012年に彼はアメリカ数学会の会員になった。[10]
注記
- ^ 1992年までのネロードの数学的研究については、ネロードの元学生 JB RemmelとJN Crossleyが共著した「The Work of Anil Nerode: A Retrospective」を参照。これは1992年の記念論文集『Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday』（JN Crossley、Jeffrey B. Remmel、Richard A. Shore、Moss E. Sweedler編、Birkhäuser、1993年、ISBN 0-8176-3690-0）に掲載されている。
- ^ abcd レフコウィッツ、メラニー（2019年9月11日）。「長年の放浪の末、最長在職教授がコーネル大学に居場所を見つける」。コーネルクロニクル。コーネル大学。 また、コーネル大学数学科の2020年1月のMath Mattersニュースレター2ページにも掲載されています。
- ^ Martin Davis、Elaine J. Weyuker、「計算可能性、複雑性、言語：理論計算機科学の基礎」、 Elsevier、1994 年、 ISBN 978-0-12-206382-4、第 7 章、Myhill-Nerode の定理。
- ^ John Myhill (1957 年 11 月)。「有限オートマトンとイベントの表現」。Anil Nerode、Burton P. Sauer (編)。システム理論の基本概念 (WADC 技術レポート)。ライト航空開発センター。pp. 112–137。 ASTIA文書番号 AD 155741
- ^ アニル・ネロード (1958). 「線形オートマトン変換」.アメリカ数学会紀要. 9 (4): 541–544. doi : 10.1090/S0002-9939-1958-0135681-9 . JSTOR 2033204.
- ^ Math Mattersニュースレター、コーネル大学数学科、2022-2023年冬季、10ページ。
- ^ 編集委員会、Annals of Mathematics and Artificial Intelligence、Springer-Verlag。2010年1月21日にアクセス
- ^ 編集委員会、数学およびコンピュータモデリング、エルゼビア。2010年1月21日にアクセス。
- ^ 編集委員会アーカイブ 2013-01-21 at the Wayback Machine、Documenta Mathematica、イリノイ大学。2010年1月21日アクセス
- ^ アメリカ数学会フェロー一覧、2013年2月24日閲覧。
参考文献
- John E. HopcroftおよびJeffrey D. Ullman 著、『オートマトン理論、言語、計算入門』、Addison-Wesley Publishing、マサチューセッツ州リーディング、1979 年。ISBN 0-201-02988 -X。(Myhill-Nerode の定理については第 3 章を参照)
外部リンク
- アニル・ネロードのホームページ