ピーター・ランディン

ピーター・ランディン
ピーター・ランディン
生まれる	ピーター・ジョン・ランディン; 1930年6月5日; シェフィールド、ウェスト・ライディング・オブ・ヨークシャー、イングランド
死亡	2009年6月3日（享年78歳）
市民権	イギリス
教育	ケンブリッジ大学クレアカレッジ
知られている	ISWIM、J演算子、SECDマシン、オフサイドルール、糖衣構文
	科学者としてのキャリア
フィールド	コンピュータサイエンス、教育
機関	クリストファー・ストラチー、コンピュータコンサルタント、マサチューセッツ工科大学; ユニバック、ロンドン大学クイーン・メアリー校; ;

ピーター・ジョン・ランディン（1930年6月5日 - 2009年6月3日^[1]^[2]）はイギリスのコンピュータ科学者である。彼は、ラムダ計算がプログラミング言語をモデル化するために使用できることを最初に認識した人の一人で、この洞察は関数型プログラミングと表示的意味論の両方の発展に不可欠であった。

アカデミック

ランディンはシェフィールドで生まれ、キング・エドワード7世校に通い、ケンブリッジ大学クレア・カレッジを卒業した。^{[2] 1960年から1964年にかけて、}ロンドンで独立したコンピュータコンサルタントだったクリストファー・ストレイチーの助手を務めた。^{[3]彼の仕事のほとんどは、この時期と、}ロンドン大学クイーン・メアリー校に職を得る前の、米国のユニバックとマサチューセッツ工科大学で短期間働いていた時期に出版された。1970年代から1980年代にかけて、彼はクイーン・メアリー・カレッジのコンピュータサイエンス学部の構築、コースの開発、学生の指導に力を注いだ。これは教科書『プログラミングの基礎』の序文に述べられている。^[4]退職後、彼はロンドン大学クイーン・メアリー校の理論計算の名誉教授に任命され、2012年に同校のコンピュータサイエンスの建物は彼に敬意を表してピーター・ランディン・ビルと改名された。

2001年にロンドンのサイエンスミュージアムで開催されたプログラミングセマンティクスの歴史に関するワークショップで、彼はコンピュータサイエンスにおける自身の研究キャリアが1950年代後半に始まったこと、そして最も一般的に使用されていた言語がFortranだった時代にジョン・マッカーシーのLisp言語の研究に多大な影響を受けたことについて語った。^[5]

彼はALGOLプログラミング言語の定義に積極的に関わった。彼は1959年11月のパリ会議^[6]と1962年の会議^[7]^{[8]の出席者の一人として挙げられており、}トニー・ホーアは彼にALGOL 60を教え、強力な再帰アルゴリズムの表現を可能にした人物の一人として挙げている。

「1961 年のイースターの頃、イギリスのブライトンでALGOL 60のコースが開講され、ピーター・ナウア、エドガー・W・ダイクストラ、ピーター・ランディンが講師を務めました。...そこで私は初めて再帰的手続きについて学び、それまで説明に苦労していたソート法をプログラムする方法を学びました。そこで私は、控えめに言ってもQUICKSORTと名付けられた手続きを書き、それが私のコンピュータ科学者としてのキャリアの基盤となりました。ALGOL 60 の設計者の天才には、当然の称賛を捧げなければなりません。彼らは言語に再帰を組み込み、私が自分の発明を非常にエレガントに世界に説明できるようにしてくれました。私は、優れたアイデアをエレガントに表現できるようにすることをプログラミング言語設計の最高の目標と見なしてきました。」^[9]

ランディンは、国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーとして、プログラミングと情報学の国際標準に携わっていました。 ^[10]このワーキンググループでは、プログラミング言語 ALGOL 60とALGOL 68の仕様を策定、維持、サポートしています。^[11]

ランドンは、スタック、環境、制御、ダンプを備えた SECD マシン、関数型プログラミング言語用の最初の抽象マシン、 ^[12]、およびISWIMプログラミング言語の発明、ランドンのオフサイドルールの定義、および構文糖という用語の造語を行った。オフサイドルールは、ミランダ、Haskell、Python、F# (ライト構文を使用) などの言語で見られるように、空白を使用した境界スコープ宣言を可能にする。

ランディンが考案した別のフレーズは、「次の700 ...」で、彼の影響力のある論文「次の700のプログラミング言語」にちなんで付けられている。^[13]「700」が選ばれたのは、ランディンがACMジャーナルで、当時すでに700のプログラミング言語が存在していたと読んだためである。 ^[14]この論文は、「...今日... 1,700の特別なプログラミング言語が、700を超えるアプリケーション分野で「通信」するために使用されている」という引用で始まる。^[15]また、次のようなジョークも含まれている。

研究プログラムの第一歩として考えられるのは、「xとChurch の λ 表記法との対応」という 1700 件の博士論文です。

これは彼の以前の論文への言及である。^[16]この辛口なユーモアのセンスは彼の論文の多くに表現されている。

政治的

