{"version":"1.0","provider_name":"Hatena Blog","categories":["Scheme"],"blog_title":"\u3042\u3069\u3051\u306a\u3044\u8a71","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkazu-yamamoto.hatenablog.jp%2Fentry%2F20080205%2F1202179180\" title=\"Scheme \u3067\u03bb\u8a08\u7b97 - \u3042\u3069\u3051\u306a\u3044\u8a71\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_url":"https://blog.hatena.ne.jp/kazu-yamamoto/","height":"190","url":"https://kazu-yamamoto.hatenablog.jp/entry/20080205/1202179180","description":"Wikipedia \u306e\u30e9\u30e0\u30c0\u8a08\u7b97\u306b\u3042\u308b\u4f8b\u3092 Scheme \u3067\u5b9f\u884c\u3057\u3066\u7406\u89e3\u3057\u3066\u307f\u307e\u3059\u3002 TRUE \u3068 FALSE TRUE \u3068 FALSE \u306f\u7c21\u5358\u3067\u3059\u3002 ;; TRUE := \u03bbx y. x (define TRUE (lambda (x y) x)) ;; FALSE := \u03bbx y. y (define FALSE (lambda (x y) y)) AND\u3001OR\u3001NOT \u96e3\u3057\u3044\u306e\u306f\u3001\u672c\u4f53\u306b x y z \u306e\u3088\u3046\u306b\u8907\u6570\u306e\u5909\u6570\u304c\u51fa\u3066\u304d\u305f\u3068\u304d\u3067\u3059\u3002\u3053\u308c\u306f\u3001Scheme \u3067\u3044\u3046\u3068 (x y z) \u3068\u3044\u3046\u95a2\u6570\u547c\u3073\u51fa\u3057\u306e\u3053\u3068\u3089\u3057\u3044\u3067\u3059\u3002\u3068\u3044\u3046\u8a33\u3067\u3001AND\u3001OR\u3001NOT \u304c\u5b9a\u7fa9\u3067\u304d\u307e\u3059\u3002 ;; AND :\u2026","blog_url":"https://kazu-yamamoto.hatenablog.jp/","author_name":"kazu-yamamoto","published":"2008-02-05 11:39:40","type":"rich","title":"Scheme \u3067\u03bb\u8a08\u7b97","width":"100%","image_url":null}