まずプロンプトミスなんだよなぁ⋯ 
「自然言語を文字式にして定式化して」 
なんだよなぁ⋯