したがって、分配関数は