テンソル積
Tensor product of complexes