5月6日まで休みなのか。昔、このパターンだと月曜が平日じゃなかったら振替休日が消えていたような記憶がある。