Loading article…
リチャード・シンプソン・バード | |
|---|---|
 リチャード・S・バード教授 | |
| 生まれる | 1943年2月13日 ロンドン、イギリス |
| 死亡 | 2022年4月4日（享年79歳） |
| 知られている | アルゴリズム設計 関数型プログラミング バード・メルテンス形式主義 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | レディング大学 オックスフォード大学 |
| Webサイト | www.cs.ox.ac.uk/people/richard.bird |
リチャード・シンプソン・バード（1943年2月4日 - 2022年4月4日）[1]は、イギリスの コンピュータ科学者である。
投稿
彼はイギリスのオックスフォードにあるオックスフォード大学リンカーン・カレッジの計算機科学のスーパーフェローであり、[2]オックスフォード大学計算機研究所（現在はオックスフォード大学計算機科学部）の元所長であった。[3]バードは以前、レディング大学に在籍していた。
研究分野
バードの研究対象はアルゴリズム設計と関数型プログラミングで、 Journal of Functional Programmingの定期寄稿者として知られ、プログラミング言語 Haskellの使用を促進する数冊の本の著者としても知られ、その中にはIntroduction to Functional Programming using Haskell、[4] Thinking Functionally with Haskell、[5] Jeremy Gibbonsとの共著のAlgorithm Design with Haskell、[6]や関連トピックに関するその他の本などがあります。[7] [8]彼の名前は、関数型プログラミングスタイルで仕様からプログラムを導き出す計算法であるバード-メルテンス形式主義に関連しています。
その他の組織所属
彼は国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーであり、 [9]プログラミング言語ALGOL 60とALGOL 68の仕様策定、サポート、保守を行っている。[10]
参考文献
- ^ 「リチャード・バード教授（1943年2月4日 - 2022年4月4日）」。カレッジニュース。オックスフォード大学。2022年4月20日。
- ^ 英国オックスフォード大学リンカーン・カレッジの研究員およびスタッフ。
- ^ リチャード・バード、オックスフォード大学コンピューティング研究所、英国。
- ^ バード、リチャード (1998)。Haskell を使用した関数型プログラミング入門 (第 2 版)。Prentice Hall Press。ISBN 978-0-13-484346-9。
- ^ バード、リチャード (2014)。Haskellで関数型的に考える。ケンブリッジ大学出版局。ISBN 978-1-107-45264-0。
- ^ バード、リチャード、ギボンズ、ジェレミー（2020年7月）。Haskellによるアルゴリズム設計。ケンブリッジ大学出版局。ISBN 978-1-108-49161-7。
- ^ バード、リチャード (1972–2006)。「出版物」。オックスフォード大学コンピューティング研究所。イギリス。
- ^ バード、リチャード (2021). 「リチャード・バード」オックスフォード大学 コンピューターサイエンス学部イギリス。
- ^ 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 日に取得。
外部リンク
- 公式サイト、研究所
- DBLP書誌サーバーの Richard S. Bird
ウィキメディア・コモンズのリチャード・バード（コンピューター科学者）に関連するメディア