{"description":"6 \u72b6\u614b\u4e0d\u5909\u8868\u660e P(R,Ys) = (Reverse(Xs) = R + Reverse(Ys))\u305f\u3060\u3057\u3001\u3053\u3053\u3067+\u306fAppend\u3092\u8868\u3059\u3002\u8a3c\u660e\u306f\u5fc5\u8981\u304b\u3069\u3046\u304b\u308f\u304b\u3089\u306a\u3044\u304b\u3089\u3001\u7701\u7565\u3067\u3002 7 \u5225\u306eappend\u95a2\u6570 \u7d42\u4e86\u3057\u306a\u3044\u3002Ms\u306e\u521d\u671f\u5024\u304cnil\u3067\u306a\u3044\u5834\u5408\u3001\u5e38\u306b{Append Ls [Xs]}\u304c\u547c\u3070\u308c\u308b\u3002\u305d\u306e\u305f\u3081\u7d42\u4e86\u3057\u306a\u3044\u3002 8 \u53cd\u5fa9\u7684append fun {Append Xs Ys} fun {Reverse R Xs} case Xs of nil then R [] X|Xr then {Reverse X|R Xr} end end fun {ReverseAppend R Xs} case\u2026","published":"2008-01-06 00:00:00","categories":["oz","CTMCP"],"title":"\u7b2c3\u7ae0 \u7df4\u7fd2\u554f\u984c 6-10","version":"1.0","blog_url":"https://mzp.hatenadiary.org/","image_url":null,"author_name":"mzp","url":"https://mzp.hatenadiary.org/entry/20080106/oz","height":"190","blog_title":"\u307f\u305a\u3074\u30fc\u65e5\u8a18","provider_url":"https://hatena.blog","width":"100%","provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20080106%2Foz\" title=\"\u7b2c3\u7ae0 \u7df4\u7fd2\u554f\u984c 6-10 - \u307f\u305a\u3074\u30fc\u65e5\u8a18\" 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","author_url":"https://blog.hatena.ne.jp/mzp/"}