ハンス・ザンテマ

ハンス・ザンテマ（1956年生まれ）はオランダの数学者、コンピュータ科学者であり、ナイメーヘンのラドバウド大学の教授で、停止解析に関する研究で知られています。^{[1] [2]}

ザンテマはオランダのゴインガリプで生まれ、1983年にアムステルダム大学でヘンドリック・レンストラ・ジュニアの指導の下、「代数的数論における整数値多項式」と題する論文で代数的数論の博士号を取得した。 ^[3]

ザンテマは卒業後、コンピューターサイエンスの分野に転向するまで数年間業界で働き、1987年から2000年まではユトレヒト大学で、2000年以降はアイントホーフェン工科大学で勤務しました。

2007年よりナイメーヘンのラドバウド大学の非常勤教授を務める。主な業績は項書き換えシステム、特に項書き換えの停止性の自動証明である。彼の名前はザンテマ問題^[4]、すなわち文字列書き換えシステム0011 -> 111000は停止するかという問題にちなんで付けられている。

• ザンテマ、ハンス。1983年。代数的整数論における整数値多項式。博士論文
• ザンテマ、ハンス。 2007 年に数独を実行。オプロッセン、オントワーペンのプログラマー。アラミス・ヘルセンギムナスティーク。

記事、抜粋:

• ザンテマ、ハンス。「項書き換えの終了：解釈と型の除去。」Journal of Symbolic Computation 17.1（1994）：23–50。
• Zantema, Hans. 「意味ラベル付けによる用語書き換えの終了」Fundamenta Informaticae 24.1 (1995): 89-105。
• Endrullis, Jörg、Johannes Waldmann、Hans Zantema。「項書き換えの終了を証明するための行列解釈。Wayback Machineに 2014-10-22 にアーカイブ。」Journal of Automated Reasoning 40.2-3 (2008): 195–220。

• ハンス・ザンテマのホームページ tue.nl