ジョン・C・レイノルズ

ジョン・C・レイノルズ
ジョン・C・レイノルズ
生まれる	ジョン・チャールズ・レイノルズ; 1935年6月1日; アメリカ合衆国
死亡	2013年4月28日（享年77歳）
教育	パデュー大学; 博士号、ハーバード大学博士号（1961）
知られている	継続、定義的インタープリタ、非機能化、フォーサイス、ゲダンケン言語、交差型、多態的ラムダ計算、関係パラメトリシティ、分離論理、ALGOL
受賞歴	ラヴレス賞（2010年）
	科学者としてのキャリア
フィールド	コンピュータ科学者
機関	シラキュース大学; カーネギーメロン大学
論文	原子核物質の表面特性（1961）
博士課程の学生	ベンジャミン・C・ピアース
Webサイト	詳しくはこちら

ジョン・チャールズ・レイノルズ（1935年6月1日 - 2013年4月28日）はアメリカのコンピュータ科学者であった。^[1]

学歴および所属

レイノルズの主な研究対象は、プログラミング言語設計とそれに関連する仕様言語、特に形式意味論に関するものでした。彼は多態的ラムダ計算(System F)を発明し、意味パラメータ性の特性を定式化しました。この計算は、ジャン＝イヴ・ジラールによって独立に発見されました。彼は定義インタープリタに関する独創的な論文を書き、継続に関する初期の研究を明確化し、非機能化の手法を紹介しました。彼は、カテゴリー理論をプログラミング言語の意味論に適用しました。彼は、交差型の使用で知られるプログラミング言語 Gedanken と Forsythe を定義しました。彼は、共有される可変データ構造を記述して推論するための分離論理に取り組みました。

レイノルズはプログラミング言語ALGOLのエレガントで理想的な定式化を考案した。これは ALGOL の構文的および意味的純粋性を示しており、プログラミング言語の研究に使用されている。また、MLなどの値呼び出し言語で使用されるグローバル効果とは対照的に、名前呼び出し言語のコンテキストでのローカル効果の適合性に関する説得力のある方法論的議論を行った。言語の概念的完全性により、プログラミング計算可能関数(PCF) や MLとともに、意味研究の主な対象となった。 ^[2]

「変換システムと原子式の代数構造」( PDF)。マシンインテリジェンス。5 :135-151。1970年。
「型構造の理論に向けて」(PDF)。Colloque sur la Programmation。パリ、フランス。 1974 年。408 ～ 425 ページ。土井：10.1007/3-540-06859-7_148 。2014 年 11 月 6 日に取得。
「型、抽象化、およびパラメトリック多態性」(PDF)。Information Processing '83 。1983 年。513 ～ 523 ページ。2016年 3 月 10 日にオリジナル(PDF)からアーカイブ。2014年 11 月 6 日に取得。
「分離ロジック: 共有可変データ構造のロジック」( PDF)。第 17 回 IEEE コンピュータサイエンスのロジックに関するシンポジウム (LICS 2002)。pp. 55–74。doi :10.1109/LICS.2002.1029817。

^ フィッシャー、ラリー（2013年4月29日）。「ジョン・レイノルズ、1935-2013」。Communications of the ACM：ACMニュース。米国：Association for Computing Machinery 。 2013年4月30日閲覧。
^ O'Hearn, Peter ; Tennent, Robert D. (1997). Algol-Like Languages . マサチューセッツ州ケンブリッジ、アメリカ合衆国: Birkhauser Boston. doi :10.1007/978-1-4612-4118-8. ISBN 978-0-8176-3880-1. S2CID 6273486。

オリヴィエ・ダンヴィ、ピーター・オハーン、フィリップ・ワドラー（編集者）、「ジョン・C・レイノルズ生誕70周年記念祝辞」。理論計算機科学、375（1～3）：1～350、2007年5月1日。編集者、1～2ページ。doi ：10.1016/j.tcs.2006.12.024
スティーブン・ブルックス、ピーター・オハーン、ウダイ・レディ、「レイノルズの真髄」。POPL 2014、251～256 ページ。doi :10.1145 / 2535838.2537851