Loading article…
R. ジョン M. ヒューズ | |
|---|---|
 ジョン・ヒューズ。 | |
| 生まれる | 1958年7月15日 |
| 教育 | オックスフォード大学、博士号、1984年 |
| 知られている | Chalmers の関数型プログラミング グループ Haskell言語研究 QuickCheck、QuviQ の共同設立者、CEO 「関数型プログラミングが重要な理由」 ソフトウェア テスト |
| 受賞歴 | 2018年ACMフェロー選出 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス、関数型プログラミング |
| 機関 | チャルマース工科大学、QuviQ |
| 論文 | プログラミング言語の設計と実装 (1984) |
| Webサイト | 翻訳: |
R・ジョン・M・ヒューズは、1958年7月15日生まれで、チャルマース工科大学の計算機科学科の教授であり、計算機科学者である。[1]
貢献
1984年、ヒューズはオックスフォード大学で「プログラミング言語の設計と実装」という論文で博士号を取得した。[2]
ヒューズはチャルマース大学の関数型プログラミンググループのメンバーであり、彼の研究の多くはHaskellプログラミング言語に関連しています。彼はプログラミング言語の分野で研究を行っており、「関数型プログラミングが重要な理由」など、このテーマに関する多くの影響力のある研究論文の著者です。[3]
ヒューズ氏はQuickCheckの開発者の一人であり、QuviQの共同設立者兼CEOでもある。QuviQはQuickCheckソフトウェアを提供し、その使い方の講座も開催している。[4]
2016年に彼は人気科学YouTubeチャンネルComputerphileに出演し、関数型プログラミングとQuickCheckについて説明した。[5] [6]
認識
ヒューズは2018年に「ソフトウェアテストと関数型プログラミングへの貢献」によりACMフェローに選出された。 [7]
参照
文献
- J.ヒューズ「モナドのアローへの一般化」[8] コンピュータプログラミングの科学、（37）：67-111、2000年。
参考文献
- ^ 「Chalmersスタッフページ」。
- ^ プログラミング言語の設計と実装(PDF)、オックスフォード大学、1983年7月、 2018年11月7日閲覧
- ^ Hughes, John (1989). 「関数型プログラミングが重要な理由」. Computer Journal . 32 (2): 98–107. doi : 10.1093/comjnl/32.2.98 . 2010年5月6日閲覧。
- ^ IOHK (2018年9月26日)、IOHK - QuviQ 機能的正確性トレーニング - John Hughes、2021年12月14日時点のオリジナルよりアーカイブ、 2019年9月7日閲覧。
- ^ Computerphile (2016年11月30日)、Functional Programming & Haskell - Computerphile、2021年12月14日時点のオリジナルよりアーカイブ、 2018年1月11日閲覧。
- ^ Computerphile (2017年1月18日)、コードチェックの自動化 - Computerphile、2021年12月14日時点のオリジナルよりアーカイブ、 2018年1月11日閲覧。
- ^ 2018 ACM フェローがデジタル時代を支える重要な業績を表彰、Association for Computing Machinery、2018 年 12 月 5 日
- ^ (2005年5月) 最も影響力のある作品
外部リンク
- 公式サイト