バイセクシャルだったランディンは^{[2] 、1970年代初頭に}ゲイ解放戦線（GLF）に参加した。彼はかつて反核デモに参加して逮捕されたことがある。^[17] 彼は熱心なサイクリストであり、身体的に不可能になるまで自転車でロンドン中を移動していた。^[要出典]

遺産

オックスフォードのボドリアン図書館にはピーター・ランディンに関する資料が保管されている。^[18] 2010年以来、毎年12月にBCS-FACS計算科学の形式的側面に関する専門家グループが主催するピーター・ランディン意味論セミナーが開催されている。 ^{[19]最初のセミナーはアメリカの計算機科学者}ジョン・C・レイノルズ（1935-2013）が講師を務めた。 ^[20]ロンドン大学クイーン・メアリー校には計算機科学の教育・研究施設を備えたピーター・ランディン・ビルがある。^[21]

主な出版物

Landin, Peter J. (1964). 「式の機械的評価」.コンピュータジャーナル. 6 (4).英国コンピュータ協会: 308–320. doi : 10.1093/comjnl/6.4.308 .
Landin, Peter J. (1965a年2 月)。「ALGOL 60 と Church のラムダ記法の対応: パート I」。Communications of the ACM。8 ( 2)。Association for Computing Machinery : 89–101。doi : 10.1145 /363744.363749。S2CID 6505810 。
Landin, Peter J. (1965b 年 3 月)。「ALGOL 60 と Church のラムダ記法の対応: パート II」。Communications of the ACM。8 ( 3)。Association for Computing Machinery : 158–165。doi : 10.1145 /363791.363804。S2CID 15781851 。
Landin, Peter J. (1965 年 8 月 29 日)。「ジャンプとラベルの一般化」。UNIVACシステムプログラミング研究 (技術レポート)。Landin, Peter J. (1998 年 12 月)に再掲載。「ジャンプとラベルの一般化」。高次および記号計算。11 (2) : 125–143。doi : 10.1023 /A:1010068630801。S2CID 5579841。
Landin, Peter J. (1966a). Steel, TB Jr. (編). 「Algol 60 の形式的記述」.コンピュータプログラミングのための形式言語記述言語: 266–294.
Landin, Peter J. (1966b 年 3 月)。「次の700のプログラミング言語」。Communications of the ACM。9 ( 3)。Association for Computing Machinery : 157–166。doi : 10.1145 /365230.365257。S2CID 13409665 。

参照

J演算子

注記

^ Peter Landin、Lambda the Ultimate、2009年6月4日。
^ abc ボルナット 2009a
^ Hashagen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L. 編 (2000 年 4 月 5 ～ 7 日)。コンピューティングの歴史: ソフトウェアの問題。国際コンピューティングの歴史に関する会議、ICHC 2000、Heinz Nixdorf MuseumsForum、パーダーボルン、ドイツ。ベルリン: Springer (2013 年 6 月 29 日発行) 。ISBN 978-3-662-04954-9. OCLC 861966658.
^ ボルナット、リチャード(1987)。『プログラミングの基礎』。プレンティスホール。ISBN 978-0-13-729104-5。
^ Numerico, Teresa; Bowen, Jonathan P. (2002年1月～ 3月)。「プログラム検証とセマンティクス: 初期の研究」。IEEE Annals of the History of Computing。24 (1): 90–92。2007年9月26日時点のオリジナルよりアーカイブ。
^ “AB8 December 1959”. 1959年12月. 2009年6月15日時点のオリジナルよりアーカイブ。
^ JW、バッカス;ウェグシュタイン, JH ;ファン・ワインガルデン、A . ;ウッジャー、Ｍ．ナウル、P. ;バウアー, フロリダ州;グリーン、J.カッツ、Ｃ．マッカーシー、J . Perlis, AJ ;ルーティシャウザー、Ｈ．サメルソン、Ｋ．ボーコワ、B. (1963 年 1 月 1 日)。「アルゴリズム言語 Algol 60 に関する改訂レポート」。質量: ワーク。
^ ランディン 1966a
^ ACM チューリング賞講演: 皇帝の古着。C . Antony R. Hoare 、1980 年、 Communications of the ACMに掲載。
^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016年8月17日). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2020年9月10日閲覧。
^ Swierstra、Doaitse;ジェレミー・ギボンズ;ランバート・メルテンス（2011年3月2日）。「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020 年9 月 10 日に取得。
^ Diehl, Stephan; Hartel, Pieter; Sestoft, Peter (2000)。「プログラミング言語実装のための抽象マシン」。Future Generation Computer Systems。第 16 巻。739 ～ 751 ページ。
^ ランディン 1966b
^ 個人的なコミュニケーション、2007年9月。
^ コンピュータソフトウェアの問題、アメリカ数学協会の目論見書、1965 年 7 月。
^ ランディン 1965a
^ ボルナット 2009b
^ 「コンピューター科学者、学者、同性愛者の権利運動家、ピーター・ランディンのアーカイブ」。ボドリアン図書館アーカイブ＆手稿。英国：オックスフォード大学ボドリアン図書館。2022年8月3日閲覧。
^ 「BCS FACS Annual Peter Landin Semantics セミナー」BCS-FACS . BCS、The Chartered Institute for IT . 2012 . 2012 年12 月 4 日閲覧。
^ 「Peter Landin Annual Semantics Seminar」。BCS-FACS。ロンドン、英国：BCS、The Chartered Institute for IT。2010年12月6日。2012年3月6日時点のオリジナルよりアーカイブ。
^ 「ピーター・ランディン・ビルディング」。英国：ロンドン大学クイーン・メアリー校。 2022年12月13日閲覧。

