{"height":"190","width":"100%","description":"\u6bce\u5ea6\u304a\u306a\u3058\u307f\u3001\u570f\u8ad6\u52c9\u5f37\u4f1a\u3067\u306f\u306a\u3044\u65b9\u306e\u570f\u8ad6\u52c9\u5f37\u4f1a \u7b2c11\u56de\u306b\u6765\u3066\u3044\u307e\u3059\u3002\u8cc7\u6599\u3068ustream\u306f\u516c\u958b\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u30ef\u30fc\u30af\u30b9\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u30ba\u3055\u3093\u306b\u611f\u8b1d \u7b2c11\u56de: \u6307\u6570\u5bfe\u8c61\u30fb\u30c7\u30ab\u30eb\u30c8\u9589\u570f / \u8b1b\u5e2b @9_ties \u3055\u3093 \u4eca\u65e5\u304b\u3089\u306f\u304c\u3089\u3063\u3068\u8a71\u304c\u5909\u308f\u308b\u306e\u3067\u3001\u524d\u56de\u307e\u3067\u306e\u8a71\u306f\u5fd8\u308c\u3066\u826f\u3044 \u6307\u6570\u5bfe\u8c61\u3068\u30c7\u30ab\u30eb\u30c8\u9589\u570f Curry-Haward-Lambek\u5bfe\u5fdc \u2192 \u570f\u8ad6\u3084\u3063\u3066\u308b\u306e\u3067Lambek\u307e\u3067 \u6307\u6570\u5bfe\u8c61\u306f\u6975\u9650\u3001\u4f59\u6975\u9650\u3067\u8868\u305b\u306a\u3044\u3002\u304c\u3001\u666e\u904d\u5bfe\u8c61 Hom\u96c6\u5408\u306b\u5bfe\u3057\u3066\u3001\u30dd\u30a4\u30f3\u30c8\u30ef\u30a4\u30ba\u306a\u5b9a\u7fa9\u3067\u5143\u306e\u570f\u306e\u69cb\u9020\u304c\u5165\u308b(\u7b2c4\u56de) \u30e2\u30ce\u30a4\u30c9\u306e\u6e96\u540c\u578b\u306e\u96c6\u307e\u308a\u306f\u30e2\u30ce\u30a4\u30c9\u3002CPO\u306e\u9593\u306e\u9023\u7d9a\u5199\u50cf\u306fCPO \u3059\u3079\u3066\u306e\u7dda\u5f62\u5199\u50cf\u306f\u7dda\u5f62\u7a7a\u9593\u3001\u3059\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20130725%2F1374749295\" title=\"\u4eca\u65e5\u306f \u570f\u8ad6\u52c9\u5f37\u4f1a \u7b2c11\u56de \u306e\u65e5\u3067\u3059 - Pixel Pedals of Tomakomai\" 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","url":"https://hiratara.hatenadiary.jp/entry/20130725/1374749295","blog_url":"https://hiratara.hatenadiary.jp/","author_url":"https://blog.hatena.ne.jp/hiratara/","published":"2013-07-25 19:48:15","title":"\u4eca\u65e5\u306f \u570f\u8ad6\u52c9\u5f37\u4f1a \u7b2c11\u56de \u306e\u65e5\u3067\u3059","categories":["\u6280\u8853","\u6570\u5b66"],"author_name":"hiratara","image_url":null,"provider_name":"Hatena Blog","type":"rich","blog_title":"Pixel Pedals of Tomakomai","provider_url":"https://hatena.blog"}