プログラミング研究グループ（PRG）は、数値解析グループとともに、英国オックスフォードにあるオックスフォード大学コンピューティング研究所（OUCL）の一部であったが、 2011年にOUCLがコンピュータサイエンス学部となった。[1]
PRGは1965年にクリストファー・ストラチェイ（1916-1975）[2]によって設立されました。当初はバンバリーロード45番地にありました。[3]
ストラチェイの早すぎる死後、 1977年にC.A.R.ホーアFRSが指導権を引き継ぎました。[4] PRGの精神は、PRGに着任した後にトニー・ホーアが発見し広めたストラチェイの次の言葉に要約されています。
実務と理論の分離は人為的で有害であるというのが、長年の私の個人的な見解です。コンピューティング分野における実務の多くは、ソフトウェア設計とハードウェア設計の両方において、その作業を行う人々がその基本的な設計原理を明確に理解していないため、不健全で不器用なものとなっています。抽象的な数学的・理論的な研究の多くは、実際のコンピューティングとの接点がないため、不毛です。教育研究グループとしてのプログラミング研究グループの中心的な目標の一つは、このような分離が生じないような環境を整えることです。[4] [5]
PRGは1984年にキーブル・ロード8-11番地に移転した。1980年代後半から1990年代初頭にかけて、PRGのメンバーの一部はサウス・パークス・ロード2番地に拠点を置いていた。その中にはジョセフ・ゴーゲン（1988年から1996年までPRGに在籍）も含まれていた。トニー・ホーアは1999年に退職し、2000年からはサムソン・アブラムスキーがPRGを率いた。PRGは、2011年6月1日にオックスフォード大学コンピューティング研究所がコンピュータサイエンス学部に改称されるまで、元PRGメンバーのビル・ロスコーの指導の下、存続した。 [1]
PRGは形式手法の分野における卓越した研究拠点であり、[6]ジャン＝レイモンド・アブリアルの訪問を契機にZ記法やCSP （関連するオッカムプログラミング言語と共に）の開発において主導的な役割を果たした。この分野における功績により、 IBMおよびInmosと共に英国女王賞を受賞した。
参考文献
- ^ ab 「コンピュータサイエンス学科について」英国：オックスフォード大学コンピュータサイエンス学科。 2020年9月7日閲覧。
- ^ “Christopher Strachey (1916–1975)”. Virtual Museum of Computing . Internet Archive . 2007年. 2007年9月26日時点のオリジナルよりアーカイブ。2013年5月3日閲覧。
- ^ 「プログラミング研究グループが1966年から1968年まで使用していた住宅の支出」ボドリアンアーカイブ＆手稿。英国：オックスフォード大学ボドリアン図書館。MS . Eng. misc. b. 255/B.25 。 2020年9月7日閲覧。
- ^ ab 「歴史と構造」オックスフォード大学コンピューティング研究所、インターネットアーカイブ。2007年。2007年6月18日時点のオリジナルよりアーカイブ。2013年5月3日閲覧。
- ^ 「学部生ハンドブック 2006–07」オックスフォード大学コンピューティング研究所、インターネットアーカイブ。2007年。2007年7月20日時点のオリジナルよりアーカイブ。2013年5月3日閲覧。
- ^ Jones, Cliff B. ; Thomas, Martyn (2020年6月11日). 「英国における形式手法の開発と展開」. arXiv : 2006.06327 [cs.SE].
外部リンク
- PRG ウェブサイト ( Archive.org、2010)
北緯51度45分35秒 西経1度15分31秒 / 北緯51.7598度 西経1.2585度 / 51.7598; -1.2585
