>>45
素晴らしい解決策出たな

日本語のサマータイムと英語のsummer time で
定義を変えれば良いのだ

そうすれば時刻をずらさずに済む