{"provider_name":"Hatena Blog","title":" Haskell\u3067\u5b66\u3076\u570f\u8ad6\u30fb\u30a6\u30a9\u30fc\u30e0\u30a2\u30c3\u30d7\u7de8\u3000\u5199\u50cf\u306e\u307e\u3068\u3081","url":"https://bitterharvest.hatenablog.com/entry/2015/03/12/105058","blog_title":"bitterharvest\u2019s diary","image_url":"http://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20150309/20150309141723.png","blog_url":"https://bitterharvest.hatenablog.com/","height":"190","provider_url":"https://hatena.blog","published":"2015-03-12 10:50:58","author_name":"bitterharvest","width":"100%","type":"rich","version":"1.0","description":"\uff11\uff0e\u5168\u5c04\u3068\u5358\u5c04 \u570f\u8ad6\u3067\u306f\u5199\u50cf\u306f\u91cd\u8981\u306a\u6982\u5ff5\u3067\u3042\u308b\u3002\u7c21\u5358\u306a\u570f\u3067\u306f\u5199\u50cf\u306f\u5c04\u3068\u306a\u308b\u304c\u3001\u570f\u3092\u3055\u3089\u306b\u62bd\u8c61\u5316\u3059\u308b\u3068\u3001\u5199\u50cf\u306f\u5bfe\u8c61\u3068\u3057\u3066\u6271\u308f\u308c\u308b\u3002\u305d\u3053\u3067\u3001\u3053\u3053\u3067\u306f\u3001\u5199\u50cf\u306b\u95a2\u3059\u308b\u91cd\u8981\u306a\u6027\u8cea\u3092\u307e\u3068\u3081\u308b\u3002\u5168\u5c04\uff1a\u5199\u50cf\\(f:X \\rightarrow Y\\)\u3068\u3057\u305f\u6642\u3001\\(Y\\)\u306e\u4efb\u610f\u306e\u8981\u7d20\\(y \\in Y\\)\u306b\u5bfe\u3057\u3066\u3001\\(y=f(x)\\)\u3068\u3059\u308b\u3088\u3046\u306a\\(x\\)\u304c\u5b58\u5728\u3059\u308b\u3068\u304d\u3001\\(f\\)\u306f\u5168\u5c04\u3067\u3042\u308b\u3068\u3044\u3046\u3002 \u4e0b\u56f3\u306f\u5168\u5c04\u306e\u4f8b\u3067\u3042\u308b\u3002 \u5358\u5c04\u306e\u5b9a\u7fa9\uff1a\u5199\u50cf\\(f:X \\rightarrow Y\\)\u3068\u3057\u305f\u6642\u3001\u4efb\u610f\u306e\\(x,x' \\in X\\)\u306b\u5bfe\u3057\u3066\u3001\\(x \\neq x'\\)\u3067\u3042\u308b\u3068\u304d\u3001\\(f(x) \\neq f(x')\\)\u3067\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2015%2F03%2F12%2F105058\" title=\" Haskell\u3067\u5b66\u3076\u570f\u8ad6\u30fb\u30a6\u30a9\u30fc\u30e0\u30a2\u30c3\u30d7\u7de8\u3000\u5199\u50cf\u306e\u307e\u3068\u3081 - bitterharvest\u2019s diary\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_url":"https://blog.hatena.ne.jp/bitterharvest/","categories":["Haskell\u3067\u5b66\u3076\u570f\u8ad6\u30fb\u30a6\u30a9\u30fc\u30e0\u30a2\u30c3\u30d7\u7de8"]}