形式化 (けいしきか) — formalization | Kumi Dictionary