「結合子による高階単一化」再考

スポンサーリンク

概要

• 論文の詳細を見る

• 高階単一化のアルゴリズムとしては,Huetによる射影と模倣に基づく手法が有名である.これに対してDougherty提案の結合子を利用したアルゴリズムでは,高階単一化をナローイングで扱うことができ,射影や模倣による手法に比べ,著しく扱いが簡単になる.しかし,Doughertyの論文は理論的明解さに欠けるので,我々は,アルゴリズムやその健全性・完全性の証明の記述の簡素化を試みた.さらに修正したアルゴリズムの実装を行い,その結果に基づいて,アルゴリズムの正当性や効率化について再検討した.

• 日本ソフトウェア科学会の論文
• 1997-03-17

著者

• 坂井 公

  筑波大学数学系

• 藤田 博征

  筑波大学博士課程数学研究科

• 藤田 博征

  筑波大学理工学研究科

• 池田 浩

  筑波大学数学研究科

関連論文

• 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
• Metis-AS における代数的仕様の検証手続き
• 等式論理の帰納的定理を証明する手続き
• E単一化子の完全集合を求める推論規則
• 項書換えシステム「Metis」の実装
• 不偏ゲームの平坦性についての考察(セッション(6) : 一般)
• 標数2のある体上の代数方程式の求解
• 「結合子による高階単一化」再考
• 特集「制約論理プログラミング」の編集にあたって (制約論理プログラミング)

スポンサーリンク