{"width":"100%","author_name":"hayamiz","type":"rich","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/hayamiz/","published":"2008-02-02 14:03:14","url":"https://hayamiz.hatenadiary.org/entry/20080202/1201928594","description":"\u03bb\u8a08\u7b97\u3067\u4e16\u754c\u5f81\u670d - \u304a\u3073\u306a\u305f\u3093\u2606\u6c34\u3092\u3055\u3059\u3088\u3046\u306a\u3053\u3068\u3060\u3051\u3069\u3002\u03bbx. x x x \u306f \u03bbx. (x x) x \u306a\u306e\u3067\u3001\u5143\u8a18\u4e8b\u306b\u3042\u308b (define \u30b5\u30a4\u30c8\u30a6\u30b5\u30f3 (lambda (x) (x (x x)))) \u306f (define \u30b5\u30a4\u30c8\u30a6\u30b5\u30f3 (lambda (x) ((x x) x))) \u306e\u307b\u3046\u304c\u6b63\u3057\u3044\u3001\u3068\u3044\u3046\u304b\u5143\u306e\u30e9\u30e0\u30c0\u5f0f\u306b\u5fe0\u5b9f\u3068\u3044\u3046\u304b\u3002\u3053\u3061\u3089\u3067\u3082\u3082\u3061\u308d\u3093\u3001\u30b9\u30bf\u30c3\u30af\u3092\u5236\u670d\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3002\u305d\u306e\u307e\u3093\u307e\u30e9\u30e0\u30c0\u8a08\u7b97\u3059\u308b\u3068\u3053\u3046\u306a\u308b\u3002 gosh> (BB (P '((\u03bb (x) x x x) (\u03bb (x) x x x)))) (\u03bb x. x x x) (\u03bb x. x x x) (\u03bb x. x x x) \u2026","version":"1.0","height":"190","categories":[],"title":"\u60b2\u3057\u3044\u3051\u3069\u3001\u305d\u308c\u3001\u95a2\u6570\u9069\u7528\u306e\u9806\u756a\u3061\u304c\u3046\u306e\u3088\u306d","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhayamiz.hatenadiary.org%2Fentry%2F20080202%2F1201928594\" title=\"\u60b2\u3057\u3044\u3051\u3069\u3001\u305d\u308c\u3001\u95a2\u6570\u9069\u7528\u306e\u9806\u756a\u3061\u304c\u3046\u306e\u3088\u306d - \u65e5\u8a18\u3092\u66f8\u304f [\u30fbw\u30fb] \u306f\u3084\u307f\u305a\u3055\u3093\" 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,"blog_url":"https://hayamiz.hatenadiary.org/","blog_title":"\u65e5\u8a18\u3092\u66f8\u304f [\u30fbw\u30fb] \u306f\u3084\u307f\u305a\u3055\u3093"}