再帰関数に対する適用の規則が間違っていたので修正