ピーター・ナウアー

ピーター・ナウアー
2008年のナウル
生まれる	( 1928-10-25 )1928年10月25日 フレゼレクスベア、デンマーク
死亡	2016年1月3日(2016-01-03)（享年87歳） ヘルレウ、デンマーク
国籍	デンマーク語
知られている	ALGOL バッカス・ナウア形式
配偶者	クリスティアン・フロイド
受賞歴	コンピュータパイオニア賞(1986) チューリング賞(2005)
科学者としてのキャリア
フィールド	コンピュータサイエンス、情報科学
機関	デンマーク工科大学ニールス ・ボーア研究所コペンハーゲン大学

ピーター・ナウア（1928年10月25日 - 2016年1月3日）^[1]は、デンマークのコンピュータサイエンスの先駆者であり、2005年のチューリング賞受賞者です。ジョン・バッカスとともに、ほとんどのプログラミング言語の構文を記述するために使用されるバッカス・ナウア記法（BNF）の貢献者として最もよく知られています。また、 ALGOL 60言語の作成にも貢献しました。

ナウルは天文学者としてキャリアをスタートし、1957年に哲学博士号（Ph.D.）を取得したが、コンピュータとの出会いが転職のきっかけとなった。1959年から1969年にかけて、デンマークのコンピュータ会社レグネセントラーレンに勤務する傍ら、ニールス・ボーア研究所やデンマーク工科大学で講義を行った。1969年から1998年にかけて、ナウルはコペンハーゲン大学でコンピュータサイエンスの教授を務めた。

彼は国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーであり、 ^[2]言語ALGOL 60とALGOL 68の仕様策定、サポート、保守を行っている。^{[3] 1960年から1993年の間、彼は}数値解析を専門とする雑誌BIT Numerical Mathematicsの編集委員を務めた。^[4]

ナウアの主な研究分野は、コンピュータプログラムとアルゴリズムの設計、構造、パフォーマンスでした。彼はまた、ソフトウェアエンジニアリングとソフトウェアアーキテクチャの先駆者でもありました。コンピュータサイエンスへの貢献を集めた著書「Computing: A Human Activity 」（1992年）では、プログラミングを数学の一分野とみなす形式主義のプログラミング学派を否定しています。彼は、ドナルド・クヌースによって彼に帰せられたバッカス・ナウア形式と関連付けられることを好まず、むしろバッカス正規形と呼ばれることを望んでいると述べました。

ナウル氏はコンピューター科学者のクリスティアン・フロイド氏と結婚した。

ナウルはコンピュータサイエンスという用語を嫌い、それをデータロジーまたはデータサイエンスと呼ぶことを提案しました。前者の用語はデンマークとスウェーデンでデータロジとして採用され、後者の用語は現在、統計やデータベースを含むデータ分析に使用されています。

1960 年代半ば以来、デンマークではピーター・ナウアーがデータ処理の科学として提唱したデータロジーという用語のもと、コンピュータサイエンスが実践されてきました。レグネセントラーレンとコペンハーゲン大学を皮切りに、コペンハーゲンのコンピュータサイエンスの伝統は、応用分野や他の知識分野との密接なつながりによって、独自の特徴を発展させてきました。この伝統は教育の分野でも顕著です。包括的なプロジェクト活動はカリキュラムの不可欠な部分であり、理論は主に実際の経験を通じて知られる現実的な解決策の側面として提示されます。^[5]ピーター・ナウアーは、コンピュータサイエンスがもたらす教育上の特有の課題を早くから認識していました。彼の革新は、他の大学でもその質と活力を発揮しています。コペンハーゲン大学で形成されたコンピュータサイエンスの教育と、ピーター・ナウアーの研究を特徴づけるコンピュータサイエンスの見方との間には、密接なつながりがあります。^[6]

後年、彼は科学の追求全般についてかなり率直に発言した。ナウルは、世界に現れる物事の間により深いつながりを求めるのではなく、観察可能な事実に留まるべきだとする経験主義学派に属している可能性がある。彼はこの観点から、哲学と心理学の特定の流れを攻撃した。彼はまた、人間の思考に関する理論を展開し、それを「精神生活のシナプス状態理論」と呼んだ。^[7]

