{"height":"190","description":"Coq8.2\u304b\u3089Type class\u304c\u5c0e\u5165\u3055\u308c\u305f\u3002 \u3082\u3068\u3082\u3068Type class\u306fHaskell\u306b\u3042\u3063\u305f\u3082\u306e\u3067\u3042\u308b\u3002 \u3088\u3063\u3066\u3001Expression problem\u3082Haskell\u304b\u3089\u3084\u308a\u59cb\u3081\u308b\u306e\u304c\u697d\u3067\u3042\u308b\u3002 \u3060\u304c\u3001\u79c1\u306f\u6b8b\u5ff5\u306a\u304c\u3089Haskell\u306e\u4e16\u754c\u306e\u4f4f\u4eba\u3067\u306f\u306a\u3044\u306e\u3067\u3001Haskell\u306b\u3088\u308b\u89e3\u6c7a\u306b\u95a2\u3057\u3066\u306f\u79c1\u304c\u3053\u308c\u3092\u3084\u308b\u306b\u3044\u305f\u3063\u305f\u539f\u56e0\u3067\u3042\u308bmaoe\u3055\u3093\u306e\u8a18\u4e8b\u3092\u53c2\u7167\u3057\u3066\u307b\u3057\u3044\u3002 Haskell\u306eType class\u306a\u3093\u3066\u308f\u304b\u3089\u3093\uff01\u3068\u3044\u3046\u4eba\u306e\u305f\u3081\u306b\u3001Expression problem\u306b\u95a2\u3057\u3066\u3060\u3051\u8aac\u660e*1\u3002 \u8981\u306f\u3001\u5f0f\u3092\u8a08\u7b97\u3059\u308b\u3088\u3046\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u66f8\u3044\u3066\u3001\u4eca\u307e\u3067\u66f8\u3044\u305f\u90e8\u5206\u306b\u624b\u3092\u52a0\u3048\u308b\u3053\u3068\u306a\u304f\u65b0\u3057\u3044\u6f14\u7b97\u5b50\u3092\u5165\u2026","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/chiguri_s/","title":"Coq\u306eType class\u3067Expression problem\u306b\u6311\u6226\u3059\u308b","blog_title":"chiguri\u306e\u751f\u614b\uff08\u5618\u3084\u8a87\u5f35\u30a2\u30ea\uff09","author_name":"chiguri_s","image_url":null,"categories":["\u7814\u7a76","Coq"],"type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fchiguri-s.hatenadiary.org%2Fentry%2F20110211%2F1297438098\" title=\"Coq\u306eType class\u3067Expression problem\u306b\u6311\u6226\u3059\u308b - chiguri\u306e\u751f\u614b\uff08\u5618\u3084\u8a87\u5f35\u30a2\u30ea\uff09\" 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","url":"https://chiguri-s.hatenadiary.org/entry/20110211/1297438098","version":"1.0","published":"2011-02-11 00:28:18","blog_url":"https://chiguri-s.hatenadiary.org/","width":"100%"}