畳み込み版factorialを追加