功能统一文法

功能统一文法

ピンイン gōng néng tǒng yī wén fǎ
日本語訳 関数的ユニフィケーション文法