短い夏休みが終わった。今勤務している会社の夏休みは、8/11～15の5連休であった。前職のメーカーだったら、今年の夏休みは、たぶん8/11～20の10連休だっただろう。転職して、一番変わったのは、休暇の少なさである。まあ、前職のころは、連休の終わりころには、休みに飽きていたのだが。