野崎昭弘
概要
野崎昭弘(のざき あきひろ、
1936年8月31日 - 2025年1月15日)は、日本の著名な
数学者であり、
大妻女子大学の名誉教授です。専門は
アルゴリズム理論と多値論理学であり、その研究と教育活動は多岐にわたりました。
略歴
横浜市で生まれた野崎昭弘は、1959年に東京大学理学部数学科を卒業し、
1961年には同大学院数物系研究科修士課程を修了しました。その後、電電公社(現在のNTT)電気通信研究所、東京大学教養学部講師を経て、
1967年から
1969年までフランスのグルノーブル大学に滞在し、研究活動に従事しました。
帰国後、東京大学教養学部助教授を経て、
1971年に「Functional completeness in the family of spectra(スペクトルの類における関数生成に関する完全性)」で東京大学より理学博士号を取得しました。その後、
1972年に同理学部助教授、
1975年には
山梨大学工学部教授、
1979年には
国際基督教大学教授を歴任しました。
1993年からは
大妻女子大学社会情報学部教授として教鞭をとり、
2007年に定年退任し、名誉教授となりました。退任後も
サイバー大学IT総合学部教授として教育に携わりました。
受賞歴と業績
野崎昭弘は、その学術的な業績に加え、『
ゲーデル、エッシャー、バッハ』の翻訳者の一人としても広く知られています。はやしはじめ、
柳瀬尚紀と共に
1985年度の日本翻訳文化賞を受賞しました。また、2015年春の叙勲では、瑞宝中綬章を受章し、その長年の教育と研究への貢献が称えられました。
主な著書
野崎昭弘は、数多くの著作を執筆し、数学、情報科学、論理学の分野で広く読まれています。その著作は、専門的な内容から一般向けの啓蒙書まで多岐にわたります。
単著
『電子計算機と数学』(1965年)
『教養電子計算機』(1970年)
『現代教養数学 集合論から電算機プログラミングまで』(1970年)
『スイッチング理論 電子計算機基礎講座』(
1972年)
『基礎数学概論』(1974年)
『とらんぷ』(1974年)
『πの話』(1974年)
『詭弁論理学』(1976年)
『二進法』(1978年)
『逆説論理学』(1980年)
『離散系の数学』(1980年)
『新教養の数学』(1981年)
『数学屋の楽しみ パズル・ゲーム・言葉の遊びetc.』(1981年)
『数学屋のうた ことば・論理・コンピュータetc.』(1982年)
『赤いぼうし』(1984年)
『計算機数学』(1984年)
『新コンピュータ概論』(
1985年)
『人間=コンピュータ=人工知能』(1986年)
『数学的センス』(1987年)
『人工知能はどこまで進むか』(1988年)
『さかさまさかさ』(1989年)
『エッシャーからの贈り物』(1990年)
『トランプ ひとり遊び88選』(1990年)
『ロジカルな将棋入門』(1990年)
『フレ!フレ!100まんべん』(1992年)
『アナログ?デジタル?ピンポーン!』(1994年)
『組合せ論・グラフ理論』(1994年)
『まるさんかく論理学』(1995年)
『不完全性定理 数学的体系のあゆみ』(1996年)
『一(一語の辞典)』(1998年)
『
アルゴリズムとプログラミング技法』(1999年)
『人生が楽しくなる確率』(2005年)
『離散数学「数え上げ理論」 「おみやげの配り方」から「Nクイーン問題」まで』(2008年)
『解ける問題解けない問題』(2009年)
『人間・社会・コンピュータの情報処理原論』(2009年)
『数学で未来を予測する ギャンブルから経済まで』(2011年)
『なっとくする群・環・体』(2011年)
『はじまりの数学』(2012年)
『人はなぜ、同じ間違いをくり返すのか』(2014年)
『「P≠NP」問題 現代数学の超難問』(2015年)
『数学と方法 もっと数学が好きになるヒント』(2016年)
『詭弁論理学 改版』(2017年)
『まるさんかく論理学 数学的センスをみがく』(2021年)
『算数・数学の基本常識 大切なのは数学的センス』(2021年)
共編著
『言語の数理』(1976年)
『情報数学入門』(
1979年)
『生き生きパソコン すぐに役立つ高校数学の授業』(1990年)
『現代数学の風景』(
1993年)
『計算の理論』(1995年)
『のびのびBASIC すぐ使える高校数学の授業集』(1995年)
『微分・積分の意味がわかる―数学の風景が見える』(2000年)
『統計・確率の意味がわかる―数学の風景が見える』(2001年)
『家庭の算数・数学百科』(2005年)
翻訳
『言語理論とオートマトン』(
1971年)
『人工知能 発見的プログラミング』(
1972年)
『組合せ論の基礎』(1973年)
『問題解決の理論 人工知能の基礎』(1974年)
『
アルゴリズムの設計と解析』(1977年)
『オートマトン言語理論計算論』(1984-86年)
『漫画コンピュータ・サイエンス』(1984年)
『ゲーデル,エッシャー,バッハ あるいは不思議の環』(
1985年)
『人工知能と人間』(1986年)
『計算論とオートマトン理論』(1988年)
『プラニバース 二次元生物との遭遇』(1989年)
『電脳生物たち 超AIによる文明の乗っ取り』(1991年)
『コンピュータが驚異的によくわかる 漫画』(1994年)
『哲学事典 ~とは何であるかを考える』(1994年)
『Computing辞典』(1996年)
『シャーロック・ホームズのチェスミステリー』(1998年)
『人生に必要な数学50』(2009年)
参考文献
解ける問題 解けない問題 - 紀伊国屋書店BookWeb
野崎昭弘 - 情報処理学会
まとめ
野崎昭弘は、その多岐にわたる研究と教育活動を通じて、数学、情報科学、論理学の分野に多大な貢献をしました。彼の著作や翻訳は、多くの学生や研究者に影響を与え、その業績は今後も長く語り継がれるでしょう。