タイムゾーン定義ファイルのコメントを読んでいたら、国の一部州だけ時間がずれるとかあって、かなり闇そう。タイムゾーンの定義でAsia/TokyoだけじゃなくてAsia/Osaka、Asia/Sapporoとかたまに見かけるけど、なんか由来があるんだろうか。