定式化
ていしきか formularization