「ジョン・バッカス」の版間の差分

削除された内容 追加された内容
Louperibot (会話 | 投稿記録)
Turing Awardsの受賞理由を、より原文に近くなるように訳を修正した。同時に、原文も添えた。
2行目:
'''ジョン・ワーナー・バッカス'''(''John Warner Backus''、[[1924年]][[12月3日]] - [[2007年]][[3月17日]])は、[[アメリカ合衆国|アメリカ]]人の数学者。初期の[[高級言語|高級]][[プログラミング言語]] ([[FORTRAN]]) の発明者、([[形式言語]]の[[統語論|文法]]の定義に汎用的に用いられる)[[バッカス・ナウア記法]]の発明者、また関数レベルプログラミング (Function-level Programming) の提唱者でもある。彼は1975年に[[アメリカ国家科学賞]]を受賞、1977年にこれらの独創的な業績により[[チューリング賞]]を授与された。受賞理由は以下の通り:
 
:''特にFORTRANの研究代表さよって行わた、実用的な高級プログラミングシステムの設計への深く、影響力のある恒久的貢献に対して。そしてプログラミング言語の仕様記述の形式的手法についての独自の貢献出版に対して''
:(原文) ''For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for publication of formal procedures for the specification of programming languages.''
 
== 経歴 ==