単一化 たんいつか もとづく形式化 けいしきか
tan'itsukani motozuku keishikika

Noun
Suru Verb

1. unification-based formalisms

Rare