とりあえずメモ；後で書く

1. 1^* = 1 なのか？
2. ベキ等なトレース付き双デカルト圏で、(f⁺)⁺ = f⁺ と (f^*)^* = f^* の計算
3. 力学系と作用素半環として解釈したときの、クリーネ一様性の意味
4. クリーネ・スターを生成作用素の片側S行列として解釈 →クリーネ・スターと片側S行列 - 檜山正幸のキマイラ飼育記 メモ編
5. コンウェイ半環と一様写像の圏は不動点またはトレースを持つだろうか？

これも後で書く

「形式言語系の定義」に、

形式言語系の具体例は後で出す。

って、出してねー。

具体例を書かなくちゃ。