ダウンロード

木オートマトンに基づく項書き換えシステムの逆計算