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

DOI Web Site 参考文献8件

書誌事項

タイトル別名
  • ケツゴウシ ニヨル コウカイ タンイツカ サイコウ

この論文をさがす

抄録

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

収録刊行物

参考文献 (8)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