プログラムの行列計算 その0.5

1. とりあえず二部グラフに対応する行列の場合に定式化する。
2. 二部グラフより複雑な有向グラフの場合も考える。
3. 二部グラフより複雑な場合も行列計算に帰着する。
4. ポートとポートバインディングを考える。
5. 行列より一般的なテンソル計算を考える。
6. インデックスセットの変換とか加工を考える。
7. 模倣、双模倣の概念はどうなるか？
8. 行列の同型／同値について考える。
9. 二重圏や双圏の構造を考える。
10. 任意のグラフ上のスクリプトに対する標準形があることを示す。