formula_1をセキュリティ・パラメータとする。