デンマーク人計算機科学者チューリング賞受賞者プログラミング言語設計者

ピーター・ナウア

デンマークのコンピュータ科学者ピーター・ナウアは、バッカス・ナウア記法の共同考案者であり、ALGOL 60に貢献し、2005年にチューリング賞を受賞した。

1. 概要

ピーター・ナウア(Peter Naur英語、1928年10月25日 - 2016年1月3日)は、デンマークのコンピュータ科学の先駆者であり、2005年のチューリング賞受賞者である。彼はプログラミング言語の文法を記述するために広く用いられるバッカス・ナウア記法(BNF)の共同考案者の一人として特に知られている。また、歴史的に重要なプログラミング言語であるALGOL 60の設計と定義にも大きく貢献した。

ナウアの功績は、単に技術的な革新に留まらない。彼は、プログラミングを数学の一部として形式的に捉える見解に反対し、プログラミングは本質的に「人間活動」であるという視点を提唱した。また、「コンピュータ科学」という用語を嫌い、代わりに「datalogy英語」(データ学)という用語を提案し、デンマークやスウェーデンでは彼の提案した「datalogiデンマーク語」がこの分野の名称として採用されている。晩年には、経験論的視点から科学全体を考察し、人間の思考に関する「Synapse-State Theory of Mental Life英語」(精神生活のシナプス状態理論)を展開するなど、哲学や心理学にも深く関心を寄せた。彼の多角的な視点と、コペンハーゲン大学におけるコンピュータ科学教育への貢献は、「コペンハーゲン学派」として知られる独自の伝統を築き、理論と実践を結びつける教育モデルの先駆けとなった。

2. 人物・経歴

ピーター・ナウアは、天文学者としてのキャリアからコンピュータ科学の分野へと転身し、学術界でその名を確立した。

2.1. 幼少期と教育

ピーター・ナウアは、1928年10月25日にデンマークのフレゼリクスベア(シェラン島内)で生まれた。彼はコペンハーゲン大学で天文学を学び、1949年に卒業した。1953年から1959年にかけては、同大学の天文台で研究に励み、1957年には天文学の博士号(Ph.D.)を取得した。

2.2. コンピュータ科学への転向

天文学者としての教育と研究を進める中で、ナウアはコンピュータとの出会いを経験し、これが彼の専門分野を大きく転換させるきっかけとなった。彼は天文学の道を離れ、新たにコンピュータ科学の分野へと足を踏み入れた。

2.3. Regnecentralenおよび学術界でのキャリア

1959年から1969年までの間、ナウアはデンマークのコンピュータ企業であるRegnecentralenに勤務した。この期間、彼は同時にニールス・ボーア研究所やデンマーク工科大学で講義を担当し、教育活動にも従事した。

1969年にはコペンハーゲン大学に招かれ、コンピュータ科学の教授に就任した。彼の任務は、同大学にコンピュータ科学研究のための研究所(現在のコペンハーゲン大学コンピュータ科学部)を設立することであった。彼は1998年までこの職を務め、大学におけるコンピュータ科学の発展に尽力した。

また、ナウアは国際情報処理連盟(IFIP)のアルゴリズム言語および計算に関するIFIPワーキンググループ2.1のメンバーでもあった。このワーキンググループは、プログラミング言語ALGOL 60およびALGOL 68の仕様を策定し、そのサポートと保守を行っている。さらに、1960年から1993年にかけて、数値解析に焦点を当てた専門誌『BIT Numerical Mathematics』の編集委員を務めた。

3. 主な業績

ピーター・ナウアは、プログラミング言語の形式化、コンピュータプログラムの研究、そしてソフトウェア工学の分野において、多大な影響力を持つ貢献を行った。

3.1. プログラミング言語への貢献

ナウアの最もよく知られた業績の一つは、ジョン・バッカスと共にプログラミング言語の構文を記述するために使用されるバッカス・ナウア記法(BNF)の開発に貢献したことである。この記法は、ほとんどの現代のプログラミング言語の構文定義において標準的なツールとなっている。しかし、ナウア自身はドナルド・クヌースによって自身に帰属させられた「バッカス・ナウア記法」という名称を好まず、本来の名称である「Backus Normal Form英語」(バッカス正規形)と呼ばれることを好んだ。これは、プログラミングにおける過度な形式主義への彼の反発を反映している。

