{"description":"Jan Rutten \u306e Universal coalgebra: a theory of systems \u306b\u3088\u308b\u3068 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\u2026","author_url":"https://blog.hatena.ne.jp/x76789/","provider_url":"https://hatena.blog","width":"100%","title":" 3. \u72b6\u614b\u9077\u79fb\u7cfb\uff08\u30b7\u30b9\u30c6\u30e0\uff09\u306e\u57fa\u790e\u7406\u8ad6\u3068\u3057\u3066\u306e\u4f59\u4ee3\u6570","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fx76789.hatenadiary.org%2Fentry%2F20100527%2F1286187866\" title=\" 3. \u72b6\u614b\u9077\u79fb\u7cfb\uff08\u30b7\u30b9\u30c6\u30e0\uff09\u306e\u57fa\u790e\u7406\u8ad6\u3068\u3057\u3066\u306e\u4f59\u4ee3\u6570 - x76789\u306e\u7814\u7a76\u30e1\u30e2\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","height":"190","blog_title":"x76789\u306e\u7814\u7a76\u30e1\u30e2","blog_url":"https://x76789.hatenadiary.org/","type":"rich","published":"2010-05-27 19:24:26","url":"https://x76789.hatenadiary.org/entry/20100527/1286187866","image_url":null,"version":"1.0","author_name":"x76789","categories":[]}