状態空間Sが、インデックス集合Iでインデックスされた部分集合族{Si}で覆われているような状況を考える。Siをステージと呼び、Iはステージ記号の集合と考える。被覆は分割でなくてもよい。この用語は以前から使っていたもので、実務上必要だった。が、どうも…

線形論理、領域理論、半関手 - 檜山正幸のキマイラ飼育記 メモ編 再度一部を印刷 - 檜山正幸のキマイラ飼育記 メモ編 これは紙袋に入っていた。紙袋とかビニール袋は鬼門。

プリンタで印刷した2枚の紙をなくした。印刷し直せばいいのだが、なくした状況が不可解。どうしてもなくなるとは思えない状況。なのに、なくなる。要するに僕は、しばしば意識が飛んでしまい、そのあいだの行動が意識で制御されてないのでサッパリ記憶にも残…