Cdimpleとは、項書換え系(TRS)が与えられると、TRSの各々の関数記号に対して、C言 語で書かれた関数定義文を生成するTRSコンパイラである。このシステムは、代数的 に記述された抽象データ型の仕様を直接実行したり、仕様の検証の道具として利用で きる。 入力となるTRSには、ユーザが用意したC関数(ベース関数)の利用も許されており、効 率的な実行を可能にしているのだが、書換え規則の左辺には用いてはならないという 制約があるため、特に検証等の用途には不向きである。 本研究では、左辺にベース関数が用いられた場合においても、正しくマッチングが行 われ、書換えがなされるようにCdimpleアルゴリズムを改良し、動作を確認した。