確認すべきこと
- メイヤーオートマトンのマイヒル／ネロードの定理 -- これはほとんどOK。どう発展させるかを考える。
- フビニ／グロタンディーク同値 -- だいたい大丈夫な気がするが、ちゃんと計算してない。
- フレイド圏のJが随伴を持つときにモナドを構成する -- クライスリ圏からのモナド再現を一般化するのだろう。
- ホーアトリプルのインスティチューションによる一般化 -- あんまりわかってない。
- ペトリネットのマーキングの一般化と双対の定式化 -- 単なる山勘、アヤシイ。
- オートマトンの森田同値 -- 当初の目論見はダメだった。で、ほったらかしだが、なんかありそう。
- 形式言語系を相対モナドを使って定式化できないか？
- モナドの作用乗法って何だったのか？
- ハイパーリンクをちゃんと書いておいたほうがいい。
- 境界付きアルファベットって、結局よく分からないまま。なんとかしたい。
[追記]それと、ユースケース図とかシナリオとかナニヤラの曖昧な定義を、状態遷移ベースでまともにしたい。けっこう深刻な事情があるし。[/追記]
