何を定式化と言うんだ?