ラムダ式で次のように書いても同じです。引数〈インデックス〉渡しの書き方が色々ありますが、全部同じ意味です。すると:行列の転置をストリング図で表すと次のようになります。似てます(そんなに似てねーか)。この図がほんとに行列の転置になっていることを確認することが例題です。polymatrix〉を考えます。すべて有限集合とします。このテンソルの関数〈写像〉としてのプロファイルは:テンソルをストリング図に描くときは、テンソルの結合の方向を上から下、テンソルのテンソル積の方向を左から右にとります。関して、次の象形文字が使えます。曲がり〉とも呼ばれます。集合の共通部分/合併ではなくて、テンソルの名前〈固有名詞〉として使う象形文字です。computation}〉のことであって、テキストに書き下すとなると幼稚園児には無理です。園児は字が書けませんからね。我々は大人なのでテキストに書き下すことにします。「絵で見れば簡単なことが、なんでこんなウジャウジャになってしまうんだ!?」と腹立たしいかも知れませんが、そこは大人なのだから我慢しましょう。大雑把な絵に対してテキスト記法は精密な情報を持っています。精密さと引き換えの煩雑さなのです。クロネッカーのデルタなので:タプルが等しいことは成分ごとに等しいことなので:次に余評価〈単位〉を書き下します。評価〈余単位〉も同様です。定義は全部クロネッカーのデルタです。今回使わないので書き下しません。