月曜日． 本来は仕事なのだけど，年休で当然のように休んだ．年休は基本的に余っているのでいつでも使って良い（たぶん）．仮に毎年20貰うとして，比較的祝日が薄い6月を厚めに12ヶ月に振り分けたとすると，毎月2日ぐらいは休める気がする．それでも休んでい…