変数変換を施して導かれるformula_17