sum-star, product-star等式を満たすConway半環と、Esikが言っているConway代数（μを使って表現される不動点を持つ代数）はどういう関係がある？ Kozenのmatrix-star等式は、Conway半環／Conway代数とどう関係する？ Bekicの公式がガウス消去法ってのは、ど…

google:"compact closed category" INT この検索結果は楽しいよ。で： http://www.cs.sunysb.edu/~grosu/bsbs99.pdf いやーーー、ビックリしたー！ UML-RTの図が、traced monoidal/compact closed categoriesそのものだってサ。著者にステファネスク（ステフ…