テンソル積ってつまり多重線形性を持つベクトル空間の直積ってことなのかな?