formula_1を適当な計算模型から得られたacceptableナンバリングとする。