{"type":"rich","published":"2009-05-07 08:47:58","blog_title":"tmurata\u306e\u65e5\u8a18","image_url":null,"description":"\u30bc\u30ed\u3092\u307e\u305f\u304c\u308b\u533a\u9593\u3067\u5272\u3063\u305f\u6642\u3001\u3069\u3046\u3044\u3046\u72b6\u614b\u306b\u306a\u3063\u3066\u3044\u308b\u304b\u3068\u3044\u3046\u3068\u3001\u5358\u7d14\u306b 0 \u5272\u308a\u304c\u767a\u751f\u3059\u308b\u3068\u304b\u3001\u4e0a\u9650\u4e0b\u9650\u304c\u5165\u308c\u66ff\u308f\u308b\u3068\u304b\u8003\u3048\u3089\u308c\u308b\u3051\u3069\u3001\u4e00\u5fdc\u8a66\u3057\u3066\u307f\u308b\u3002 X (10 \u00b1 3), Y (0 \u00b1 1) \u306e\u5834\u5408 (div X Y) => (mul-interval X (make-interval (/ 1.0 (upper-bound Y)) (/ 1.0 (lower-boudn Y)))) => (mul-interval (10 \u00b1 3) (make-interval (/ 1.0 (+ 0 1)) (/ 1.0 (- 0 1)))) => (let ((p1 (* (10 - 3) (/\u2026","url":"https://tmurata.hatenadiary.org/entry/20090507/1241653678","author_name":"tmurata","categories":["SICP"],"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftmurata.hatenadiary.org%2Fentry%2F20090507%2F1241653678\" title=\"SICP\u554f\u984c2.10 - tmurata\u306e\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>","width":"100%","version":"1.0","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","height":"190","blog_url":"https://tmurata.hatenadiary.org/","author_url":"https://blog.hatena.ne.jp/tmurata/","title":"SICP\u554f\u984c2.10"}