noun, noun or participle which takes 'suru'
Technical term for expressing something as a formal system, formula, or set of rules. Often used in mathematics, logic, and computer science.
この問題を数学的に定式化する必要がある。
We need to formulate this problem mathematically.
理論の定式化には厳密な定義が求められる。
Formalizing the theory requires rigorous definitions.