m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 気付いた Caty モノイド圏 トレース／コンパクト閉圏 プログラム意味論 とりあえず二部グラフに対応する行列の場合に定式化する。 二部グラフより複雑な有向グラフの場合も考える。 二部グラフより複雑な場合も行列計算に帰着する。 ポートとポートバインディングを考える。 行列より一般的なテンソル計算を考える。 インデックスセットの変換とか加工を考える。 模倣、双模倣の概念はどうなるか？ 行列の同型／同値について考える。 二重圏や双圏の構造を考える。 任意のグラフ上のスクリプトに対する標準形があることを示す。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20120922%2F1348297368" title="プログラムの行列計算 その0.5 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-09-22 16:02:48 rich https://m-hiyama-memo.hatenablog.jp/entry/20120922/1348297368 1.0 100%