マールテン・ファン・エムデン

マールテン・ファン・エムデン
ヴァン・エムデン、ブリティッシュコロンビア州ビクトリアにて、2008年
生まれる	マールテン・ヘルマン・ファン・エムデン ( 1937-12-31 )1937年12月31日 フェルプ、オランダ
死亡	2023年1月4日(2023-01-04)（享年85歳） カナダ、ブリティッシュコロンビア州ビクトリア
市民権	オランダ カナダ
母校	アムステルダム大学
知られている	論理プログラミング Prolog 人工知能
科学者としてのキャリア
フィールド	コンピュータサイエンス 論理
機関	ビクトリア大学 ウォータールー大学
論文	複雑性の分析 （1971）
博士課程の指導教員	アドリアン・ファン・ヴィンガルデン

マールテン・ヘルマン・ファン・エムデン（1937年12月31日 - 2023年1月4日）は、オランダ系カナダ人の数学者、コンピューター科学者であり、論理プログラミングと制約論理プログラミングの基礎に関する研究で大きな影響力を持っていました。

ファン・エムデンはオランダのフェルプで生まれ、幼少期のほとんどをオランダ領東インドで過ごした。1959年から1960年にかけて兵役に就き、パイロットおよび士官を務めた。国立飛行訓練学校に通い、1960年から1963年までKLMでパイロットとして働いた。^[1]

ファン・エムデンは1966年にデルフト工科大学で理学修士号を取得し、1971年にアムステルダム大学でコンピュータサイエンスの博士号を取得した。彼の学位論文は「複雑性の分析」と題され、情報理論とデータ分析に関するものであった。彼の論文指導教官はアドリアーン・ファン・ヴィンガルデンであり、彼はもう一人の著名なオランダのコンピュータ科学者エドガー・W・ダイクストラも指導していた。^[2]

ヴァン・エムデンは、1971年から1972年までIBMトーマス・J・ワトソン研究所で博士研究員を務め、その後ドナルド・ミッチー の下でエディンバラ大学の機械知能グループに研究員として加わった。1975年にカナダに移住し、ウォータールー大学の教授に加わった。1987年にビクトリア大学に移った。1980年にはエディンバラ大学、1982年から1983年にはインペリアル・カレッジ（英国）、2000年から2001年にはNWO（オランダ）で客員研究員を務めた。^[要出典]

ヴァン・エムデンはロバート・コワルスキーと共同で、論理プログラミングの論理的意味論の基礎となるホーン節の不動点意味論を開発した。^[3]彼はさらに、ソフトウェアの検証と正しさ、制約充足、区間演算と区間伝播について研究した。^[4]彼は特定のチェスの終盤戦のためのアドバイスを取るPrologプログラムを書いた。^[5]

2008年から2019年にかけて、ヴァン・エムデンは「A Programmer's Place」というブログでプログラミングの実践とコンピューティングの歴史と哲学に関するエッセイ集を執筆した。^[6]