2017-10-27 午前中。 9時半元ホームグラウンド入り。ふつうに仕事。 毎年この時期になると、ハロウィンよりも、米欧がそれぞれどの週末に冬時間に変わるか(そして日本での会議開始時間が遅くなること)の方が気になる。