{"categories":["\u96d1\u6587"],"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fterazzo.hatenadiary.org%2Fentry%2F20110613%2F1307987067\" title=\"\u30e2\u30ca\u30c9\u3067\u306f\u306a\u3044 - terazzo\u306e\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_title":"terazzo\u306e\u65e5\u8a18","author_name":"terazzo","provider_name":"Hatena Blog","url":"https://terazzo.hatenadiary.org/entry/20110613/1307987067","provider_url":"https://hatena.blog","image_url":null,"blog_url":"https://terazzo.hatenadiary.org/","type":"rich","author_url":"https://blog.hatena.ne.jp/terazzo/","width":"100%","title":"\u30e2\u30ca\u30c9\u3067\u306f\u306a\u3044","published":"2011-06-13 02:44:27","description":"\u5927\u304d\u306a\u52d8\u9055\u3044\u3092\u3057\u3066\u3044\u305f\u304b\u3082\u3002\u30e2\u30ca\u30c9\u306e\u5341\u5206\u306a\u8981\u4ef6\u3063\u3066\u3001 \u3042\u308b\u578ba\u306b\u5bfe\u3057\u3066\u305d\u306e\u30b3\u30f3\u30c6\u30ca\u3068\u306a\u308b\u578bM(a)\u304c\u5b9a\u7fa9\u3055\u308c\u308b \u95a2\u6570unit_a:a\u2192M(a)\u3001bind_aa:M(a) \u2192 (a \u2192 M(a)) \u2192 M(a)\u304c\u5b9a\u7fa9\u3055\u308c\u308b*1 unit_a\u3068bind_aa\u306b\u3064\u3044\u3066\u30e2\u30ca\u30c9\u5247\u304c\u6210\u308a\u7acb\u3064 \u578ba\u306e\u8981\u7d20x\u3068f:a\u2192M(a)\u3068\u306a\u308bf\u306b\u5bfe\u3057\u3066bind_aa(unit_a(x), f) \u2261 f(x) M(a)\u306e\u8981\u7d20m\u306b\u5bfe\u3057\u3066bind_aa(m, unit_a) \u2261 m M(a)\u306e\u8981\u7d20m\u3068f:a\u2192M(a), g:a\u2192M(a)\u306b\u5bfe\u3057\u3066\u3001bind_aa(bind_aa(m, f), g) \u2261 bind_aa(m, (\u2026","version":"1.0","height":"190"}