m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 気付いた トレース／コンパクト閉圏 マンダラ アルファベットも圏（の生成系）と言ったが、実例を出す。以前から僕は、状態遷移におけるステージ（フェーズとかモードと言ってもよい）という概念を使ってきた。次の例では、4つのステージを持つ。（ネーミングは、created/disposed とか born/dead のほうがよかった。 beBorn ready working disposed アクション記号は init : beBorn→ready begin : ready→working end, cancel : working→ready put(0), put(1), ..., unput : working→working dispo… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20110802%2F1312255853" title="アルファベットも圏であることと、ステージ付き遷移系 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img2/staged-transition.gif Hatena Blog https://hatena.blog 2011-08-02 12:30:53 rich https://m-hiyama-memo.hatenablog.jp/entry/20110802/1312255853 1.0 100%