有給休暇につきましては、個人の権利として認められているところであろうかと思います。個人に認められている有給休暇の枠内で可能な方はお休みをいただくというような運用がなされたというように承知をしているところでございます。済みません、ちょっと議論のすりかえがあるような気がします。有給休暇というのは日数が決められているわけですよ。その中で消化する、しないかというのは、これは労働者が決めることです。それを、有給休暇を国民の祝日に充てるということは、その労働者は自分の有給休暇を一つ使うということなんですよ。そこで日本の国内法が基本的に適用されているのであれば、彼らはその権利を行使すればいいだけの話じゃないですか。