振り替え休日

本日7月3日（金）は独立記念日の振り替えでお休みです。独立記念日はもちろん明日4日ですが、後じゃなくて、前倒しで振り替えにするようです。キャンパスから見上げる空は抜けるような青空。ハワイの空は高くて広いなあ。