x76789 https://blog.hatena.ne.jp/x76789/ x76789の研究メモ https://x76789.hatenadiary.org/ Jan Rutten の Universal coalgebra: a theory of systems によると Jan Rutten's Universal coalgebra Abstract: In the semantics of programming, finite data types such as finite lists, have traditionally been modelled by initial algebras. Later final coalgebras were used in order to deal with in finite data t… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fx76789.hatenadiary.org%2Fentry%2F20100527%2F1286187866" title=" 3. 状態遷移系（システム）の基礎理論としての余代数 - x76789の研究メモ" 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 2010-05-27 19:24:26 rich https://x76789.hatenadiary.org/entry/20100527/1286187866 1.0 100%