{"id":208,"date":"2010-03-07T11:59:33","date_gmt":"2010-03-07T02:59:33","guid":{"rendered":"http:\/\/www.typea.info\/blog\/index.php\/2010\/03\/07\/_2\/"},"modified":"2010-03-07T11:59:33","modified_gmt":"2010-03-07T02:59:33","slug":"_2","status":"publish","type":"post","link":"https:\/\/www.typea.info\/blog\/index.php\/2010\/03\/07\/_2\/","title":{"rendered":"\u4e00\u4eba\u8aad\u66f8\u4f1a \u300c\u8a08\u7b97\u6a5f\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u69cb\u9020\u3068\u89e3\u91c8\u300d (2)"},"content":{"rendered":"<p><a href=\"http:\/\/www.amazon.co.jp\/dp\/489471163X?tag=typea09-22&amp;link_code=as3&amp;creativeASIN=489471163X&amp;creative=3999&amp;camp=767\"><img decoding=\"async\" src=\"http:\/\/images-jp.amazon.com\/images\/P\/489471163X.09.MZZZZZZZ.jpg\" complete=\"complete\"><\/a> <\/p>\n<p><a href=\"\/blg\/glob\/2010\/03\/_1_1.html\" target=\"_blank\">\u4e00\u4eba\u8aad\u66f8\u4f1a \u300c\u8a08\u7b97\u6a5f\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u69cb\u9020\u3068\u89e3\u91c8\u300d (1)<\/a><\/p>\n<h2>1.1.3 \u7d44\u5408\u305b\u306e\u8a55\u4fa1<\/h2>\n<p>\u7d44\u5408\u305b\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u8a55\u4fa1\u3055\u308c\u308b.<\/p>\n<ol>\n<li>\u7d44\u5408\u305b\u306e\u90e8\u5206\u5f0f\u3092\u8a55\u4fa1\n<li>\u6700\u5de6\u306e\u6f14\u7b97\u5b50\u3092\u88ab\u6f14\u7b97\u5b50\u306b\u4f5c\u7528\u3055\u305b\u308b<\/li>\n<\/ol>\n<p>\u3053\u308c\u3092 <strong>\u4f5c\u7528\u7684\u9806\u5e8f\u306e\u8a55\u4fa1(applicative-order evaluation)<\/strong> \u3068\u3044\u3046\u304c\u3001\u3082\u3046\u4e00\u3064\u3001\u7d44\u5408\u305b\u3092\u5b8c\u5168\u306b\u5c55\u958b\u3057\u3066\u304b\u3089\u6f14\u7b97\u3092\u884c\u3046\u8a55\u4fa1\u65b9\u6cd5\u3092\u3001<strong>\u6b63\u898f\u9806\u5e8f\u306e\u8a55\u4fa1(normal-order evaluation) <\/strong>\u3068\u3044\u3046.<\/p>\n<h3>\u554f\u984c\u30001.5<\/h3>\n<p>\u4f5c\u7528\u7684\u9806\u5e8f\u306e\u8a55\u4fa1\u3092\u4f7f\u3046\u89e3\u91c8\u7cfb\u3067\u306e\u632f\u308b\u821e\u3044\u3001\u6b63\u898f\u9806\u5e8f\u306e\u8a55\u4fa1\u3092\u4f7f\u3046\u89e3\u91c8\u7cfb\u3067\u306e\u632f\u308b\u821e\u3044\u3092\u8aac\u660e\u305b\u3088<\/p>\n<pre class=\"prettyprint linenums\">&gt;(define (p) (p))\r\n&gt;(define (test x y)\r\n  (if (= x 0)\r\n      0\r\n      y))\r\n&gt;(test 0 (p))\r\n<\/pre>\n<p>if \u304c\u30b7\u30e7\u30fc\u30c8\u30b5\u30fc\u30ad\u30c3\u30c8\u3067\u3042\u308b\u3068\u3059\u308b\u306a\u3089\u3070\u3001\u89e3\u91c8\u7cfb\u304c\u3001\u4f5c\u7528\u7684\u9806\u5e8f\u3067\u3042\u308c\u3070\u3001(test 0 (p)) \u3067\u3001\u6700\u521d\u306b x = 0 \u304c\u8a55\u4fa1\u3055\u308c\u3066\u3001\u7d50\u679c\u304c 0 \u3068\u306a\u308a\u3001test \u306e\u7b2c2\u5f15\u6570 (p) \u306f\u8a55\u4fa1\u3055\u308c\u306a\u3044\u3002<\/p>\n<p>\u6b63\u898f\u9806\u5e8f\u306e\u8a55\u4fa1\u3067\u3042\u308c\u3070\u3001\u307e\u305a\u7d44\u5408\u305b\u304c\u5c55\u958b\u3055\u308c\u308b\u6bb5\u968e\u3067\u3001test \u306e\u7b2c2\u5f15\u6570 (p) \u304c\u7121\u9650\u30eb\u30fc\u30d7(?) \u306b\u9665\u3063\u3066\u3057\u307e\u3046\u3002<\/p>\n<p>\u30fb\u30fb\u30fb \u306e\u3067\u306f\u306a\u3044\u304b\u3002<\/p>\n<p>\u3061\u306a\u307f\u306b\u3001DrScheme \u3067\u5b9f\u884c\u3059\u308b\u3068\u3001\u7d50\u679c\u304c\u8fd4\u3063\u3066\u3053\u306a\u304b\u3063\u305f\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u4e00\u4eba\u8aad\u66f8\u4f1a \u300c\u8a08\u7b97\u6a5f\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u69cb\u9020\u3068\u89e3\u91c8\u300d (1) 1.1.3 \u7d44\u5408\u305b\u306e\u8a55\u4fa1 \u7d44\u5408\u305b\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u8a55\u4fa1\u3055\u308c\u308b. \u7d44\u5408\u305b\u306e\u90e8\u5206\u5f0f\u3092\u8a55\u4fa1 \u6700\u5de6\u306e\u6f14\u7b97\u5b50\u3092\u88ab\u6f14\u7b97\u5b50\u306b\u4f5c\u7528\u3055\u305b\u308b \u3053\u308c\u3092 \u4f5c\u7528\u7684\u9806\u5e8f\u306e\u8a55\u4fa1(applicativ [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"sns_share_botton_hide":"","vkExUnit_sns_title":"","_vk_print_noindex":"","sitemap_hide":"","_veu_custom_css":"","veu_display_promotion_alert":"","vkexunit_cta_each_option":"","footnotes":""},"categories":[34,36],"tags":[],"class_list":["post-208","post","type-post","status-publish","format-standard","hentry","category-scheme","category-reading"],"veu_head_title_object":{"title":"","add_site_title":""},"_links":{"self":[{"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/posts\/208","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/comments?post=208"}],"version-history":[{"count":0,"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/posts\/208\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/media?parent=208"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/categories?post=208"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.typea.info\/blog\/index.php\/wp-json\/wp\/v2\/tags?post=208"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}