アラン・コルメロー

アラン・コルメロー
生まれる	( 1941-01-24 )1941年1月24日 カルカソンヌ、フランス
死亡	2017年5月12日(2017-05-12)（享年76歳） マルセイユ、フランス
知られている	プロローグ
配偶者	コレット・クルサジェ
子供たち	3
科学者としてのキャリア
論文	優先順位、プログラミングの構文と言語の分析 (1967)
博士課程の指導教員	ルイ・ボリエ、ジャン・クンツマン

アラン・コルメロー（1941年1月24日 - 2017年5月12日）はフランスのコンピュータ科学者。エクス＝マルセイユ大学の教授であり、論理型プログラミング言語Prologの考案者でもある。

アラン・コルメローは1941年1月24日にカルカソンヌで生まれました。^[1]彼はグルノーブル工科大学を卒業し、^[2]グルノーブルのEnsimagで博士号を取得しました。^[3]

コルメラウアーは1967年から1970年までモントリオール大学の助教授を務め、^[3]そこでTAUM-METEO機械翻訳プロトタイプの開発に使用された最も初期の言語形式の一つであるQ-Systemsを考案しました。 ^{[2] 1984年にProlog IIIを開発し、}制約論理プログラミング分野の主要な創始者の一人となりました。^[2]

コルメローは1970年にエクス＝マルセイユ大学リュミニー校の准教授となり、1979年に教授に昇進した。1993年から1995年にかけて、国立科学研究センター、プロヴァンス大学、地中海大学の共同研究所であるマルセイユ情報研究所（LIM）の所長を務めた。^[3] 2006年に名誉教授を退任したが、^[3]リュミニーの人工知能タスクフォースのメンバーであり続けた。^[4]

コルメラウアーはプロヴァンス＝アルプ＝コート・ダジュール地方議会から賞を受け、1985年にはフランス科学アカデミーからミシェル・モンプティ賞を受賞した。^{[5] 1986年にはフランス政府から}レジオンドヌール勲章を授与された。^[3] 1991年にはアメリカ人工知能協会のフェローとなり、^[6] 1997年には論理プログラミング協会から、彼と他の選ばれた14人の研究者に論理プログラミングの創始者の称号が授与された。^[7]その後、2008年に制約プログラミング協会の研究優秀賞を受賞した。^[8]また、数学の分野ではフランス科学アカデミーの特派員でもあった。 ^[9]

コルメラウアーは2017年5月12日に亡くなった。^{[3] [10] [11] [12]}

ALPアラン・コルメロー賞（略称：アラン・コルメロー賞）^[13]は、論理プログラミング協会によって主催されています。この賞は、論理プログラミングの将来の発展に対する実証済みの証拠または可能性を伴う基礎的、技術的、実用的な貢献が対象となる、広義のPrologに触発されたコンピューティングにおける最近の成果と実用的な進歩に対して授与されます。2022年にProlog Heritage Association ^[14]と協力して行われた第1回目の賞の授与は、Prologと論理プログラミングの50周年を祝うYear of Prolog ^[15]のハイライトでした。

• 公式サイト
• アラン・コルメラウアー『ラヴァンチュール プロローグ』 (映画)
• プロローグ・デイ（映画）