形式化

けいしき・かkeishiki·ka

Formalisierung f f.