{"categories":["TAPL"],"author_name":"h_chiro","description":"\u6625\u4f11\u307f\u306b\u5165\u3063\u3066\u6642\u9593\u306b\u4f59\u88d5\u304c\u3067\u304d\u305f\u306e\u3067\u56f3\u66f8\u9928\u3067Types and Programming Languages (The MIT Press)\u4f5c\u8005: Benjamin C. Pierce\u51fa\u7248\u793e/\u30e1\u30fc\u30ab\u30fc: The MIT Press\u767a\u58f2\u65e5: 2002/01/04\u30e1\u30c7\u30a3\u30a2: \u30cf\u30fc\u30c9\u30ab\u30d0\u30fc\u8cfc\u5165: 5\u4eba \u30af\u30ea\u30c3\u30af: 86\u56de\u3053\u306e\u5546\u54c1\u3092\u542b\u3080\u30d6\u30ed\u30b0 (53\u4ef6) \u3092\u898b\u308b\u3092\u501f\u308a\u3066\u304d\u3066\u8aad\u3093\u3067\u307e\u3059\u3002 \u7b2c3\u7ae0\u307e\u3067\u8aad\u307f\u7d42\u308f\u3063\u305f\u306e\u3067\u3001\u7b2c3\u7ae0\u306e\u8a00\u8a9e\u3092\u5b9f\u88c5\u3057\u3066\u307f\u305f\u3002 \u3053\u306e\u8a00\u8a9e\u306f\u3001if\u69cb\u6587,bool\u5024,\u81ea\u7136\u6570,succ,pred,iszero\u306e\u307f\u3092\u6301\u3064\u3002 \u306a\u3093\u304b\u3001\u30d1\u30bf\u30fc\u30f3\u30de\u30c3\u30c1\u30f3\u30b0\u3067\u304d\u308b\u8a00\u8a9e\u306e\u307b\u3046\u304c\u5b9f\u88c5\u3057\u3084\u3059\u3044\u3088\u30fc\u3068\u66f8\u3044\u3066\u3044\u305f\u306e\u2026","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/h_chiro/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fh-chiro.hatenablog.com%2Fentry%2F20110208%2F1297178055\" title=\" chapter3 - \u96d1\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","version":"1.0","published":"2011-02-08 00:14:15","height":"190","image_url":"https://images-fe.ssl-images-amazon.com/images/I/41C%2BmdXHDKL._SL160_.jpg","blog_url":"https://h-chiro.hatenablog.com/","blog_title":"\u96d1\u8a18","provider_url":"https://hatena.blog","width":"100%","url":"https://h-chiro.hatenablog.com/entry/20110208/1297178055","type":"rich","title":" chapter3"}