{"url":"https://c4se.hatenablog.com/entry/2022/08/30/190051","published":"2022-08-30 19:00:51","author_name":"Kureduki_Maari","title":"2022-08-22\uff5e28 \u9031\u306b\u5f97\u305f\u4e8b : \u675f","height":"190","type":"rich","description":"\u97f3\u6a02 \u7121\u3057 \u8003\u5bdf \u65b0\u8a2d Heyting \u4ee3\u6578 - .\uff61oO(\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u30fe(\u3003l _ l)\uff89\uff9e\u2606) \u65b0\u8a2d de Morgan monoid - .\uff61oO(\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u30fe(\u3003l _ l)\uff89\uff9e\u2606) \u65b0\u8a2d \u675f - .\uff61oO(\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u30fe(\u3003l _ l)\uff89\uff9e\u2606)[ \u589e\u88dc \u7fa9\u52d9\u8ad6\u7406 - .\uff61oO(\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u30fe(\u3003l _ l)\uff89\uff9e\u2606) \u300c\u7dda\u5f62\u300d\u3067\u7d71\u4e00\u3057\u3066\u308b \u7dda\u5f62 / \u7dda\u578b - .\uff61oO(\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u30fe(\u3003l _ l)\uff89\uff9e\u2606) \u65b0\u8a2d Hennessy - Milner logic (HML) - .\uff61oO(\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u30fe(\u3003l _ l)\uff89\uff9e\u2606) \u589e\u88dc \u52d5\u7684\u8ad6\u7406 - .\uff61oO(\u3055\u3063\u2026","blog_url":"https://c4se.hatenablog.com/","image_url":null,"author_url":"https://blog.hatena.ne.jp/Kureduki_Maari/","version":"1.0","blog_title":"c4se\u8a18\uff1a\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u2606","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fc4se.hatenablog.com%2Fentry%2F2022%2F08%2F30%2F190051\" title=\"2022-08-22\uff5e28 \u9031\u306b\u5f97\u305f\u4e8b : \u675f - c4se\u8a18\uff1a\u3055\u3063\u3061\u3083\u3093\u3067\u3059\u3088\u2606\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_url":"https://hatena.blog","categories":["\u8003\u5bdf"],"width":"100%","provider_name":"Hatena Blog"}