Loading article…
フィル・ワドラー | |
|---|---|
 エディンバラ大学での講義前のワドラー氏 | |
| 生まれる | フィリップ・リー・ワドラー 1956年4月8日 |
| 市民権 | アメリカ人 |
| 母校 |
|
| 知られている | |
| 受賞歴 |
|
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス、プログラミング言語 |
| 機関 | |
| 論文 | 無気力は怠惰よりも優れている: 中間リストをなくすために応用プログラムを変換するアルゴリズム (1984) |
| 博士課程の指導教員 | ニコ・ハーバーマン |
| Webサイト | ホームページ.inf.ed.ac.uk/wadler/ |
フィリップ・リー・ワドラー（1956年4月8日生まれ）は、イギリスを拠点とするアメリカのコンピュータ科学者であり、プログラミング言語の設計と型理論への貢献で知られています。彼は、エディンバラ大学情報学部のコンピュータサイエンス基礎研究所で理論コンピュータサイエンスの個人議長を務めています。彼は、関数型プログラミング[1]とモナドの使用の理論、および純粋関数型言語Haskell [2]と宣言型クエリ言語XQueryの設計に貢献しました。1984年に、彼はOrwell言語を作成しました。ワドラーは、 Java 5.0へのジェネリック型の追加に関与しました。 [3]彼はまた、「Theorems for free!」[4]の著者であり、この論文は関数型言語の最適化に関する多くの研究を生み出しました（Parametricityも参照）。[5]
教育
ワドラーは1977年にスタンフォード大学で数学の理学士号を取得し、1979年にはカーネギーメロン大学でコンピュータサイエンスの理学修士号を取得した。 [6] 1984年にはカーネギーメロン大学でコンピュータサイエンスの博士号を取得した。彼の論文は「無気力は怠惰よりも良い」と題され、ニコ・ハーバーマンの指導を受けた。[7] [8]
研究とキャリア
ワドラーの研究対象はプログラミング言語である[9] [10] [11]。[3] [12]
ワドラーは1983年から1987年まで、プログラミング研究グループ（オックスフォード大学計算機研究所の一部）とオックスフォード大学セントクロスカレッジの研究員でした。[6] 1987年から1996年まで、グラスゴー大学で講師、講師、教授を歴任しました。ワドラーはベル研究所、ルーセントテクノロジー（1996年から1999年）、アバイア研究所（1999年から2003年）の技術スタッフでした。2003年以来、エディンバラ大学情報学部の理論計算機科学の教授を務めています。[13]
ワドラー氏は1990 年から 2004 年まで 『Journal of Functional Programming』の編集者を務めました。
2003年以来、ワドラーはエディンバラ大学の計算機科学基礎研究所で理論計算機科学の教授を務めており、理論計算機科学の議長も務めている。[14] 2006年には、ウェブアプリケーションを書くための新しい関数型言語であるLinksに取り組んでいた。[15] [16]多くの博士課程の学生を指導し、修了させた。[8] [17] [18] [19]また、大学のブロックチェーン技術研究所のメンバーでもある。 [20] [21]ワドラーはGoogle Scholarで26,864件の引用があり、h指数は72である。[22]
2018年以来、ワドラー氏はCardanoを開発しているブロックチェーンエンジニアリング企業IOHK（現Input Output Global）のプログラミング言語担当シニアリサーチフェローおよびエリアリーダーも務めている。[23]彼は、 Haskellで書かれたCardanoのチューリング完全なスマートコントラクト言語であるPlutus、UTXO台帳システム、ネイティブトークン、AgdaのSystem Fの開発に貢献してきた。[24] [25]
受賞と栄誉
2003年、ワドラーはプログラミング言語原理シンポジウムから10年前の最も影響力のある論文に贈られる賞を受賞した。受賞論文は、1993年にサイモン・ペイトン・ジョーンズと共同執筆した「命令型関数型プログラミング」であった。 [6] [26] 2005年、彼はエディンバラ王立協会（FRSE）のフェローに選出された。[27] 2007年、彼は計算機協会のフェローに就任した。[28]彼は2023年に王立協会（FRS）のフェローに選出された。 [29] [30]
参考文献
- ^ 「フィリップ・ワドラー：伝記」オライリーメディア。 2017年3月20日閲覧。
- ^ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S .; Wadler, P .; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, MAM; Hammond, K.; Hughes, J. (1992). 「プログラミング言語 Haskell に関するレポート」. ACM SIGPLAN Notices . 27 (5): 1. doi :10.1145/130697.130699. S2CID 15516611.
- ^ ab Wadler, Philip ; Naftalin, Maurice (2007). Java ジェネリックとコレクション。セバストポル、カリフォルニア州: O'Reilly。ISBN 978-0-596-52775-4。
- ^ Wadler, P. (1989). 「定理は無料です!」.関数型プログラミング言語とコンピュータアーキテクチャに関する第 4 回国際会議 FPCA '89 の議事録。p. 347。doi : 10.1145 / 99370.99404。ISBN 978-0897913287. S2CID 5513047。
- ^ YouTubeの「フィリップ・ワドラー教授: 金融における関数型プログラミング」
- ^ abc 「Philip Wadler: CV」（PDF） . Homepages.inf.ed.ac.uk . 2017年3月20日閲覧。
- ^ Wadler, Philip Lee (1984)。無気力は怠惰よりも優れている: 応用プログラムを変換して中間リストをなくすアルゴリズム(博士論文)。カーネギーメロン大学。OCLC 123317612。ProQuest 303342238 。 (サブスクリプションが必要です)
- ^ ab 数学系譜プロジェクトのフィリップ・ワドラー
- ^ DBLP書誌サーバーの Philip Wadler
- ^ Google Scholarにインデックスされた Philip Wadler の出版物
- ^ Philip Wadler の出版物はScopus書誌データベースに索引付けされています。(サブスクリプションが必要です)
- ^ Bird, Richard Miller ; Wadler, Philip (1998). Haskell を使用した関数型プログラミング入門. ニューヨーク: Prentice Hall Europe. ISBN 978-0-13-484346-9。
- ^ 「Philip Wadler」. Inf.ed.ac.uk . 2017年3月20日閲覧。
- ^ 「Philip Wadler」. inf.ed.ac.uk . エディンバラ大学. nd . 2019年2月5日閲覧。
- ^ 「リンク」。2006年6月17日時点のオリジナルよりアーカイブ。2006年6月22日閲覧。
- ^ 「Links langの公式ウェブサイト」。
- ^ Hutchins, DeLesley (2009) .純粋サブタイプシステム: 拡張可能なソフトウェアのための型理論。ethos.bl.uk (博士論文)。エディンバラ大学。hdl :1842/3937。OCLC 781103005。
- ^ レスター、デイビッド (1988)。コンビネータグラフ削減：合同性とその応用。bodleian.ox.ac.uk ( DPhil 論文)。オックスフォード大学。ISBN 9780902928558. OCLC 937098100.
- ^ Yallop, Jeremy (2010). Web プログラミングの抽象化。ethos.bl.uk (博士論文)。エディンバラ大学。hdl : 1842/4683。OCLC 827264319。
- ^ 「ブロックチェーン技術ラボに関係する人々のリスト」。ed.ac.uk。エディンバラ大学。2018年12月14日。 2019年2月5日閲覧。
- ^ Wadler, Philip (nd). 「Philip Wadlerのホームページ」. homes.inf.ed.ac.uk . ホームページ. 2019年2月5日閲覧。
- ^ 「Philip Wadler」. scholar.google.co.uk . Google Scholar. nd . 2019年2月5日閲覧。
- ^ Wall, Jeremy (2018年12月12日). 「IOHKがスマートコントラクト開発用の2つの新ツールを発表」. Invest in Blockchain . 2020年3月25日閲覧。
- ^ Wadler, Philip (2018年12月11日). 「Cardano向けスマートコントラクト言語がPlutusFestで発表」。2020年3月17日時点のオリジナルよりアーカイブ。2003年6月11日閲覧。
- ^ 「フィリップ・ワドラー教授、研究論文 - IOHKリサーチ」IOHK . 2023年6月11日閲覧。
- ^ Peyton Jones, SL ; Wadler , P. (1993). 「命令型関数型プログラミング」。第 20 回 ACM SIGPLAN-SIGACT シンポジウム「プログラミング言語の原理」- POPL '93 の議事録。p . 71。CiteSeerX 10.1.1.53.2504。doi :10.1145/ 158511.158524。ISBN 978-0897915601. S2CID 9751593。
- ^ 「フィリップ・ワドラー教授」rse.org.uk .エディンバラ王立協会.
- ^ ACM フェローシップ賞ページ
- ^ クイン、アンソニー（2023年7月14日）。「ワドラーは科学の巨人たちを追う」。2023年8月4日閲覧。
- ^ “Philip Wadler”. Royalsociety.org . 2023年5月26日閲覧。
ウィキメディア・コモンズのフィリップ・ワドラーに関連するメディア