野崎昭弘

野崎 昭弘（のざき あきひろ、1936年8月31日 - 2025年1月15日）は、日本の数学者。大妻女子大学名誉教授。専門は、アルゴリズム理論・多値論理学。
アルゴリズムと計算量の理論研究のパイオニアとして、オートマトン理論におけるアイレンバーグ予想の解決など、世界的な優れた研究業績をあげた2021。さらに『ゲーデル、エッシャー、バッハ』の翻訳など、情報数学の良書の刊行に積極的に取り組み、先見性と卓越した文章力を通して若手研究者の啓蒙につとめ、今日の日本の計算基礎理論の礎を築いた2021。また、数学教育世界大会「国際円卓会議」に日本代表として参加するなど、情報数学教育および情報数学文化の発展に多大な寄与をした2021。
名字は「野﨑」が正式であり、著者名では『高等学校の数学I』（三省堂、1982年）1982など1982–1984年の教科書、および2003年2003以降の多くの書籍でそう表記されているが、それらの書誌情報を除いては一般的な「野崎」で統一する。

**略歴**
 1936年 横浜市生まれ。- 1959年3月 東京大学理学部 数学科卒業。- 1961年3月 同大学院数物系研究科 （数学専攻）修士課程修了2021。- 1961年4月 電電公社（現NTT）電気通信研究所に勤務。1963年6月まで。- 1963年7月 東京大学教養学部・基礎科学科 助手。- 1965年4月 同大学 助教授。1971年10月まで。- 1965年 日米科学協力セミナー「機械翻訳」のメンバーとして渡米2010。- 1967年9月から1969年8月までフランスのグルノーブル大学理学部・応用数学科の客員助教授として機械翻訳研究所に滞在2010。- 1971年11月 東京大学理学部・情報科学研究施設 助教授。1975年3月まで。- 1971年「Functional completeness in the family of spectra（スペクトルの類における関数生成に関する完全性）」で東京大学理学博士。- 1975年 山梨大学工学部・計算機科学科 教授。- 1979年 国際基督教大学教養学部・理学科 教授2021。1993年3月まで。- 1985年 『ゲーデル、エッシャー、バッハ』の訳者の一人として、はやしはじめ、柳瀬尚紀とともに日本翻訳文化賞を受賞1985。- 1993年4月 大妻女子大学社会情報学部 教授2021。- 1998年4月 大妻女子大学社会情報学部 学部長。2002年3月まで。- 1998年8月より、民間教育団体「数学教育協議会」委員長2010。2008年8月まで。- 2002年 日本数学協会 理事2010。- 2003年 情報処理学会 フェロー2010。- 2003年 日本数学教育学会 85周年特別表彰を受賞2010。- 2007年 第6回日本数学会出版賞を受賞2007。- 2007年 大妻女子大学を定年退任、名誉教授。サイバー大学IT総合学部 教授2010- 2015年 春の叙勲で瑞宝中綬章 受章。- 2025年1月15日 死去。享年89 (満88歳)。

**著書**
国立情報学研究所 (NII) の著作リスト2023に基づいて著作物を列挙する。

**単著**
 cite book|和書  
