2008-03-17 「再帰的定義を可能にする述語論理の証明支援系上の実装」 計算機科学 学会 拙論 日本IBM東京基礎研究所(中央林間)にて開催された情報処理学会 第68回プログラミング研究会にて発表しました。 (内容は後で追加します)