とりあえず二部グラフに対応する行列の場合に定式化する。 二部グラフより複雑な有向グラフの場合も考える。 二部グラフより複雑な場合も行列計算に帰着する。 ポートとポートバインディングを考える。 行列より一般的なテンソル計算を考える。 インデックス…

とりあえず、クライアント／サーバーのときの事実をメモしておく。Cはクライアント側エンドポイント（状態、境界オブジェクト）の集合、Sはサーバー側エンドポイント（アクション、コントロールオブジェクト）の集合とする。CとSは排他的になっている。CとS…