SICP/chapter_3: exercise 63~76