{"blog_title":"Asinus's blog","description":"\u30ab\u30ea\u30fc\u30fb\u30cf\u30ef\u30fc\u30c9\u5bfe\u5fdc\u3067\u6709\u540d\u306a\u30cf\u30ef\u30fc\u30c9\u306e\u8ad6\u6587\u3092\u4eca\u66f4\u306a\u304c\u3089\u8aad\u3093\u3067\u307f\u305f\u306e\u3067\u7c21\u5358\u306b\u89e3\u8aac\u3059\u308b\u3002\u3053\u306e\u8457\u4f5c\u306f1980\u5e74\u306e\u30ab\u30ea\u30fc\u3078\u306e\u8a18\u5ff5\u8ad6\u6587\u96c6\u3067\u51fa\u7248\u3055\u308c\u3066\u3044\u308b\u304c\u5143\u3005\u306f1969\u5e74\u306bmanuscript\u3068\u3057\u3066\u8aad\u307e\u308c\u5f15\u7528\u3055\u308c\u3066\u3044\u305f\u3082\u306e\u3067\u3042\u308b\u30021980\u5e74\u7248\u3067\u306f1969\u5e74\u7248(\u672a\u8aad)\u306b\u307b\u3068\u3093\u3069\u624b\u3092\u52a0\u3048\u3066\u3044\u306a\u3044\u3068\u66f8\u3044\u3066\u3044\u308b\u3002\u3053\u308c\u307b\u3069\u91cd\u8981\u306a\u7d50\u679c\u304c\u306a\u305c\u51fa\u7248\u3055\u308c\u306a\u304b\u3063\u305f\u306e\u304b\u3068\u3044\u3046\u3053\u3068\u306b\u3064\u3044\u3066\u306fWadler,\"Propositions as Types\", 20151\u306b\u8f09\u3063\u3066\u3044\u308b\u30cf\u30ef\u30fc\u30c9\u304b\u3089\u306e\u9577\u6587\u306e\u8fd4\u4fe1\u30e1\u30fc\u30eb\u3067\u8aac\u660e\u3055\u308c\u3066\u3044\u308b\u3002\u5148\u884c\u3059\u308b\u7d50\u679c\u3068\u3057\u3066Curry(1958)\u306epositive implicational propositi\u2026","title":"\u30ab\u30ea\u30fc\u30fb\u30cf\u30ef\u30fc\u30c9\u5bfe\u5fdc: Howard, \"The formulae-as-types notion of construction\"\u3092\u8aad\u3080","type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fincognito0.hatenablog.com%2Fentry%2F2020%2F07%2F01%2F124904\" title=\"\u30ab\u30ea\u30fc\u30fb\u30cf\u30ef\u30fc\u30c9\u5bfe\u5fdc: Howard, &quot;The formulae-as-types notion of construction&quot;\u3092\u8aad\u3080 - Asinus&#39;s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","published":"2020-07-01 12:49:04","version":"1.0","categories":["\u30e9\u30e0\u30c0\u8a08\u7b97"],"width":"100%","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/Incognito0/","url":"https://incognito0.hatenablog.com/entry/2020/07/01/124904","blog_url":"https://incognito0.hatenablog.com/","image_url":"https://chart.apis.google.com/chart?cht=tx&chl=%5Cneg%20A","author_name":"Incognito0","height":"190"}