もともと、公務員には盆休みはないのだから、仕方ないでしょ