2008-04-23 クロネッカー積の添字計算 高次圏論 計算 行列のクロネッカー積を作るときは、添字を 0, 1, 2, ..., I-1 としたほうが便利。a[i, j]とb[k, l]のテンソル積を a(×)b とすれば、 (a(×)b )[i, j, k, l] = a[i, j]*b[k, l] a(×)b を平坦化した行列をcとして; c[α, β] = a[i, j]*b[k, l] α = i*K + k β = j*L + l 逆向きに解くと: i = α/K k = α%K j = β/L l = β%L よって、 c[α, β] = a[α/K, β/L]*b[α%K, β%L]