2008-03-17から1日間の記事一覧

「再帰的定義を可能にする述語論理の証明支援系上の実装」

計算機科学 学会 拙論

日本IBM東京基礎研究所（中央林間）にて開催された情報処理学会 第68回プログラミング研究会にて発表しました。 （内容は後で追加します）