ochalog

SICP Exercise 1.13 の自分の解答。フィボナッチ数を求める式の証明。