This document is prepared for my classroom at Bunkyo university.