普段なら早いのに、妙にアメリカからの反応が遅いな……と思ったら、7月4日(日)は独立記念日だったから、もしかして今日（5日月曜日）は振替休日なのだろうか。日本と同じように、祝日が日曜日と重なったら次の平日が振替休日になるのだろうか。 ……と思ったのでググってみたところ、「祝日が土曜日の場合には前日金曜日が、祝日が日曜日の場合には翌日月曜日が休日になるというのが原則」という規則らしい。というわけで、今日は振替休日なのだった。なるほど。 ……と思ったのだが、それ以前に今はまだアメリカでは月曜日の朝(シアトルだと午前4時、ニューヨークだと午前7時)だった。たとえ平日でもまだ反応が来るわけなかった。┌(:3」└)┐