ナウルは、プログラミング言語ALGOL 60の定義における功績により、2005年にACM（米国計算機協会）AMチューリング賞を受賞した。^[8]特に、BNFを先駆的に使用した影響力のあるアルゴリズム言語ALGOL 60に関する報告書の編集者としての役割が認められた。ナウルはチューリング賞を受賞した唯一のデンマーク人である。

ナウルは短い闘病生活の末、2016年1月3日に亡くなった。^[9]ゲントフテにある彼のかつての家は現在、社会学者クレア・マクスウェルが所有している。

数字は、E. Sveinsdottir と E. Frøkjær が出版した参考文献を参照しています。^[要出典] Naur は、天文学、コンピューター サイエンス、社会問題、クラシック音楽、心理学、教育に関する多数の記事と章を出版しました。

• 66.小惑星 51 ネマウサと赤緯の基本システム、博士論文、1957 年
• 95. (編集者) JW バッカス;ウェグスタイン、JH;ファン・ワインガルデン、A . ;ウッジャー、Ｍ．バウアー, フロリダ州;グリーン、J.カッツ、Ｃ．マッカーシー、J . Perlis, AJ ;ルティシャウザー、H.サメルソン、K.ボーコワ、B. (1960 年 5 月)。 「アルゴリズム言語 ALGOL 60 に関するレポート」。通信ACM。3 (5): 299–314。土井：10.1145/367236.367262。S2CID  278290。その他いくつかのジャーナル。
• 128. (編集者) JW バッカス;ウェグスタイン、JH;ファン・ワインガルデン、A . ;ウッジャー、Ｍ．ナウアー、P.バウアー, フロリダ州;グリーン、J.カッツ、Ｃ．マッカーシー、J . Perlis, AJ ;ルティシャウザー、H.サメルソン、K.ボーコワ、B. (1963 年 1 月)。 「アルゴリズム言語 ALGOL 60 に関する改訂報告書」。通信ACM。6 (1): 1-17。土井: 10.1145/366193.366201。S2CID  7853511。
• 144. 「Go toステートメントと優れた Algol スタイル」。BIT . 3 (3): 204–208. 1963. doi :10.1007/BF01939987. ISSN  0006-3835。
• 212. —; Randell, Brian ; Buxton, JN (1976) [1969].ソフトウェア工学に関する会議、1968年10月7日～11日。ドイツ、ガルミッシュ。ISBN 978-0884053347. OCLC  610836679.{{cite book}}: CS1 メンテナンス: 場所が見つかりません 発行者 (リンク)
• 213. —;グラム、C.ハルド、J.ハンセン、HB;ウェッセル、A. (1969)。Datamatik – StudentLitteratur。
• 247, 249. (B. Pedersen 共著) Matematik 4 kursusbog、2 巻、コペンハーゲン大学、1971 年、第 2 版。 1972年
• 264.コンピュータ手法の簡潔な調査、397 ページ、Studentlitteratur、1974 年
• 274. Datalogi 2 1975/76、102 p.、コペンハーゲン大学、1975 年、新版 1976
• 333. — (1992).コンピューティング: 人間の活動. ACM プレス. ISBN 978-0201580693。
• 347. — (1995). 知ることと論理とルールの神秘: 知ることと行動に真の陳述を含める * 人間の知る活動のコンピュータモデル化 * 学問と科学の中核としての首尾一貫した記述。Springer. ISBN 978-0-7923-3680-8。
• 363.ナウル、ピーター (1999)。Antifilosofisk leksikon: Tænkning – sprogighed – videnskabelighed。 Naur.com 公開。ISBN 87-987221-0-7。; 英語訳 2001年、ISBN 87-987221-1-5 
• 382.ナウル、ピーター (2002)。精神分析と分析の再構築。ナウル.com。ISBN 978-87-987221-2-0。
• — (2007年1月). 「コンピューティングと人間の思考」. Comm. ACM . 50 (1): 85–94. doi : 10.1145/1188913.1188922 .
• Daylight, EG; Naur, Peter (2011)。ソフトウェアエンジニアリングにおける多元主義: チューリング賞受賞者 Peter Naur が解説。Lonely Scholar。ISBN 978-94-91386-00-8。

• コンピュータサイエンスの先駆者リスト

• 詳細な参考文献が掲載された個人ウェブサイト。2015年7月28日にWayback Machineでアーカイブされました。
• 2006年UISTでの講演
• ACM チューリング賞 2005 ピーター・ナウアのプロフィール、エドガー・G・デイライト著