いろいろ

1. sum-star, product-star等式を満たすConway半環と、Esikが言っているConway代数（μを使って表現される不動点を持つ代数）はどういう関係がある？
2. Kozenのmatrix-star等式は、Conway半環／Conway代数とどう関係する？
3. Bekicの公式がガウス消去法ってのは、どういうこと？
4. Kozen圏にInt構成(GoI構成）するとどうなる？
5. GSモノイダル性とデカルト性の関係は？
6. 呼び出しがキューイングされない状況では、コンポネントのトレースは困難なのか？
7. いろいろな半環について、それをスカラーとするKozen圏を作ったらどうなる？
8. ベクトル空間が対象、テンソル積の圏におけるトレース（元祖トレース）の計算。