時間の空間というワケワカラナイ言葉を何度か使っている。国語的にあまりにも変だから止めようと思いながらも使っている。意外と本質を突いた言葉かもしれないし。並列性とか対話性とかの制御＆データフローを考えと、どうしても時間の空間に行き着いてしま…

メイヤーオートマトンのマイヒル／ネロードの定理 -- これはほとんどOK。どう発展させるかを考える。 フビニ／グロタンディーク同値 -- だいたい大丈夫な気がするが、ちゃんと計算してない。 フレイド圏のJが随伴を持つときにモナドを構成する -- クライスリ…

ユースケース図の extends, includeとかって、「入れ子のオートマトンはトレースで実現」のような話ではないのかな？ どうにも曖昧な記述しかないからなんとも言えないが。

http://ja.forvo.com/search/pachner/ によると、Pachnerはパフナーがよさげ。 http://d.hatena.ne.jp/m-hiyama-memo/archive?word=Pachner