メタ項書き換え計算は，項書換え系の解析・生成・変換を記述・実行するための書き 換え型の計算モデルである．書き換え型の計算モデルの最も重要な性質として合流性 がある．合流性は計算モデルにとって計算結果の一意性を保証する重要な性質である が，MRCでは一般には保証されていない．これまでに示されている合流性の十分条件 は２つあり，一つはメタ項が単純メタ項であり静的直交性を持つこと，もう一つはメ タ項が動的直交性を持つ，すべての規則は左辺に規則を含まない，規則の変数が独立 である，保護演算の制限を満たす，の４つを満たすことである．本研究では，これら の条件を利用し，与えられたメタ項が合流性を持つかどうかを判定するシステムを関 数型言語MLを用いて実装する．