項書換えシステム「Metis」の実装

• 大須賀, 昭彦

• 坂井, 公

• 横井, 俊夫

書誌事項

タイトル別名

• Term Rewriting System generator Metis

抄録

項書換えシステム(TRS)とは,書換え規則の集合のことをいうが,理論面で,代数的仕様記述や関数型プログラミング言語にモデルを与えたり,等式を含んだ定理の証明に応用されたりしている他,実用面では,これに基くプログラミング言語や,定理証明システム等もいくつか提案され,理論・実用の両面からその有効性が確認されてきている.ICOTでは,知的プログラミングシステム構築活動の一環としてTRSワーキンググループ(TRS-WG)を組織し,プログラミング活動の諸問題の解決に取り組んでいるが,今回TRS-WGの支援のもとに,TRSに関する種々の技術を研究する目的で,実験システム"Metis"を実装したので,ここに,その機能概要を報告する.

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第33回 (パターン処理および人工知能), 1425-1426, 1986-10-01

詳細情報

• CRID: 1050292572153283840
• NII論文ID: 110002897691
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00114530/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles