ストリーム s の要素はどうなっているでしょう,という問題.
(define (add-stream s1 s2) (stream-map + s1 s2)) (define s (cons-stream 1 (add-stream s s)))
- 最初の要素が 1 なのは定義より明らか.
- 次の要素は,ストリーム s の先頭要素を 2 回足したものであり,s の最初の要素は上記より 1 であるから,1+1=2.
- 次の要素は,2+2=4
- 4+4=8
というようなストリーム.1,2,4,8,16,32,・・・