「ジョン・バッカス」の版間の差分
削除された内容 追加された内容
Turing Awardsの受賞理由を、より原文に近くなるように訳を修正した。同時に、原文も添えた。 |
本当の原文 |
||
3行目:
:''特にFORTRANの研究によって行われた、実用的な高級プログラミングシステムの設計への深く、影響力のある恒久的貢献に対して。そして、プログラミング言語の仕様記述の形式的手法についての出版に対して。''
:(原文) ''For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.''<ref>[http://awards.acm.org/citation.cfm?id=0703524&srt=alpha&alpha=B&aw=140&ao=AMTURING&yr=1977 1977 – John Backus See the ACM Author Profile in the Digital Library]</ref>
== 経歴 ==
15行目:
バッカスは1987年にIBMの[[フェロー]]となり、1993年には[[チャールズ・スターク・ドレイパー賞]]を授与された。1991年、彼は引退生活に入り、2007年3月17日、[[オレゴン州]]アシュランドで82年の生涯を終えた。
== 脚注・出典 ==
{{Reflist}}
== 外部リンク ==
| |||