SICP問題3.60 - tmurataの日記

べき級数の積についてはWikipediaを見ると

積fgとは
$(fg)(x) \equiv \sum_{n=0}^\infty m_{n}x^n$
とおくとき、係数 $m_{n}$ を畳み込み
$m_{n}=\sum_{k=0}^n a_{k}b{n-k}$
で定めることによって得られる冪級数のことを言う。
冪級数 - Wikipedia

とのことですが、あまり理解できないです。
ということでググって写経状態ですが、以下のコードを。
コード書くと少し理解出来ますね。

(define (mul-series s1 s2)
  (cons-stream (* (stream-car s1)
                  (stream-car s2))
               (add-streams 
                (stream-map (lambda (x) (*
                                         (stream-car s1)
                                         x))
                            (stream-cdr s2))
                (mul-series (stream-cdr s1) s2))))

テスト

(stream-ref (add-streams (mul-series sine-series sine-series)
                         (mul-series cosine-series cosine-series)) 0)
; 1
(stream-ref (add-streams (mul-series sine-series sine-series)
                         (mul-series cosine-series cosine-series)) 1)
; 0
(stream-ref (add-streams (mul-series sine-series sine-series)
                         (mul-series cosine-series cosine-series)) 2)
; 0
(stream-ref (add-streams (mul-series sine-series sine-series)
                         (mul-series cosine-series cosine-series)) 3)
; 0
(stream-ref (add-streams (mul-series sine-series sine-series)
                         (mul-series cosine-series cosine-series)) 4)
; 0

OKかな?

#しかし問題解く時間よりもtex記法について調べる方に時間がかかってるなぁ…。(^_^;