publisher=ダイヤモンド社 |year=1965 - のち 改訂版：1967年、新版『電子計算機と数学：おさない巨人たち』：1974年。- date=1970-03- cite book|和書  
publisher=サイエンス社 |series=サイエンスライブラリ情報電算機 2 |date=1970-09- cite book|和書  
publisher=共立出版 |year=1972  - date=1974-02-  - のち 岩波現代文庫、2011年。- year=1974 - のち 改訂増補版、朝日新聞社、1990年。- date=1976-07- cite book|和書  
publisher=中央公論新社 |series=中公新書 - 改版: 2017年。- year=1978- cite book|和書  
publisher=近代科学社 |series=コンピュータサイエンス大学講座 10 |date=1980-08- series=中公新書 593- cite book|和書  
publisher=白揚社 |date=1981-09- date=1981-12- year=1982-04- date=1984-02  - cite book|和書  
others=安野光雅(絵) |publisher=童話屋 |series=美しい数学 5 |date=1984-04- year=1985- date=1986-06- cite book|和書  
publisher=日本評論社 |series=たのしいすうがく 1 |date=1987-10 - のち ちくま学芸文庫、2007年。- date=1987-10- year=1988- cite book|和書  
others=タイガー立石(絵) |publisher=福音館書店 |series=たくさんのふしぎ傑作集 |year=1989 - 初版: 月刊『たくさんのふしぎ』1986年8月号。- cite book|和書  
title=エッシャーからの贈り物 |others=ソニーHDソフトセンター ハイビジョン |publisher=小学館 |date=1990-05 |isbn=978-4097270515- cite book|和書  
publisher=筑摩書房 |series=ちくまライブラリー 41 |date=1990-05- cite book|和書  
series=朝日選書 416- date=1992-12- date=1994-04- date=1994-06 - 初版: 月刊『たくさんのふしぎ』1990年6月号。- cite book|和書  
publisher=増進会出版社 |series=Z会ペブル選書 1 |date=1995-05 - のち 中公文庫、2021年。- year=1996-09 - のち ちくま学芸文庫、2002年。- cite book|和書  
publisher=三省堂 |year=1998-10- year=1999- cite book|和書  
publisher=ナツメ社 |year=2005- cite book|和書  
publisher=講談社 |date=2009-11- date=2011-02- series=PHPサイエンス・ワールド新書 048- date=2012-07 - のち ちくま学芸文庫、2022年。- cite book|和書 |author=野﨑昭弘 |title=はじまりの数学 |publisher=筑摩書房 |series=ちくまプリマー新書 187 |date=2012-10- cite book|和書  
publisher=ブックマン社 |series=知と学びのシリーズ |year=2014- cite book|和書 |author=野﨑昭弘 |title=「P≠NP」問題 : 現代数学の超難問 |publisher=講談社 |series=講談社ブルーバックス 1933 |year=2015
*date=2016-10
*date=2017-04 - 初版: 1976年。
*date=2021-06

**共著・編著・共編著**
 cite book|和書 |author2=野崎昭弘 |title=言語の数理 |author1=安本美典 |publisher=筑摩書房 |series=数理科学シリーズ 13 |year=1976 - cite book|和書 |author1=野崎昭弘 |title=情報数学入門 |author2=田中公治 |publisher=サイエンス社 |series=サイエンステキストライブラリ 7 |year=1979 - cite book|和書 |title=計算の効率化とその限界 |author1=伊理正夫 |author2=野崎昭弘 |author3=野下浩平 編著 |series=数学セミナー 増刊. 入門・現代の数学 |publisher=日本評論社 |date=1980-07- year=1984 - のち 改訂版、1989年。- cite book|和書 |title=コンピュータから生まれた新しい数学 |editor1=野崎昭弘 |editor2=広瀬健 |series=別冊・数学セミナー. コンピュータと数学 |publisher=日本評論社 |date=1986-04- cite book|和書 |title=現代応用数学の基礎 |volume=第1巻–第3巻 |author1=伊理正夫 |author2=垣田高夫 |author3=笠原晧司 |author4=戸川隼人 |author5=野崎昭弘 |author6=廣瀬健 |author7=前原昭二 |author8=森毅 著 |series=別冊・数学セミナー |publisher=日本評論社 |date=1987 - author5=武藤徹 - year=1993 - cite book|和書 |editor=野崎昭弘 |title=のびのびBASIC : すぐ使える高校数学の授業集 |author=何森仁ほか |publisher=三省堂 |date=1995-01 - cite book|和書 |author1=野崎昭弘 |title=計算の理論 |author2=仙波一郎 |others=放送大学教材 |publisher=放送大学教育振興会 |date=1995-07 - cite book|和書 |author1=野崎昭弘 |title=微分・積分の意味がわかる : 数学の風景が見える |author3=伊藤潤一 |author2=何森仁 |author4=小沢健一 |publisher=ベレ出版 |year=2000 - date=2001-02 - date=2001-10 
