2011-07-27 行列の記法 メモ 気付いた 上下の添字を使うのはアスキーで書けない。A[i, j] とかがいいが、これだと向きがいまいちわからない。そこで、A[i->j]とかA[j<-i]とか括弧の代わりに矢印を使う。Σ(B[k<-j]A[j<-i]) で、jが2回出てきてるから、これで和を取るのはテンソル計算と同じ。アインシュタイン規約でΣを省略可能。Aの転置をAlloyに倣って ~A とすると、~A[i<-j] = A[j->i] のように書ける。A[i,j->k], A[k,j<-i] なども同じ、こっちはモロにテンソル計算。
