Homework of DSL course at 2014 spring