野崎 昭弘（のざき あきひろ、1936年8月31日 - 2025年1月15日）は、日本の数学者。大妻女子大学名誉教授。専門は、アルゴリズム理論・多値論理学。

アルゴリズムと計算量の理論研究のパイオニアとして、オートマトン理論におけるアイレンバーグ予想の解決など、世界的な優れた研究業績をあげた。さらに『ゲーデル、エッシャー、バッハ』の翻訳など、情報数学の良書の刊行に積極的に取り組み、先見性と卓越した文章力を通して若手研究者の啓蒙につとめ、今日の日本の計算基礎理論の礎を築いた。また、数学教育世界大会「国際円卓会議」に日本代表として参加するなど、情報数学教育および情報数学文化の発展に多大な寄与をした。

名字は「野﨑」が正式であり、著者名では『高等学校の数学I』（三省堂、1982年）など1982–1984年の教科書、および2003年以降の多くの書籍でそう表記されているが、それらの書誌情報を除いては一般的な「野崎」で統一する。

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

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

単著 - のち 改訂版：1967年、新版『電子計算機と数学：おさない巨人たち』：1974年。

- のち 岩波現代文庫、2011年。 - のち 改訂増補版、朝日新聞社、1990年。

- 改版: 2017年。

- のち ちくま学芸文庫、2007年。

- 初版: 月刊『たくさんのふしぎ』1986年8月号。

- 初版: 月刊『たくさんのふしぎ』1990年6月号。 - のち 中公文庫、2021年。 - のち ちくま学芸文庫、2002年。

- のち ちくま学芸文庫、2022年。

- 初版: 1976年。

共著・編著・共編著

- のち 改訂版、1989年。

のち 上記4冊を合本:

教科書

上記には、1986年に「改訂版」あり。1989年にも、同名の書籍群が刊行されている。

上記には、1998-1999年に「改訂版」あり。

翻訳

改訂版: - 著者が新たに書いた序文を収録。 。

- のち ちくま学芸文庫。

監修・監訳・編者

- ブックガイドの100冊目で『数学ブックガイド100』自体を紹介している（再帰的な紹介）。 .

- 原書:

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

出典・脚注

参考文献