Loading article…
デビッド・A・ターナー | |
|---|---|
| 生まれる | 1946年1月26日 |
| 死亡 | 2023年10月19日（77歳） |
| 市民権 | イギリス |
| 教育 | オックスフォード大学博士課程修了 |
| 知られている | SASL、ケント再帰計算機、ミランダ |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ロンドン大学クイーン・メアリー校 、テキサス大学オースティン 校、ケント大学カンタベリー校 、ミドルセックス大学 |
| 博士課程の指導教員 | クリストファー・ストラチェイと ダナ・スコット |
| Webサイト | www.cs.kent.ac.uk/people/staff/dat |
デイビッド・A・ターナー（1946年1月26日 - 2023年10月19日）はイギリスのコンピュータ科学者。彼は、遅延評価、コンビネータグラフ削減、多態型に基づく関数型プログラミングのための最初の言語を含む3つのプログラミング言語の設計と実装で最もよく知られている：SASL（1972年）、Kent Recursive Calculator（KRC）（1981年）、および商用サポートされたMiranda（1985年）。
ターナーのミランダに関する研究は、後のHaskellに大きな影響を与えました。[1]ターナーは最初に抽象SECDマシンを使用してSASLを実装しましたが、1978年にSKIコンビネータ計算を使用して再実装しました。[2]このアプローチは、トーマス・ジョンソンとレナート・オーガストソンによってgマシン[3]の設計に使用され、これがcall-by-need言語の遅延評価の標準的なメカニズムになりました。
1981年、ターナーはオックスフォード大学から、クリストファー・ストレイチーとダナ・スコットの指導の下で執筆した論文「プログラミング言語の実装の側面：組合せ論理への応用言語のコンパイル」により哲学博士号（D.Phil.）を取得した。[4] [5] [6]彼はロンドンのクイーン・メアリー・カレッジ、テキサス大学オースティン校、ケント大学カンタベリー校で教授職を務め、キャリアの大半をそこで過ごし、計算科学の名誉教授の称号を保持した。
ターナーは、国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーとして、プログラミングと情報科学の国際標準の開発に携わりました。 [7]このワーキンググループでは、プログラミング言語ALGOL 60とALGOL 68の仕様策定、保守、サポートを行っています。[8]また、彼は関数型プログラミングに関するIFIPワーキンググループ2.8のメンバーでもあり、ミランダの作成にも関わっていました。[9]
ターナーはイギリスのケント大学とミドルセックス大学の名誉教授であった。 [10] [11]
ターナーの両親はユダヤ人移民の2世であり、ターナー自身もパレスチナ人の平等な権利を強く主張していた。彼はICAHD UKの執行委員を務め[12] 、この問題について頻繁に講演していた[13]。ターナーは2023年10月19日に77歳で亡くなった[4]。
出版物
- Turner, David A. SASL 言語マニュアル。技術報告書。CS/75/1。セントアンドリュース大学計算科学学部、1975 年。
- Turner, DA (1979)。 「応用言語の新しい実装テクニック」。ソフトウェア:実践と経験。9 : 31–49。doi :10.1002/spe.4380090105。S2CID 40541269。
- 括弧抽象化のためのもう一つのアルゴリズム、DA Turner、Journal of Symbolic Logic、44(2):267–270、1979年。
- 関数型プログラミングとその応用、DA Turner、ケンブリッジ大学出版局、 1982年。
- Miranda で使用するためのパーサー ジェネレーター、ACM Symposium on Applied Computing、401 ～ 407 ページ、米国フィラデルフィア、1996 年 2 月。
- 初等的強力関数型プログラミング、DA Turner、R. Plasmeijer、P. Hartel 編、「教育における関数型プログラミング言語に関する第 1 回国際シンポジウム」、Lecture Notes in Computer Science、第 1022 巻、1 ～ 13 ページ、Springer-Verlag、1996 年。
- ストリーム フローの確保、Alastair Telford および David Turner、Johnson 編、「Algebraic Methodology and Software Technology」、第 6 回国際会議、AMAST '97、シドニー オーストラリア、1997 年 12 月、Lecture Notes in Computer Science、第 1349 巻、509 ～ 523 ページ。AMAST、Springer-Verlag、1997 年 12 月。
- 無限構造の生産性の確保、AJTelford、DATurner、「技術レポート TR 14-97」、37 ページ、コンピューティング研究所、ケント大学、1998 年 3 月。「Journal of Functional Programming」に投稿中。
- ESFP での終了の保証、AJ Telford および DA Turner、「15th British Colloquium in Theoretical Computer Science」、14 ページ、Keele、1999 年 4 月。「Journal of Universal Computer Science」に掲載予定。
- 強力な正規化特性を持つ基本言語の階層、AJTelford、DATurner、「技術レポート TR 2-00」、66 ページ、ケント大学コンピューティング研究所、2000 年 1 月。
- Total Functional Programming、基調講演、pp 1–15、SBLP 2004、リオデジャネイロ、2004 年 5 月。
- Church's Thesis and Functional Programming、A. Olszewski 編『Church's Thesis after 70 years』、518-544 ページ、Ontos Verlag、2006 年。
参考文献
- ^ Hudak, Paul; Hughes, John (2007). 「Haskell の歴史: クラスを怠る」
- ^ DA Turner (1979). 「応用言語の新しい実装手法」.ソフトウェア: 実践と経験. 9 : 31–49. doi :10.1002/spe.4380090105.
- ^ Lennart Augustsson ; Thomas Johnsson (1989 年 11 月)。「(V , G) マシンによる並列グラフ削減」。関数型プログラミング言語とコンピュータ アーキテクチャに関する第 4 回国際会議 FPCA '89 の議事録。pp . 202–213。doi :10.1145/99370.99386。ISBN 0-89791-328-0。
- ^ ab Sarah Nicholas (2023年11月24日). 「David Turner 死亡記事」. The Guardian .
- ^ ターナー、デイビッド。「系譜」。デイビッド・ターナーのホームページ。 2023年11月28日閲覧。
- ^ 「David A. Turner」。数学系譜プロジェクト。 2023年11月28日閲覧。
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016年8月17日). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2020年10月14日閲覧。
- ^ Swierstra、Doaitse;ジェレミー・ギボンズ;ランバート・メルテンス（2011年3月2日）。 「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020 年10 月 14 日に取得。
- ^ ラルフ・ヒンゼ (2016). 「WG2.8 関数型プログラミング」。
- ^ 「デイビッド・ターナー – ミランダの発明者」lambda DAλS . 2017年. 2023年11月21日閲覧。
- ^ 「David Turner – SASL、KRC、Miranda の設計者」。CODE SYNC 2020年。 2023年11月21日閲覧。
- ^ 「パレスチナ占領地における強制移住」イスラエル住宅破壊反対委員会。2018年。
- ^ 「イスラエル・パレスチナ紛争解決の見通し」セントラル・ロンドン・ヒューマニスト。2017年11月23日。
外部リンク
- ケント大学カンタベリー校の公式ウェブサイト
- ミドルセックス大学のスタッフページがArchive.orgにアーカイブされています
- ミランダ関数型プログラミング言語