世間では本日から「夏期休暇」開始とか。

特に予定はないのですが、長期の休みは嬉しくも、その後社会復帰できるかすこし心配（笑