Hassan Aït-Kaci先生がコロナ禍中の2020年に惜しくも亡くなり、その追悼ワークショップが9月末にリヨンで開催される。しばらくご遺族の意向により、亡くなったことは伏せられていた。
https://projet.liris.cnrs.fr/wemhak/
Aït-Kaci先生はフランス出身で、1984年にペンシルバニア大学で博士号を取得された。ψ項という論理学の項に個体定項の階層情報（順序ソート）を導入した研究で一躍著名人となった。これを発展させ、DECのパリ研究所でLIFEという新しい論理プログラミング言語を開発された。その学術貢献は、チューリング賞に十分値すると私は感じていたが、実際には受賞されなかったのはとても残念だ。
LIFEはメジャーな言語ではなかったが、実用レベルの画期的な論理型言語であった。私の博士論文は、そのLIFEの上で帰納論理プログラミング（論理式の帰納学習）システムを構築し、自然言語情報からの知識獲得を実現した。単語の上位下位関係をLIFEの持つ順序ソートに対応させ、少ない正例から一般化されたルール（論理式）を学習した。これができたのはLIFEという強力な言語があったからであり、Aït-Kaci先生には非常に感謝している。
Aït-Kaci先生との出会いは、1995年にAït-Kaci先生がカナダのSimon Fraser大学の教授をされているときに、1年間研究室に滞在させていただいたときから始まった。そこでは階層を扱う少し違うテーマを頂いた。その後今度は、京都の研究所に数カ月来ていただき、そこでψ項の汎化の公理化について議論し、その後国際会議論文
app.box.com
になった。ψ項のユニフィケーションをAït-Kaci先生が考案されていたが、その逆のψ項の汎化については考えられていなかったようで、非常に興味を持っていただけた。
その後、時は経ち、時々お会いしていたが、2013年にAït-Kaci先生がリヨン大学に所属されているときに、1ヶ月ほど招聘していただき、CEDARプロジェクトというプロジェクトに加わらせていただいた。リヨンでの滞在は私のスケジュールの関係で短いものだったが、本当にあっという間に過ぎた。Aït-Kaci先生は私の出会った情報科学分野の巨人のひとりであり、専門以外の歴史や栄養学にも深い知識を持つ知識人であり、さらに音楽家の一面もお持ちで、天才というのはこういう人なのだということを理解させてもらった。早くして亡くなったのはとても残念だ。
（9/29追記）
ご指名でしたので故人との出会いなど思い出話を含め講演してきました。追悼ワークショップですのでご家族もオンラインで視聴されていた。半分ぐらいはフランス語での発表でした。論理型プログラミング言語LIFEを開発したDEC PRLの元メンバーとも話ができていろいろ裏情報なども聞けて私としても有意義でした。ここには書けない壮絶な事があったようで。片道24時間ぐらいかかる旅程で大変でしたが、故人やその友人たちにお礼が言える場をもらえたのはありがたいことです。
