ローランド・カール・バックハウス

ローランド・カール・バックハウス
ローランド・バックハウス、2009年
生まれる	(1948-08-18) 1948年8月18日（76歳） ミドルスブラ、イングランド
市民権	イギリス オランダ
教育	チャーチル・カレッジ、 ケンブリッジ大学 インペリアル・カレッジ・ロンドン
知られている	プログラム構築 アルゴリズム問題解決 ALGOL
配偶者	ヒラリー
子供たち	3
科学者としてのキャリア
フィールド	コンピュータサイエンス、数学
機関	王立航空研究所 ヘリオットワット大学 エセックス大学 フローニンゲン大学 アイントホーフェン 工科 大学 ノッティンガム大学
博士課程の指導教員	ジム・カニンガム
Webサイト	翻訳元

ローランド・カール・バックハウス（1948年8月18日生まれ）は、イギリスのコンピュータ科学者、数学者。2020年現在、ノッティンガム大学のコンピュータサイエンスの名誉教授^[update]である。^{[1] [2]}

バックハウスは、イングランド北東部の工業都市ミドルズブラのソーンツリー地区で生まれ育った。1959年、当時男子校だったアクラム・ホール・グラマー・スクールに入学し、1966年にケンブリッジ大学チャーチル・カレッジに進学した。博士号（Ph.D.）は、インペリアル・カレッジ・ロンドンのジム・カニンガムの指導のもとで取得した。

バックハウス氏は、王立航空研究所（1969～1970年）、ヘリオット・ワット大学（1973～1982年）、エセックス大学（1982～1986年）での勤務経験を持つ。ノッティンガム大学に勤務する前は、オランダのフローニンゲン大学（1986～1990年）およびアイントホーフェン工科大学（1990～1999年）でコンピューターサイエンスの教授を務めていた。

彼は国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーであり、 ^[3]プログラミング言語ALGOL 60とALGOL 68の仕様策定、保守、サポートを行っている。^[4]

バックハウスはヒラリー（旧姓ミッチェル）と結婚しており、二人の間にはケビン、アンドリュー、デビッドの3人の息子がいる。

彼の研究対象は、プログラム構築の数学とアルゴリズムによる問題解決です。Jan LA van de Snepscheut (1953-1994)とともに、プログラム構築の数学に関する 2 年ごとの会議シリーズを開始し、最初の会議は 1989 年に開催されました。

• バックハウス、ローランド（2011）。アルゴリズムによる問題解決。チチェスター：ワイリー。ISBN 978-0-470-68453-5。
• バックハウス、ローランド（2003）。プログラム構築：仕様から実装を計算する。チチェスター：ワイリー。ISBN 978-0-470-84882-1。
• バックハウス、ローランド（1986）。プログラム構築と検証。ニュージャージー州エングルウッドクリフス：プレンティス・ホール・インターナショナル。ISBN 978-0-13-729153-3。
• バックハウス、ローランド (1979)。プログラミング言語の構文。Prentice-Hall International コンピュータサイエンスシリーズ。ニュージャージー州エングルウッドクリフス: Prentice-Hall International。ISBN 978-0-13-879999-1。

• Backhouse, Roland; Gibbons, Jeremy ; Hinze, Ralph; Jeuring, Johan, 編 (2007)。データ型汎用プログラミング: 国際スプリングスクール、SSDGP 2006、ノッティンガム、英国 2006 年 4 月 24 ～ 27 日、講義の改訂版。データ型汎用プログラミングに関する国際スプリングスクール。ベルリン: Springer。ISBN 978-3-540-76785-5。
• Backhouse, Roland; Gibbons, Jeremy編 (2003)。Generic programming: advanced lectures [2002 年 8 月にオックスフォード大学で開催された Generic Programming に関するサマー スクールで行われた講義] 。ベルリン: Springer。ISBN 978-3-540-20194-6。
• Backhouse, Roland; Crole, Roy L.; Gibbons, Jeremy編 (2002)。プログラム構築の数学における代数的および余数的手法: 国際サマースクールおよびワークショップ オックスフォード、英国、2000 年 4 月 10 ～ 14 日、改訂講義。ベルリン、ニューヨーク: Springer。ISBN 978-3-540-43613-3。
• Backhouse, Roland; Oliveira, Jose N. 編 (2000)。プログラム構築の数学 2000。ベルリン、ニューヨーク: Springer。ISBN 978-3-540-67727-7。

• Backhouse, R. C.; Carre, B. A. (1975). 「経路探索問題への正則代数の応用」.数学とその応用研究所誌. 15 (2): 161–186. doi :10.1093/imamat/15.2.161.
• Backhouse, R.; Jansson, P.; Jeuring, J.; et al. (1999). 「Generic Programming」.高度関数型プログラミング[会議情報: 3rd International School on Advanced Functional Programming (AFP 98)、1998 年 9 月 12 ～ 19 日、ポルトガル、ブラガ]. コンピュータ サイエンスの講義ノート。第 1608 巻。pp. 28 ～ 115。doi : 10.1007/ 10704973_2。ISBN 978-3-540-66241-9。
• Doornbos, H.; Backhouse, R.; vanderWoude, J. (1997 年 6 月). 「数学的帰納法への計算的アプローチ」.理論計算機科学. 179 (1–2): 103–135. doi : 10.1016/s0304-3975(96)00154-5 .
• Backhouse, R. (2002). 「ガロア接続と不動点計算」。プログラム構築の数学における代数的および余代数的手法[会議情報: プログラム構築の数学における代数的および余代数的手法に関する国際サマースクールおよびワークショップ、日付: 2000 年4月 10 ～ 14 日、オックスフォード大学、オックスフォード、イギリス]。コンピュータサイエンスの講義ノート。第 2297 巻。pp. 89 ～ 148。CiteSeerX 10.1.1.108.2022。doi :  10.1007 / 3-540-47797-7_4。ISBN 978-3-540-43613-3。
• Doornbos, H.; Backhouse, R. (1996). 「Reductionivity」 [会議情報: 第 3 回プログラム構築数学に関する国際会議、日付: 1995 年 7 月 17 ～ 21 日、ドイツ、Kloster Irsee].コンピュータプログラミングの科学. 26 (1 ～ 3): 217 ～ 236. doi : 10.1016/0167-6423(95)00027-5 .

• 公式サイト
• DBLP コンピュータサイエンス参考文献