答えは帰路，車の運転中にわかった．それは第２種スターリング数と関係している．車の運転中に答えがでることは私にはよくあることだが，やはり職場では気が散るということなのだろう．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ｎ人をｋチームに分ける場合の数はｋ^n通り．このうち，チームにだれも属さない場合の数を除けばよい．

　それは包除原理より，

　　kＣ1（ｋ－１）^n－kＣ2（ｋ－２）^n＋・・・＋（－１）^k-2kＣk-1１^n

これを後ろから足し合わせると

　　Σ(1,k-1)（－１）^k-j-1kＣk^jｊ^n＝Σ(1,k-1)（－１）^k-j-1kＣk^jｊ^n

　ｋ^nからこれを引くと

　　ｋ^n－Σ(1,k-1)（－１）^k-j-1kＣk^jｊ^n＝Σ(1,k)（－１）^k-jkＣjｊ^n

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ｎ個をｋ個の区別のあるコンパートメントに分ける場合の数は

　　nＴk＝Σ（－１）^k-jkＣjｊ^n

　これはすべてのコンパートメントに少なくとも１つは属するように分けるという意味です．nＳkは第２種スターリング数と呼ばれるもので，漸化式

　　n+1Ｓk＝nＳk-1＋ｋnＳk

が成り立ちます．

　　nＴk＝ｋ！・nＳk

ですから

　　ｋ！・n+1Ｓk＝n+1Ｔk

　　ｋ！・nＳk-1＝ｋnＴk-1

　　ｋ！・nＳk＝nＴk

　　n+1Ｔk＝ｋnＴk-1＋ｋnＴk

　nＴ1＝１を出発点として

　　nＴ2＝２^n－２

　　nＴ3＝３^n－３・２^n＋３

　　nＴ4＝４^n－４・３^n＋６・２^n－４

　　nＴ5＝（５^n－５・４^n＋１０・３^n－１０・２^n＋５）

　　nＴ6＝（６^n－６・５^n＋１５・４^n－２０・３^n＋１５・２^n－６）

　　nＴn＝Σ（－１）^n-jnＣjｊ^n＝｛ｎ！－・・３^nnＣ2・・２^nnＣ2・・nＣ1｝

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