{"image_url":null,"categories":["scheme"],"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080113%2F1200226659\" title=\" A-normal form \u518d\u5b66\u7fd2 \u305d\u306e6 - Scheme VM - higepon blog\" 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/higepon/","version":"1.0","provider_name":"Hatena Blog","title":" A-normal form \u518d\u5b66\u7fd2 \u305d\u306e6 - Scheme VM","height":"190","width":"100%","blog_title":"higepon blog","provider_url":"https://hatena.blog","author_name":"higepon","description":"define \u306e normalize \u3092\u5909\u3048\u305f\u3002a-normalize-name \u3067\u306f\u306a\u304f\u3066 a-normalize-with-k\u304c\u826f\u3044\u3002 \u3053\u3046\u3067\u306a\u3044\u3068 inline \u6642\u306e\u624b\u7d9a\u304d\u306e\u5927\u304d\u3055\u304c\u628a\u63e1\u3067\u304d\u306a\u3044\u3002\u73fe\u72b6\u3092\u6574\u7406\u3002 A-reduction \u304c\u52d5\u304f\u3088\u3046\u306b\u306a\u3063\u305f\u3002 inline \u304c\u6b63\u3057\u304f\u884c\u308f\u308c\u3066\u3044\u308b\u304b\u3092\u898b\u3088\u3046\u3002 \u77ed\u3081\u306e\u624b\u7d9a\u304d \u7c21\u5358\u306a inline \u5c55\u958b (define (kar obj) (car obj)) (print (kar '(a . b))) \u3068\u601d\u3063\u305f\u3089 quote \u306e\u6271\u3044\u304c\u304a\u304b\u3057\u3044\u3002 quote \u306f value? => #t \u3067\u3042\u308b\u3053\u3068\u3001normalize \u306f (k m)\u3092\u8fd4\u3059\u3053\u3068\u3092\u2026","url":"https://higepon.hatenablog.com/entry/20080113/1200226659","type":"rich","blog_url":"https://higepon.hatenablog.com/","published":"2008-01-13 21:17:39"}