{"author_name":"Nobuhisa","version":"1.0","title":"Curry-Howard","blog_url":"https://nobuhisa.hatenablog.jp/","description":"\u3068\u308a\u3042\u3048\u305a\u306f\u30e1\u30e2\u3060\u3051 \u3053\u306e\u3088\u3046\u306a\u300c\u578b\uff1d\u547d\u984c\uff0c\u30d7\u30ed\u30b0\u30e9\u30e0\uff1d\u8a3c\u660e\u300d\u3068\u3044\u3046\u5bfe\u5fdc\u306e\u3053\u3068\u3092\uff0c\u30ab\u30ea\u30fc\u30fb\u30cf\u30ef\u30fc\u30c9\u306e\u5bfe\u5fdc\uff08Curry-Howard correspondence\uff09\u3068\u3044\u3046 http://itpro.nikkeibp.co.jp/article/COLUMN/20070909/281498/ http://www.kmonos.net/wlog/61.html#_0538060508 http://pkturner.org/programming/Curry-Howard.html","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnobuhisa.hatenablog.jp%2Fentry%2F20080629%2F1214675743\" title=\"Curry-Howard - Nobuhisa&#39;s diary\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":null,"url":"https://nobuhisa.hatenablog.jp/entry/20080629/1214675743","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","blog_title":"Nobuhisa's diary","width":"100%","author_url":"https://blog.hatena.ne.jp/Nobuhisa/","categories":["\u30e1\u30e2","\u8aad\u3080"],"published":"2008-06-29 02:55:43","height":"190","type":"rich"}