公式の設定を否定すること