ピーター・ナウア

出典: フリー百科事典『ウィキペディア（Wikipedia）』

ピーター・ナウア（Peter Naur、1928年 10月25日 - ）はデンマークの情報工学者であり、チューリング賞受賞者。バッカス・ナウア記法に名前が使われている。バッカス・ナウア記法はプログラミング言語の文法を記述するのに使われている。ALGOL 60プログラミング言語の創造に貢献した。

1957年、天文学の博士号を取得したが、コンピュータと出会ったことでその後の進路が変わった。1959年から1969年までナウアはデンマークのコンピュータ企業 Regnecentralen に勤務し、同時にニールス・ボーア研究所やデンマーク工科大学で教鞭をとっている。1969年から1998年まで、ナウアはコペンハーゲン大学の計算機科学の教授を務めた。

ナウアの主な研究分野はプログラムとアルゴリズムの構造、設計、性能などである。ナウアはソフトウェア工学やソフトウェアアーキテクチャといった分野でも先駆的な研究を行った。彼の著作 Computing: A Human Activity（1992年）にはナウアの計算機科学での業績が集められているが、この中で彼は数学的観点からプログラムを見る形式主義を拒絶する態度を表明している。また、バッカス・ナウア記法に関連付けられることも好まず（ドナルド・クヌースが名付け親）、Backus Normal Form と呼ぶべきだとしている。

後年、ナウアは科学全体について率直に語るようになった。ナウアは経験論者と言えるかも知れない。経験論では観測された事実を重んじる。ナウアは哲学と心理学の一部を経験論的観点で攻撃した。

ナウアはALGOL 60プログラミング言語の定義に関する貢献に対して2005年のチューリング賞を授与された。特にバッカス・ナウア記法を最初に使った "Report on the Algorithmic Language ALGOL 60" では編集者の役割を果たした。

[編集] 主な著作物

番号は下記外部リンク(bibliography)のもの。ピーター・ナウアは天文学と計算機科学、社会問題、クラシック音楽、心理学、教育などに関して数々の文書を発表している。

66. Minor planet 51 Nemausa and the fundamental system of declinations, 学位論文, 1957年
95. (編) "Report on the algorithmic language ALGOL 60", 1960年, 右記を含むいくつかの論文誌に掲載, Communication of the ACM 3, 6 (1960年6月), pp. 299-314
128. (編) "Revised report on the algorithmic language ALGOL 60", Communications of the ACM 6, 1 (1963年1月), pp. 1-17
144. "Go to statements and good Algol style", BIT 3 (1963年), pp. 204-205
212. (B. Randell, J. N. Buxton との共編) Software Engineering, 231 p., 1969年, 1976年再版
213. (C. Gram, J. Hald, H. B. Hansen, A. Wessel との共著) Datamatik, Studentlitteratur, 1969年
247, 249. (B. Pedersen との共著) Matematik 4 kursusbog, 2 volumes, Copenhagen University, 1971年, 第二版 1972年
264. Concise Survey of Computer Methods, 397 p., Studentlitteratur, 1974年
274. Datalogi 2 1975/76, 102 p., Copenhagen University, 1975年, 新版 1976年
333. Computing: A Human Activity, 656 p., ACM Press/Addison-Wesley, 1992年
347. Knowing and the Mystique of Logic and Rules, 365 p., Kluwer Academic Publishers, 1995年
363. Antifilosofisk leksikon: Tænkning - sproglighed - videnskabelighed, 111 p., 1999年, ISBN 87-987221-0-7; 英語版 2001年, ISBN 87-987221-1-5
382. Psykologi i videnskabelig rekonstruktion, 113 p., 2002年, ISBN 87-987221-2-3