factorial単純化