エリック・ヘナー

エリック・CR・ヘーナー
エリック・CR・ヘーナー
生まれる	1947年9月16日（77歳）; オタワ、オンタリオ州、カナダ
教育	カールトン大学(理学士、1969年); トロント大学(理学修士、1970年、博士号、1974年)
知られている	述語的プログラミング; 形式手法; 引用符記法; ALGOL
	科学者としてのキャリア
フィールド	コンピュータサイエンス; プログラミング
機関	トロント大学
Webサイト	www.cs.toronto.edu/~ヘーナー

エリック・"リック"・CR・ヘーナー（1947年9月16日生まれ）は、カナダのコンピュータ科学者です。オタワ生まれ。カールトン大学で数学と物理学を学び、1969年に理学士号（B.Sc.）を取得して卒業。トロント大学でコンピュータサイエンスを学び、1970年に理学修士号（M.Sc.）、1974年に哲学博士号（Ph.D.）を取得。その後、同大学の教員となり、1983年に教授に就任。2001年にベル大学のソフトウェアエンジニアリング学科長に就任し、2012年に退職。^[1]

ヘーナーの主な研究分野は、ソフトウェア設計の形式手法である。当初は述語的プログラミングと呼ばれ、後に実践プログラミング理論と呼ばれるようになった彼の手法は、各仕様をバイナリ（ブール）式と見なし、各プログラミング構造をプログラミング構造を実行した場合の効果を指定するバイナリ式と見なすというものである。洗練とは、単なる含意である。これは最も単純かつ最も一般的な形式手法であり、逐次プログラム、並列プログラム、スタンドアロンプログラム、通信プログラム、終了プログラム、非終了プログラム、自然時間プログラム、実時間プログラム、決定論的プログラム、確率的プログラムに適用され、時間と空間の境界が含まれる。この考え方は、トニー・ホーアを含む他のコンピュータサイエンス研究者にも影響を与えている。

ヘーナーの他の研究分野には、確率的プログラミング、統一代数、高水準回路設計などがある。1979年、ヘーナーは、クォート記法と呼ばれる基数補数の一般化を発明した。これは、算術演算を容易にし、丸め誤差を排除する有理数の表現である。

彼は、国際情報処理連盟（IFIP）のアルゴリズム言語および計算に関するIFIPワーキンググループ2.1のメンバーとして、プログラミングと情報科学の国際標準の開発に携わりました。 ^[1]^[2]このワーキンググループでは、プログラミング言語 ALGOL 60とALGOL 68の仕様策定、保守、サポートを行っています。^{[3]また、プログラミング方法論に関するIFIPワーキンググループ2.3のメンバーでもあります。}^[1]

参考文献

^ abc Hehner, Eric CR (2020年5月3日). 「Eric CR Hehner」.トロント大学コンピューターサイエンス学部. 2020年7月27日閲覧。
^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016-08-17). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2020年10月16日閲覧。
^ Swierstra、Doaitse;ジェレミー・ギボンズ;メルテンス、ランバート(2011-03-02)。「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020年10月16日に取得。

Hehner, ECR (1984). 「述語的プログラミング」. Communications of the ACM . 27 (2): 134–151. doi : 10.1145/69610.357988 . S2CID 11577076.
Hehner, ECR (1990). 「プログラミングの実践理論」.コンピュータプログラミングの科学. 14 (2–3): 133–158. doi : 10.1016/0167-6423(90)90018-9 .
Hehner, ECR (2004). 「ブール代数から統一代数へ」. Mathematical Intelligencer . 26 (2): 3–19. CiteSeerX 10.1.1.638.1782 . doi :10.1007/BF02985647. S2CID 61678587.
Hehner、ECR; Horspool、RNS「高速で簡単な算術演算のための有理数の新しい表現」(PDF)。 {{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です