テンソル積
Tensor product of Hilbert spaces