generated at
合流性
confluence
項書き換え
ラムダ計算
グレブナー基底
クヌース・ベンディックス完備化アルゴリズム

合流性 - Wikipedia