my SICP(2014, PKU) homework programs