# Queen's University Belfast ## 概要 英国北アイルランドのベルファストに所在するラッセル・グループ加盟の公立研究大学。1845年に設立されたクイーンズ・カレッジ・ベルファストを起源とする。C. A. R. Hoare が計算機科学科（Department of Computer Science）の教授を務めていた1969年に、記念碑的論文「An Axiomatic Basis for Computer Programming」を執筆・発表した研究拠点である。(Source: [[@1969__CACM__An Axiomatic Basis for Computer Programming]]) ## 関連 - 人物: [[C. A. R. Hoare]] - ソース: [[@1969__CACM__An Axiomatic Basis for Computer Programming]] ## 出典 - C. A. R. Hoare, "An Axiomatic Basis for Computer Programming", *CACM*, 1969.