{"description":"\u30e9\u30e0\u30c0\u5f0f\u3092SKI\u30b3\u30f3\u30d3\u30cd\u30fc\u30bf\u30fc\u8868\u73fe\u3059\u308b\u30b3\u30fc\u30c9\u304c\u767a\u6398\u3055\u308c\u305f\uff08\u6614\u306e\u30b3\u30fc\u30c9\u304c\u305f\u307e\u305f\u307e\u898b\u3064\u304b\u3063\u305f\uff09\uff0e \u3061\u306a\u307f\u306b\uff0cSKIBC\u3067\u8868\u73fe\u3059\u308b\u3053\u3068\u3082\u53ef\u80fd\uff0e\u30e9\u30e0\u30c0\u5f0f\u306e\u30d9\u30fc\u30bf\u7c21\u7d04\u306f\u524d\u306b\u3064\u304f\u3063\u305f\uff0e \u30e9\u30e0\u30c0\u8a08\u7b97 - \u843d\u66f8\u304d\u3001\u6642\u3005\u843d\u5b66\u3053\u3093\u306a\u611f\u3058\uff0e *SKI> b \\x->\\y->\\z->x (y z) *SKI> trans opt b S (K S) K *SKI> trans bc b B *SKI> omega \\f->\\x->f (x x) (\\x->f (x x)) *SKI> trans opt omega S (S (S (K S) K) (K (S I I))) (S (S (K S) K) (K (S \u2026","categories":["\u65e5\u8a18","Haskell"],"url":"https://jeneshicc.hatenadiary.org/entry/20091124/1259073786","type":"rich","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjeneshicc.hatenadiary.org%2Fentry%2F20091124%2F1259073786\" title=\"SKI\u30b3\u30f3\u30d3\u30cd\u30fc\u30bf\u30fc@Haskell - \u843d\u66f8\u304d\u3001\u6642\u3005\u843d\u5b66\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_url":"https://hatena.blog","published":"2009-11-24 23:43:06","title":"SKI\u30b3\u30f3\u30d3\u30cd\u30fc\u30bf\u30fc@Haskell","blog_url":"https://jeneshicc.hatenadiary.org/","height":"190","provider_name":"Hatena Blog","image_url":null,"blog_title":"\u843d\u66f8\u304d\u3001\u6642\u3005\u843d\u5b66","author_name":"jeneshicc","author_url":"https://blog.hatena.ne.jp/jeneshicc/","version":"1.0"}