単一化に基づく形式化 たんいつかにもとづくけいしきか noun (common) (futsuumeishi) noun or participle which takes the aux. verb suru obscure term unification-based formalisms ◄ ►