理系学生日記

おまえはいつまで学生気分なのか

問題3-53 (3.5.2 Infinite Streams)

ストリーム s の要素はどうなっているでしょう,という問題.

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

というようなストリーム.1,2,4,8,16,32,・・・