また、彼は歴史的に極めて重要なプログラミング言語であるALGOL 60の設計に中心的な役割を果たした。特に、BNFを先駆的に使用した画期的な文書「Report on the Algorithmic Language ALGOL 60英語」の編集者として、彼の功績は高く評価されている。

3.2. コンピュータ科学の研究

ナウアの主な研究領域は、コンピュータプログラムやアルゴリズムの設計、構造、そして性能の分析であった。彼はソフトウェア工学およびソフトウェアアーキテクチャの分野における先駆者としても知られている。

彼の著書『Computing: A Human Activity英語』(1992年)では、プログラミングを数学の一分野とみなす形式主義的な学派の見解を批判し、プログラミングは本質的に人間活動であるという彼の独自の視点を表明した。ナウアはまた、「コンピュータ科学」という用語を嫌い、「datalogy英語」(データ学)と呼ぶことを提案した。この用語は、デンマークとスウェーデンでは「datalogiデンマーク語」としてこの分野の正式名称として採用されている。一方で、「データサイエンス」という用語は現在、統計学やデータベースを含むデータ分析の分野で用いられている。

ナウアがコペンハーゲン大学で教鞭を執り始めた1960年代半ば以降、デンマークでは彼が提唱した「データプロセス科学」としての「datalogiデンマーク語」の概念に基づいてコンピュータ科学が実践されてきた。レグネセントラーレンとコペンハーゲン大学から始まった「コペンハーゲン学派のコンピュータ科学」は、応用分野や他の知識分野との密接な連携を通じて、独自の特性を発展させた。この伝統は、教育分野で特に顕著であり、包括的なプロジェクト活動がカリキュラムの不可欠な部分として組み込まれている。これにより、理論は実際の経験を通じて知られる現実的な解決策の一側面として提示される。ナウアは、コンピュータ科学が提示する独自の教育的課題を早期に認識しており、彼の革新的な教育手法は他の大学でもその質と活力を証明している。コペンハーゲン大学で形成されたコンピュータ科学のトレーニングと、ピーター・ナウアの研究を特徴づけるコンピュータ科学の視点との間には、密接な関連性がある。

4. 思想

ピーター・ナウアは、コンピュータ科学の本質、プログラミングのアプローチ、そして科学全般に対する独自の哲学的な見解を持っていた。

4.1. プログラミングとコンピュータ科学に関する見解

ナウアは、プログラミングにおける過度な形式主義に強く反対した。彼は、プログラミングが数学の一部であると見なされることに対し、著書『Computing: A Human Activity英語』の中で明確にその見解を拒絶している。彼は、プログラミングの本質は人間活動にあり、単なる形式論理の適用に還元されるものではないと主張した。

この思想は、彼がバッカス・ナウア記法を自身の名で呼ぶことに抵抗し、「Backus Normal Form英語」(バッカス正規形)を好んだことにも表れている。これは、技術的貢献の認識を拒否するものではなく、その名称が過度に形式的な印象を与え、プログラミングのより広範な実践的側面を見過ごすことを懸念したためである。

また、ナウアは「コンピュータ科学」(computer science英語)という学術用語を好まず、代わりに「datalogy英語」(データ学)という用語を提唱した。この用語は、デンマークやスウェーデンでそれぞれの言語に合わせた形で「datalogiデンマーク語」としてこの分野の正式名称として採用されている。彼の視点では、コンピュータは単なる道具であり、この分野の核心は「データプロセス」の科学にあるべきだと考えられた。

4.2. 哲学的・心理学的理論

晩年、ナウアは科学全体に関する率直な見解を表明するようになった。彼は、経験論的学派、すなわち、世界に現れる事物の間に深いつながりを求めるのではなく、観測可能な事実に固執すべきであるという考え方と結びつけられる可能性がある。彼はこの視点から、特定の哲学や心理学の潮流を批判した。

