総乗関数prodをテストなしで追加．
C関数はベクトルをつぶす．