ネタメモ 雑／最初のほう

1. 級数表示
2. f(x) = 1 + ax, g(x) = b + ax に対する不動点
3. ω総和可能半環
4. ω総和可能半環の具体例：boolean、max-plusとmin-plusがメイン
5. ω総和可能半環の構成：モノイドの上の畳み込み（ベキ集合だけ）、直積、正方行列、関数半環
6. 正規表現と構文図
7. 構文図で見るスターとプラス
8. 級数表示とラベル付き有向グラフ表示の関係：経路の集合という概念
9. 有向グラフあるところ圏あり
10. 境界付き空間（特に2D）、境界付きグラフ、境界付き圏（余談か）
11. 境界の一部をループ接合する操作＝トレース
12. 全トレースとトーラス化
13. 基本ステップを時間方向に延ばす（時間次元の追加）
14. 繰り返し＝時間次元に対する境界（過去と現在のスナップショット）の接合＝トレース＝トーラス化