本編に書くかも知れない。 行列とは何か、どう捉えるか。 ナニカを長方形格子の形に配置したモノ 格子の形状は I×J 。I、Jがインデックスセット。 配置するナニカが係数（成分、要素） 一般化：形式テンソル、多重行列、係数はコンパクト閉圏 一般化：無限イ…

クライアント／サーバーシステムで、クライアント側状態の遷移をする際に、「次にどこに遷移すべきか」あるいはむしろ「次に遷移するために何をなすべきか」の知識がいる。この知識を Knowledge of Next Step、略して KoNS と呼ぼう。問題は、KoNSを誰が持っ…

何度も「気付いた」と書いている気がするが、、、、プロ関手は行列の拡張概念だと思う。インデックスのセットを増やして、三重四重のインデックスを持つテンソルのようなものを考えても、本質的に次元は増えないとかつて書いた。そうやっても、点は点だし、…