2026年6月10日（水）に第98回国際交流セミナーを開催しました。

講師：Ulrich Berger博士（スウォンジー大学）
演題："From Logic to Computation"

講演内容：
コンピュータ・アルゴリズムの深層には数学的証明とソフトウェアを結びつける深い関係があり、証明を計算問題の解とみなすことで、形式論理から実行可能なプログラムを直接「抽出」することが可能になります。ご講演では、Berger先生の研究キャリアならびに数学的証明に関する前提知識について簡単にお話しいただいた後、プログラム抽出の理論を紹介し、この分野の理論の発展を概観していただきました。また、このアプローチの力を示すため、効率的で人間が直接考案するのは困難と思われるプログラムが抽出される例を解説され、「排中律」のような一見非構成的な原理から、並行計算や非決定的プログラムを含む興味深い振る舞いを行うプログラムが抽出されることを紹介されました。

セミナーの様子

（写真をクリックすると大きな写真を見ることができます）