11日(土)〜15日(水)まで夏休み。5連休。 しかし、11日(土)は休日出勤となってしまい、仕事をしていたので、夏休み早々にけちがついた感じだ。 実質4連休になってしまって非常に短いが、やりたいことはたくさんある。 溜まってきた本も何冊かは読んでしまいた…