さらに、彼は人間の思考に関する独自の理論「Synapse-State Theory of Mental Life英語」(精神生活のシナプス状態理論)を開発した。この理論は2004年に発表され、その後も発展が続けられている。この理論は、精神的な状態を脳内のシナプスの状態と結びつけることで、人間の思考プロセスを理解しようとするものである。

5. 私生活

ピーター・ナウアは、同じくコンピュータ科学者であるクリスティアーネ・フロイドと結婚していた。彼の元自宅であるゲントフテの家は現在、社会学者のクレア・マックスウェルが所有している。

6. 死去

ピーター・ナウアは、短い闘病の後、2016年1月3日に87歳で永眠した。

7. 受賞歴

ピーター・ナウアは、コンピュータ科学分野への多大な貢献が認められ、数々の賞を受賞している。

彼の最も著名な受賞は、2005年に計算機学会(ACM)から授与されたA.M.チューリング賞である。この賞は、ALGOL 60プログラミング言語の定義における彼の業績、特にバッカス・ナウア記法(BNF)を先駆的に使用した影響力のある「Report on the Algorithmic Language ALGOL 60英語」の編集者としての役割が評価されたものである。彼はチューリング賞を受賞した唯一のデンマーク人である。

8. 著作リスト

ピーター・ナウアは、天文学、コンピュータ科学、社会問題、クラシック音楽、心理学、教育など、多岐にわたる分野で数多くの記事や書籍を発表している。以下に主要な著作の一部を挙げる。

  • 『Minor planet 51 Nemausa and the fundamental system of declinations英語』(学位論文、1957年)
  • (編集者)「Report on the algorithmic language ALGOL 60英語」(『Communications of the ACM英語』第3巻第5号、299-314頁、1960年5月、およびその他の複数の学術誌に掲載)
  • (編集者)「Revised report on the algorithmic language ALGOL 60英語」(『Communications of the ACM英語』第6巻第1号、1-17頁、1963年1月)
  • 「Go to statements and good Algol style英語」(『BIT Numerical Mathematics英語』第3巻第3号、204-208頁、1963年)
  • (B. Randell、J. N. Buxtonとの共編)『The Conference on Software Engineering, 7-11 October 1968英語』(231頁、1969年、1976年再版)
  • (C. Gram、J. Hald、H. B. Hansen、A. Wesselとの共著)『Datamatikスウェーデン語』(Studentlitteratur、1969年)
  • (B. Pedersenとの共著)『Matematik 4 kursusbogデンマーク語』(2巻、コペンハーゲン大学、1971年、第2版1972年)
  • 『Concise Survey of Computer Methods英語』(397頁、Studentlitteratur、1974年)
  • 『Datalogi 2 1975/76デンマーク語』(102頁、コペンハーゲン大学、1975年、新版1976年)
  • 『Computing: A Human Activity英語』(656頁、ACM Press/Addison-Wesley、1992年)
  • 『Knowing and the Mystique of Logic and Rules: Including True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science英語』(365頁、Springer、1995年)
  • 『Antifilosofisk leksikon: Tænkning - sproglighed - videnskabelighedデンマーク語』(111頁、Naur.com publ.、1999年、ISBN 87-987221-0-7、英語版2001年、ISBN 87-987221-1-5)
  • 『Psykologi i videnskabelig rekonstruktionデンマーク語』(113頁、Naur.com、2002年、ISBN 978-87-987221-2-0)
  • 「Computing versus human thinking英語」(『Communications of the ACM英語』第50巻第1号、85-94頁、2007年1月)
  • (E.G. Daylightとの共著)『Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains英語』(iii + 127頁、Lonely Scholar、2011年、ISBN 978-94-91386-00-8)

9. 関連項目

  • コンピュータ科学の先駆者の一覧

10. 外部リンク

  • [http://www.naur.com/ ピーター・ナウアの個人ウェブサイト](詳細な[http://www.naur.com/bibliography.html 書誌情報]を含む)
  • [https://web.archive.org/web/20070927205744/http://www.idiap.ch/mmm/talk-webcast/uist-06/uist06_day1#2006-10-16_09h02 2006年のUISTでの講演]
  • [https://amturing.acm.org/award_winners/naur_1024454.cfm ACM チューリング賞2005年度ピーター・ナウアのプロフィール]