Dakui and Yang's reading notes on the book "Beauty of Programming"