矩阵半张量积讲义