最近、Zoltan Esik（Zoltan Esik - 檜山正幸のキマイラ飼育記 メモ編）ばっかし読んでいるような。 http://www.brics.dk/RS/01/22/BRICS-RS-01-22.pdf : The Equational Theory of Fixed Points with Applications to Generalized Language Theory

えっ、なんだって？！ ベキックの不動点公式はガウスの消去法だと？

まず、クリーネ圏（Kleene圏）という用語は定着まではしてないが安定した定義があるからソレデヨイとしよう。（トレース付き双デカルト・モノイド圏 - 檜山正幸のキマイラ飼育記 メモ編） Kleene圏は本質的に順序的である（定義の上では等式的でも）。 定義…

f:X→X、j:A→X、p:X→Bがあるとき： TrXA,B[(A+ΔX);(σA,X+X);(p+j+f);(B+∇X)] = j;f*;p これは実用的。Trの被演算項がゴチャゴチャしているが、f, j, pの3つのブロックを合わせて（残りは零で埋めて）行列を作るだけの操作。三項演算として、(j ? f ! p) とで…