ピーター・ナウア

ピーター・ナウアに関する概要

ピーター・ナウア（Peter Naur）は、デンマーク出身の著名なコンピュータ科学者であり、1928年10月25日に生まれて2016年1月3日に逝去しました。彼はチューリング賞を受賞したことで特に知られ、プログラミング言語の文法を定義するバッカス・ナウア記法にその名が冠されています。この記法は、コンピュータプログラムの構造を明確に示すための重要なツールとして広く使用されています。

教育とキャリア

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

ナウアの研究分野は多岐にわたり、主にプログラムやアルゴリズムの構造、設計、性能の研究に注力しました。特に彼の業績はソフトウェア工学やアーキテクチャの分野でも評価され、計算機科学の発展に寄与しました。彼の著書『Computing: A Human Activity』（1992年）では、形式主義的なプログラミング観を否定し、計算機科学を数学の一部として単純に扱うことに対して反対の立場を示しています。

バッカス・ナウア記法と称号

彼が使用し続けるバッカス・ナウア記法は、最初にドナルド・クヌースによって「バッカス・ナウア記法」として広められました。ナウア自身は、もともとの呼び方のBackus Normal Formという名称を再評価することを提唱しました。また、彼は「コンピュータ科学」という用語には否定的で、Datalogyという言葉を提案し、特にデンマークとスウェーデンでこの表現が採用されています。

後年の活動と哲学

後の彼の人生において、ナウアは科学全般について意見を述べる機会が増えました。彼は経験論を重視し、観察された事実を基盤とする視点を持っていました。また、2004年には「Synapse-State Theory of Mental Life」という人間の思考に関する理論を発表し、その後もこの理論を発展させるための探求を続けました。

業績と受賞歴

ナウアは、特にALGOL 60プログラミング言語における貢献が評価され、2005年にチューリング賞を授与されました。この賞は、彼が関与した「Report on the Algorithmic Language ALGOL 60」が特に高く評価された結果です。現在、2012年時点でデンマーク人としては唯一のチューリング賞受賞者です。

主要著作

ナウアは、天文学、計算機科学、社会問題、クラシック音楽、心理学、教育に関する多くの著作を残しています。中でも、彼の学位論文やALGOL 60に関する報告書は、彼の専門性を反映した重要な文献とされています。

結論

ピーター・ナウアは、自身の研究を通じて計算機科学の発展に多大な影響を与え、多くの後進に道を開いた偉大な学者です。彼の業績は、今後も計算機科学の多くの分野において重要な基盤となることでしょう。

もう一度検索