{"categories":["Scheme"],"author_url":"https://blog.hatena.ne.jp/tanakaBox/","width":"100%","version":"1.0","author_name":"tanakaBox","url":"https://boxnos.hatenablog.com/entry/20071224/1198499001","provider_url":"https://hatena.blog","height":"190","type":"rich","image_url":null,"provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fboxnos.hatenablog.com%2Fentry%2F20071224%2F1198499001\" title=\" SICP\u3092\u8aad\u3080(85) \u554f\u984c 2.73 \u8a18\u53f7\u5fae\u5206\u3092\u30c7\u30fc\u30bf\u4e3b\u5c0e\u306b - \u30dc\u30af\u30ce\u30b9\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","title":" SICP\u3092\u8aad\u3080(85) \u554f\u984c 2.73 \u8a18\u53f7\u5fae\u5206\u3092\u30c7\u30fc\u30bf\u4e3b\u5c0e\u306b","published":"2007-12-24 21:23:21","blog_title":"\u30dc\u30af\u30ce\u30b9","blog_url":"https://boxnos.hatenablog.com/","description":"\u3084\u3063\u3068\u554f\u984c\u306b\u5165\u308a\u307e\u3059\u3002 \u554f\u984c 2.73 \u524d\u306b\u4f5c\u3063\u305f\u8a18\u53f7\u5fae\u5206\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u30c7\u30fc\u30bf\u4e3b\u5c0e\u306b\u66f8\u304d\u76f4\u3059\u554f\u984c a (deriv '(+ 2 x) 'x)\u306a\u3089\u3070\u3001'+\u3068'deriv\u306b\u30de\u30c3\u30c1\u3059\u308b\u3001\u624b\u7d9a\u304d\u3092\u691c\u7d22\u3057\u3001\u898b\u4ed8\u304b\u3063\u305f\u624b\u7d9a\u304d\u306b\u3001\u5f15\u6570(2 x)\u3068,'x\u3092\u4f5c\u7528\u3055\u305b\u308b\u3002\u3053\u306e\u5fae\u5206\u30d7\u30ed\u30b0\u30e9\u30e0\u3067\u306f(+ ...)\u3068\u3044\u3046\u306e\u3092\u30c7\u30fc\u30bf\u3068\u3057\u3066\u6271\u3063\u3066\u3044\u308b\u70ba\u30012,x\u306f\u632f\u308a\u5206\u3051\u306b\u5438\u53ce\u3067\u304d\u306a\u3044\u3002\u4eee\u306b\u30012,x\u3082\u30c7\u30fc\u30bf\u4e3b\u5c0e\u3068\u3057\u3066\u306b\u632f\u308a\u5206\u3051\u305f\u3044\u5834\u5408\u306f\u3001\u5f15\u6570\u306b\u81ea\u5206\u81ea\u8eab\u3092\u6301\u3064\u30e1\u30bd\u30c3\u30c9\u3068\u3057\u3066\u767b\u9332\u3059\u308c\u3070\u3044\u3044\u3093\u3058\u3083\u306a\u3044\u304b\u306a\u3041\u3068\u3002 (if (pair? exp) ;(+ ...)\u306e\u51e6\u7406 ((get 'derv (get-type exp)) exp va\u2026"}