2016年1月3日)はデンマークのコンピュータ科学者であり、チューリング賞受賞者。バッカス・ナウア記法に名前が使われている。バッカス・ナウア記法はプログラミング言語の文法を記述するのに使われている。60プログラミング言語の創造に貢献した。1957年、天文学の博士号を取得したが、コンピュータと出会ったことでその後の進路が変わった。勤務し、同時にニールス・ボーア研究所やデンマーク工科大学(英語版)で教鞭をとっている。1969年から1998年まで、ナウアはコペンハーゲン大学の計算機科学の教授を務めた。ナウアの主な研究分野はプログラムとアルゴリズムの構造、設計、性能などである。ナウアはソフトウェア工学やソフトウェアアーキテクチャといった分野でも先駆的な研究を行った。Activity(1992年)にはナウアの計算機科学での業績が集められているが、その中で彼は数学の一部としてプログラミングを捉えるような過度の形式化を拒絶する態度を表明している。Formの頭字語であったが、ドナルド・クヌースがナウアの貢献を指摘して、バッカス・ナウア記法と呼ぶことを提案し広く受け入れられた、という経緯がある)。呼ぶことを提案している。後年、ナウアは科学全体について率直に語るようになった。ナウアは経験論者と言えるかも知れない。経験論では観測された事実を重んじる。ナウアは哲学と心理学の一部を経験論的観点で攻撃した。発表し[1]、その後もこれを発展させようとしている。プログラミング言語の定義に関する貢献に対して2005年のチューリング賞を授与された[2][3]。編集者の役割を果たした。2012年現在、デンマーク人としては唯一のチューリング賞受賞者である。2016年1月3日に88歳で永眠。主な著作物[編集]番号は下記外部リンク(書誌情報)のもの。関して数々の文書を発表している。2012年9月3日閲覧。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。