へえ、サマータイムが終わる瞬間の時計はこんな動作になるのか。1時間増える日は良いが、減る日が大変そう。┌(:3」└)┐ これを見て思ったのだが、日本のようなサマータイムのない国だと、2つの日時を引き算して経過時刻を計算する際には、エポック秒(とか)を使おうが、「YYYY/MM/DD hh:mm:ss」の時刻表記から計算しようが結果は同じだが、サマータイムのある国では後者の計算方法は使ったらダメなんだな……。自力でサマータイムの調整もするなら別だが。