単一化に基づく形式化 (たんいつかにもとづくけいしきか) — unification-based formalisms | Kumi Dictionary