m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 雑感 プログラム意味論 まったくダレた一日。あー、バカみたいだ。だが、ひとつだけ考えたことがある。無音、無音記号だ。今までも無音記号については意識していた。 「無音」で日記内検索 自発性とか時間の経過などが無音記号に関係しそうだ、という感じ。無音記号はものすごく大事だと思えてきたぞ。対象がアルファベット集合で、射が遷移翻訳形（トランスデューサー）の圏を考える。この圏は、あまりに一般的で複雑なんで、解析するのは大変なんだけど、まー考えることはできる。アルファベット集合は必ず無音記号を含むとすると、付点集合（pointed set）だと思ってよい。無音記号を含まないアルファベットAがあると、A+{τ}として無音記号を付加… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20071214%2F1197623168" title="無音記号 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-12-14 18:06:08 rich https://m-hiyama-memo.hatenablog.jp/entry/20071214/1197623168 1.0 100%