{"image_url":null,"blog_url":"https://higepon.hatenablog.com/","version":"1.0","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\u81ea\u5206\u306e\u5b9f\u88c5\u3067 normalize \u306e\u30d0\u30b0\u3092\u767a\u898b\u3057\u305f\u306e\u3060\u304c\u6b63\u3057\u3044\u3042\u308a\u304b\u305f\u306b\u6838\u5fc3\u304c\u6301\u3066\u306a\u3044\u306e\u3067\u8ad6\u6587\u8aad\u307f\u306b\u623b\u308b\u3002 \u307e\u305f\u8a33\u3057\u3066\u307f\u308b\u30e1\u30bd\u30c3\u30c9\u3092\u4f7f\u3046\u3002 CEK machine \u8ad6\u6587\u300cThe Essence of Compiling with Continuations\u300d\u306eA\u6b63\u898f\u5316\u306e\u6838\u5fc3\u306f Figure 8 \u306b\u3042\u308b\u3068\u601d\u3046\u306e\u3060\u3051\u3069\u3001CEK machine \u304c\u5206\u304b\u3089\u306a\u3044\u3068\u3060\u3081\u305d\u3046\u3002 Figure 2 \u524d\u5f8c\u3067\u521d\u51fa\u3060\u304b\u3089\u5468\u8fba\u306e\u6587\u7ae0\u3092\u610f\u8a33\u3057\u3066\u307f\u308b\u304b\u3002 CEK\u30de\u30b7\u30f3\u306f\u3001Figure 2 \u306b\u793a\u3055\u308c\u308b\u9077\u79fb\u95a2\u6570\u306b\u5f93\u3044\u72b6\u614b\u9077\u79fb\u3059\u308b\u3002 \u4f8b\u3048\u3070\u3001\u30d6\u30ed\u30c3\u30af (let (\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080110%2F1199930702\" title=\" A-normal form \u518d\u5b66\u7fd2 \u305d\u306e1 - Scheme VM \u3092\u66f8\u304f - 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>","blog_title":"higepon blog","url":"https://higepon.hatenablog.com/entry/20080110/1199930702","author_name":"higepon","published":"2008-01-10 11:05:02","type":"rich","provider_url":"https://hatena.blog","categories":["scheme"],"provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/higepon/","height":"190","width":"100%","title":" A-normal form \u518d\u5b66\u7fd2 \u305d\u306e1 - Scheme VM \u3092\u66f8\u304f"}