出典

リチャード・ボルナト（2009年9月23日）。「ピーター・ランディンの訃報」。ガーディアン紙（訃報編）。 p. ３４．2009 年9 月 29 日に取得。
Bornat, Richard (2009 年 9 月 17 日)。「ピーター・ランディン: 世代に影響を与えたコンピュータ科学者、1930 年 6 月 5 日 - 2009 年 6 月 3 日」(PDF)。Formal Aspects of Computing。21 ( 5) 。ベルリン: Springer-Verlag : 393–395。doi : 10.1007 /s00165-009-0122-y。ISSN 0934-5043。S2CID 8870097 。

外部リンク

DBLP参考文献サーバーの Peter J. Landin
プログラム検証とセマンティクス: Wayback Machineでの初期の取り組み(2007 年 9 月 26 日アーカイブ)、BCSコンピュータ保存協会セミナー、サイエンスミュージアム、ロンドン、英国、2001 年 6 月 5 日
オリヴィエ・ダンヴィによるICFP 2009でのランディンの生涯に関する追悼講演
Peter Landin のProgram Verification and Semantics: The Early Workでの講演、2001 年 (ビデオ)

[1] Peter Landin、Lambda the Ultimate、2009年6月4日。

[guardian-obit-2] ボルナット 2009a

[3] Hashagen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L. 編 (2000 年 4 月 5 ～ 7 日)。コンピューティングの歴史: ソフトウェアの問題。国際コンピューティングの歴史に関する会議、ICHC 2000、Heinz Nixdorf MuseumsForum、パーダーボルン、ドイツ。ベルリン: Springer (2013 年 6 月 29 日発行) 。ISBN 978-3-662-04954-9. OCLC 861966658.

[4] ボルナット、リチャード(1987)。『プログラミングの基礎』。プレンティスホール。ISBN 978-0-13-729104-5。

[5] Numerico, Teresa; Bowen, Jonathan P. (2002年1月～ 3月)。「プログラム検証とセマンティクス: 初期の研究」。IEEE Annals of the History of Computing。24 (1): 90–92。2007年9月26日時点のオリジナルよりアーカイブ。

[6] “AB8 December 1959”. 1959年12月. 2009年6月15日時点のオリジナルよりアーカイブ。

[7] JW、バッカス;ウェグシュタイン, JH ;ファン・ワインガルデン、A . ;ウッジャー、Ｍ．ナウル、P. ;バウアー, フロリダ州;グリーン、J.カッツ、Ｃ．マッカーシー、J . Perlis, AJ ;ルーティシャウザー、Ｈ．サメルソン、Ｋ．ボーコワ、B. (1963 年 1 月 1 日)。「アルゴリズム言語 Algol 60 に関する改訂レポート」。質量: ワーク。

[8] ランディン 1966a

[9] ACM チューリング賞講演: 皇帝の古着。C . Antony R. Hoare 、1980 年、 Communications of the ACMに掲載。

[10] Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016年8月17日). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2020年9月10日閲覧。

[11] Swierstra、Doaitse;ジェレミー・ギボンズ;ランバート・メルテンス（2011年3月2日）。「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020 年9 月 10 日に取得。

[12] Diehl, Stephan; Hartel, Pieter; Sestoft, Peter (2000)。「プログラミング言語実装のための抽象マシン」。Future Generation Computer Systems。第 16 巻。739 ～ 751 ページ。

[13] ランディン 1966b

[14] 個人的なコミュニケーション、2007年9月。

[15] コンピュータソフトウェアの問題、アメリカ数学協会の目論見書、1965 年 7 月。

[16] ランディン 1965a

[17] ボルナット 2009b

[18] 「コンピューター科学者、学者、同性愛者の権利運動家、ピーター・ランディンのアーカイブ」。ボドリアン図書館アーカイブ＆手稿。英国：オックスフォード大学ボドリアン図書館。2022年8月3日閲覧。

[19] 「BCS FACS Annual Peter Landin Semantics セミナー」BCS-FACS . BCS、The Chartered Institute for IT . 2012 . 2012 年12 月 4 日閲覧。

[20] 「Peter Landin Annual Semantics Seminar」。BCS-FACS。ロンドン、英国：BCS、The Chartered Institute for IT。2010年12月6日。2012年3月6日時点のオリジナルよりアーカイブ。

[21] 「ピーター・ランディン・ビルディング」。英国：ロンドン大学クイーン・メアリー校。 2022年12月13日閲覧。