Vocabulary
形式化
けいしきか
formalization; formalisation
noun
suru-verb
vt
vi