{"description":"\u8a9e\u6e90\u3001\u7531\u6765\u3001\u8b02\u308c\u3001\u3044\u308f\u304f\u3001\u7269\u8a9e\u3001\u9038\u8a71 \u3068\u304b\u3092\u8981\u6c42\u3055\u308c\u308b\u3068\u56f0\u308b\u306e\u3060\u304c\u3001\u4eba\u3005\u306f\u305d\u308c\u3092\u6c42\u3081\u308b\u306e\u3067\u3001\u66f8\u3044\u3066\u304a\u304f\u3002 \u8a18\u53f7 \u7531\u6765 ! \u305f\u3076\u3093\u552f\u4e00\u6027\u304b\u3089 \u2203! \u3068\u540c\u3058\u7531\u6765 \u03c0 projection\u306ep \u03b9 injection\u306ei \u0394 diagonal\u306ed\u3001\u305d\u308c\u3068\u5f62\u72b6\u306e\u985e\u4f3c \u03bb left\u306el \u03c1 right\u306er\uff08rh\uff09 \u03b1 associative\u306ea \u03c3 symmetry\u306es, symmetriy = permutation \u03b3 conjunction\u3068constructor\u306ec\u3001\u3060\u304c\u6ce8\u8a18\u53c2\u7167 \u03b5 eval\u306ee \u03b4 distributive\u306ed \u203b\u6ce8\u8a18\uff1a \u03b3\u306fc\u306b\u306f\u5bfe\u5fdc\u3057\u306a\u3044\u3002g\u306b\u5bfe\u5fdc\u3002\u3060\u304c\u3001\u4e09\u756a\u76ee\u306b\u767b\u5834\u3059\u308b\u2026","blog_url":"https://m-hiyama-memo.hatenablog.jp/","url":"https://m-hiyama-memo.hatenablog.jp/entry/20181119/1542609025","type":"rich","published":"2018-11-19 15:30:25","categories":["\u8ad6\u7406","Mx","2018","\u7528\u8a9e\u6cd5"],"author_url":"https://blog.hatena.ne.jp/m-hiyama-memo/","image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181119%2F1542609025\" title=\"\u8a3c\u660e\u3068\u4e3b\u5f35\uff1a \u4e00\u89a7\u8868 - (\u4fdd\u5b58\u7528) \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 \u30e1\u30e2\u7de8\" 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","blog_title":"(\u4fdd\u5b58\u7528) \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 \u30e1\u30e2\u7de8","provider_name":"Hatena Blog","author_name":"m-hiyama-memo","width":"100%","height":"190","title":"\u8a3c\u660e\u3068\u4e3b\u5f35\uff1a \u4e00\u89a7\u8868","version":"1.0"}