Vocabulary
単一化に基づく形式化
たんいつかにもとづくけいしきか
unification-based formalisms
noun
suru-verb