{"blog_title":"\u307e\u3081\u3081\u3082","width":"100%","type":"rich","image_url":"http://ecx.images-amazon.com/images/I/51aw+2+090L.jpg","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmametter.hatenablog.com%2Fentry%2F20121109%2Fp1\" title=\" Types and Programming Languages \u65e5\u672c\u8a9e\u7248 \u30ec\u30d3\u30e5\u30ef\u30fc\u52df\u96c6 - \u307e\u3081\u3081\u3082\" 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","author_name":"ku-ma-me","title":" Types and Programming Languages \u65e5\u672c\u8a9e\u7248 \u30ec\u30d3\u30e5\u30ef\u30fc\u52df\u96c6","categories":[],"published":"2012-11-09 00:00:00","description":"\u4e00\u90e8\u3067\u306f\u544a\u77e5\u6e08\u307f\u3067\u3059\u304c\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u300c\u578b\u300d\u306e\u6559\u79d1\u66f8\u3068\u8a00\u308f\u308c\u308b Types and Programming Languages (\u901a\u79f0 TAPL) \u306e\u7ffb\u8a33\u30c1\u30fc\u30e0\u306b\u53c2\u52a0\u3057\u3066\u307e\u3059\u3002\u8a33\u8005\u306f\u3001\u4ee5\u524d\u306e\u672c\u306e\u30e1\u30f3\u30d0\u30fc (\u7247\u5ca1\u3055\u3093\u3044\u306a\u3044\u3051\u3069) \u3060\u3051\u3067\u306a\u304f\u3001OCaml nagoya \u306e\u4eba\u305f\u3061\u306b\u53c2\u52a0\u3057\u3066\u3082\u3089\u3063\u305f\u4e0a\u3001\u76e3\u8a33\u306f\u306a\u3093\u3068\u4f4f\u4e95\u5148\u751f\u3068\u3044\u3046\u30d1\u30fc\u30d5\u30a7\u30af\u30c8\u306a\u5e03\u9663\u3067\u3059\u3002\u65e2\u306b\u3072\u3068\u901a\u308a\u65e5\u672c\u8a9e\u306b\u306f\u306a\u3063\u3066\u3044\u308b\u306e\u3067\u3001\u3082\u3046\u5c11\u3057\u4fee\u6b63\u3057\u3066\u3001\u6765\u6708\u4e0b\u65ec\u304f\u3089\u3044\u304b\u3089\u6709\u5fd7\u306b\u30ec\u30d3\u30e5\u30fc\u3057\u3066\u3082\u3089\u3044\u305f\u3044\u611f\u3058\u3067\u3059\u3002 \u52df\u96c6\u4eba\u54e1\uff1a\u82e5\u5e72\u540d \u671f\u9593\uff1a12\u6708\u4e0b\u65ec\u304b\u30891-2\u30f6\u6708\u7a0b\u5ea6\uff08\u4e88\u5b9a\uff09 \u5fdc\u52df\u8981\u4ef6\uff1a\u4e0b\u8a18 A)\u3001B) \u306e\u5c11\u306a\u304f\u3068\u3082\u4e00\u65b9\u3092\u6e80\u305f\u3059\u65b9 A) \u30d7\u30ed\u30b0\u30e9\u30df\u2026","author_url":"https://blog.hatena.ne.jp/ku-ma-me/","blog_url":"https://mametter.hatenablog.com/","url":"https://mametter.hatenablog.com/entry/20121109/p1","version":"1.0","height":"190","provider_name":"Hatena Blog"}