"Hoare algebra"って言葉は使われてないようだ。僕が使ってしまうぞ。プログラムの計算がテンソル計算と似ているのは、・→・ に対して、2つのブール半環と、それらを係数とする両側半加群が対応するからだろう。A, Bなどがプログラムで、p, qなどが条件だと…

同じ概念を次のような言い方をしている。 複行列 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%CA%A3%B9%D4%CE%F3 形式テンソル http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%B7%C1%BC%B0%A5%C6%A5%F3%A5%BD%A5%EB テンソルグラフ htt…

僕の作業仮説であるマンダラ仮説だと、計算の世界は複雑だ。単純化しすぎた定式化はうまくいかないだろうと思っている。だが、扱いにくい複雑性ではどうにもならない。扱いやすい「単純な複雑さ」を探さなくてはならない。今知っている具体例から抽象して、…