5/2を休みにするのではなく5/1をメーデーで休日
とするという案は出さないのか？