** のち 上記4冊を合本: year=2011 - date=2012-03 - date=2012-04- cite book|和書 |editor3=野﨑昭弘 |title=算数・数学つまずき事典 |editor1=数学教育協議会 |editor2=小林道正 |publisher=日本評論社 |date=2012-08 - date=2013-10- cite book|和書 |title=数学まなびはじめ |volume=第3集 |editor=数学のたのしみ編集部 |author1=石井志保子 |author2=三村昌泰 |author3=加藤和也 |author4=新井紀子|author5=野﨑昭弘 |author6=時枝正 ほか |publisher=日本評論社 |date=2015-7

**教科書**
 date=1982-03- date=1983-03- date=1983-03- date=1983-03- date=1983-03- date=1983-03- date=1983-03- date=1984-03- date=1984-03- date=1984-03- date=1984-03
** 上記には、1986年に「改訂版」あり。1989年にも、同名の書籍群が刊行されている。- date=1988-03- date=1988-03- date=1989-03- date=1989-03- date=1994-03- date=1994-03- date=1994-03- date=1994-03- date=1995-03- date=1995-03- date=1995-03- date=1995-03- date=1995-03- date=1995-03- date=1996-03- date=1996-03
** 上記には、1998-1999年に「改訂版」あり。- date=2011-08- date=2012-04- date=2012-10

**翻訳**
 cite book|和書 |translator=野崎昭弘、木村泉 ほか |author=J. E. ホップクロフト |author2=J. D. ウルマン |title=言語理論とオートマトン |publisher=サイエンス社 |year=1971 |series=サイエンスライブラリ情報電算機 6 - cite book|和書 |translator=南雲仁一、野崎昭弘 |author=ジェームズ・R. スレイグル |title=人工知能 : 発見的プログラミング |publisher=産業図書 |year=1972 - year=1973 - year=1974 - cite book|和書 |translator=野崎昭弘、野下浩平 ほか |author1=A. V. エイホ |author2=J. E. ホップクロフト |author3=J. D. ウルマン |title=アルゴリズムの設計と解析 |volume=Ⅰ |publisher=サイエンス社 |series=サイエンスライブラリ情報電算機 35 |year=1977 - cite book|和書 |translator=野崎昭弘、高岡稔 |author=ラリー・ゴニック |title=漫画コンピュータ・サイエンス |publisher=白揚社 |date=1984-07 - date=1984-08 - cite book|和書 |translator=野崎昭弘、はやしはじめ、柳瀬尚紀 |author=ダグラス・R・ホフスタッター |title=ゲーデル, エッシャー, バッハ : あるいは不思議の環 |publisher=白揚社 |year=1985 
** 改訂版: year=2005  - 著者が新たに書いた序文を収録。- ISBN=978-4-7819-0436-8  ISBN 978-4-7819-0437-5。- year=1988 - cite book|和書 |translator=野崎昭弘 監訳、野崎昭弘、野崎昌弘、市川洋介 |author=A. K. デュードニー |title=プラニバース : 二次元生物との遭遇 |publisher=工作舎 |year=1989 - year=1991 - date=1994-06 - cite book|和書 |translator=吉田夏彦、野崎昭弘 |author=W・V・クワイン |title=哲学事典 : ～とは何であるかを考える |publisher=白揚社 |date=1994-07  - のち ちくま学芸文庫。- year=1996 - cite book|和書 |translator=野崎昭弘 |author=レイモンド・スマリヤン |title=シャーロック・ホームズのチェスミステリー |publisher=マイナビ出版 |year=1998 - year=2009 

**監修・監訳・編者**
 year=1974- date=1979-07-  - ブックガイドの100冊目で『数学ブックガイド100』自体を紹介しているpp=200-201（再帰的な紹介）。- year=1985.- date=1988年–- date=1993年5月–- date=1994年1月–- cite book|和書 |title=コンピュータ基礎理論ハンドブック |editor=Jan van Leeuwen |translator=廣瀬健, 野崎昭弘, 小林孝次郎 監 |publisher=丸善 |date=1994-02- date=1995-09- date=1997年4月–- date=2004-10 - 原書: year=1973

**受賞**
 1985年 第22回日本翻訳文化賞1985- 2003年 日本数学教育学会 85周年特別表彰2010- 2007年 日本数学会 出版賞2007- 2015年 瑞宝中綬章

**出典・脚注**

**参考文献==