{"description":"\u3053\u3053\u306b\u66f8\u3044\u3066\u3042\u308b\u5185\u5bb9\u306f\u53e4\u3044\u3067\u3059\u3002A\u6b63\u898f\u5f62\u307e\u3068\u3081\u3092\u3054\u53c2\u7167\u304f\u3060\u3055\u3044\u3002 A-reduction \u306e\u5b9a\u7fa9\u306f Evaluation Contexts \u306e\u6982\u5ff5\u3092\u53c2\u7167\u3059\u308b\u3002Evaluation Contexts \u3068\u306f \"hole\" \u3068\u79f0\u3055\u308c[]\u3067\u8868\u73fe\u3055\u308c\u308b\u9805\u306e\u3053\u3068\u3067\u3042\u308a\u3001\u7279\u5b9a\u306e\u526f\u9805\u306e\u5834\u6240\u306b\u73fe\u308c\u308b\u3002 hole \u306e\u5834\u6240\u306f\u3001CEK semantics \u306b\u3057\u305f\u304c\u3063\u3066\u6b21\u306b evalute \u3055\u308c\u308b\u3079\u304d\u526f\u6b21\u5f0f(subexpression)\u3092\u6307\u3057\u793a\u3059\u3002 \u4f8b\u3048\u3070 (let (x M1) M2) \u3068\u3044\u3046\u5f0f\u306e\u5834\u5408\u3001Evaluation Contexts \u306e\u5b9a\u7fa9\u306b (let (x \u03b5) M)\u304c\u3042\u308b\u306e\u3067\u3001\u6b21\u306b\u7c21\u7d04\u3055\u308c\u308b\u3079\u304d\u5f0f\u306f M1\u2026","url":"https://higepon.hatenablog.com/entry/20080112/1200135053","version":"1.0","provider_url":"https://hatena.blog","categories":["scheme"],"height":"190","author_name":"higepon","author_url":"https://blog.hatena.ne.jp/higepon/","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080112%2F1200135053\" title=\" A-normal form \u518d\u5b66\u7fd2 \u305d\u306e4 - 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>","type":"rich","published":"2008-01-12 19:50:53","blog_title":"higepon blog","provider_name":"Hatena Blog","title":" A-normal form \u518d\u5b66\u7fd2 \u305d\u306e4 - Scheme VM","blog_url":"https://higepon.hatenablog.com/","image_url":null}