ひさしぶりに家でひとりだ。やるべきことを手早く片付けて型システム入門を読む。 25 章まで読んだ。寝る。