{"author_name":"susisu","blog_url":"https://susisu.hatenablog.com/","author_url":"https://blog.hatena.ne.jp/susisu/","published":"2017-05-30 00:41:53","provider_name":"Hatena Blog","image_url":null,"blog_title":"Object.create(null)","version":"1.0","title":"5\u5206\u3067\u4f1d\u3048\u305f\u304b\u3063\u305f Curry\u2013Howard \u540c\u578b\u5bfe\u5fdc","url":"https://susisu.hatenablog.com/entry/2017/05/30/004153","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsusisu.hatenablog.com%2Fentry%2F2017%2F05%2F30%2F004153\" title=\"5\u5206\u3067\u4f1d\u3048\u305f\u304b\u3063\u305f Curry\u2013Howard \u540c\u578b\u5bfe\u5fdc - Object.create(null)\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","description":"\u4f1d\u3048\u305f\u304b\u3063\u305f LT \u3092\u3057\u307e\u3057\u305f. connpass.com \u3084\u305f\u3089\u679a\u6570\u304c\u591a\u3044\u5272\u306b\u5bc6\u5ea6\u304c\u9ad8\u304f\u306a\u3063\u3066\u3057\u307e\u3063\u3066\u3044\u308b\u8a00\u3044\u8a33\u3092\u3055\u305b\u3066\u3082\u3089\u3046\u3068, \u306a\u304b\u306a\u304b\u8a71\u304c\u307e\u3068\u307e\u3089\u306a\u304f\u3066, \u7d50\u5c40\u76f4\u524d\u306b\u6025\u3044\u3067\u4f5c\u3063\u305f\u7d50\u679c, \u6642\u9593\u914d\u5206\u3092\u307e\u3063\u305f\u304f\u8003\u3048\u3066\u3044\u306a\u3044\u611f\u3058\u306b\u306a\u3063\u3066\u3057\u307e\u3044\u307e\u3057\u305f. \u5f53\u65e5 System F \u306e\u90e8\u5206\u306f\u5168\u90e8\u98db\u3070\u3057\u3066\u3044\u307e\u3059. \u4f8b\u306b\u3088\u3063\u3066 Speaker Deck \u306f\u30ea\u30f3\u30af\u3092\u57cb\u3081\u8fbc\u3081\u306a\u3044\u306e\u3067\u53c2\u8003\u6587\u732e\u30ea\u30f3\u30af\u96c6\u3067\u3059. \u7b51\u6ce2\u5927\u5b66\u306e\u8a08\u7b97\u8ad6\u7406\u5b66\u306e\u8b1b\u7fa9\u8cc7\u6599 http://www.cs.tsukuba.ac.jp/~kam/complogic/ \u30e9\u30e0\u30c0\u8a08\u7b97\u306e\u57fa\u790e\u304b\u3089 Curry\u2013Howard \u5bfe\u5fdc\u307e\u3067\u3061\u3083\u3093\u3068\u66f8\u3044\u3066\u3042\u3063\u3066\u826f\u3044\u8cc7\u6599 \u2026","width":"100%","provider_url":"https://hatena.blog","categories":["\u767a\u8868\u30fbLT","\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0"],"type":"rich"}