/
274.txt
137 lines (97 loc) · 5.59 KB
/
274.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
[15] [DFN[[RUBYB[[[閏秒]]][leap second]]]]は、 [[UTC]] と [[UT1]] とのずれを修正するために [[UTC]]
に挿入または削除される[[秒]]です。
* 仕様書
[REFS[
- [24] '''[CITE@EN[ IERS Bulletins]] ([[publisher]] 著, [TIME[2014-05-18 12:06:26 +09:00]] 版) <http://www.iers.org/nn_10970/IERS/EN/Publications/Bulletins/bulletins.html?__nnn=true>'''
- [13] [[ISO 8601:2004]] 2.2.2
]REFS]
* 定義
[FIG[
[FIGCAPTION[
[14] [SRC[[[ISO 8601:2004]] 2.2.2]]
]FIGCAPTION]
> intentional time step of one [[second]] to adjust [[UTC]] to ensure appropriate agreement with [[UT1]], a [[time scale]] based on the rotation of the [[Earth]] [SRC[Rec. [[ITU-R TF.460-5]]]]
]FIG]
* 閏秒の一覧
[25] [[閏秒]]は [[IERS]] により決定され、 [DFN[[[Bulletin C]]]] [SRC[>>24]] と呼ばれる文書で発表されます。
[27] >>26 には[[閏秒]]の一覧があります。
[REFS[
- [26] [CITE[Index of /eoppc/bul/bulc]] ([TIME[2014-05-18 13:14:41 +09:00]] 版) <http://hpiers.obspm.fr/eoppc/bul/bulc/>
]REFS]
[29] [[tzdata]] にも[[閏秒]]の一覧 (>>28) が含まれています。
[REFS[
- [28] <http://www.ietf.org/timezones/data/leap-seconds.list>
]REFS]
[32] >>31 に [[JSON]] 形式の一覧もあります。
[REFS[
- [31] [CITE[data-locale/data/datetime/seconds.json at master · manakai/data-locale]] ([TIME[2014-05-18 13:47:06 +09:00]] 版) <https://github.com/manakai/data-locale/blob/master/data/datetime/seconds.json>
]REFS]
* 時期
[17] [[閏秒]]の挿入や削除は、通常は[[6月30日]]か[[12月31日]]に、場合によっては[[3月31日]]か[[9月30日]]に行われます
[SRC[>>13]]。
[16] 追加される[[閏秒]]を[DFN[[RUBYB[[[正閏秒]]]@en[positive leap second]]]]、
削除される[[閏秒]]を[DFN[[RUBYB[[[負閏秒]]]@en[negative leap second]]]]といいます [SRC[>>13]]。
[18] [[正閏秒]]は [[UTC]] における23時59分59秒と24時0分0秒の間に23時59分60秒として挿入されます [SRC[>>13]]。
[19] [[負閏秒]]は [[UTC]] における23時59分59秒が削除されます [SRC[>>13]]。
[30] [[負閏秒]]が実施された例はありません。
* 61秒
[20] [[閏秒]]を認めている書式等は60秒のみならず61秒を認めていることがありますが、
実際には61秒になることはありません。
* 閏秒を無視しない場合
[FIG(list)[
- [[ISO 8601]]
- [[RFC 3339の日付形式]]
- [[RFC 2822の日付形式]]
- [[RFC 7231の日時形式]]
]FIG]
* 閏秒を無視する場合
[10] [[日付形式]]の多くや内部表現方式は、[[閏秒]]を無視します。
[FIG(list)[
- [[Unix time]]
- [[JavaScriptの日付形式]] ([CODE(JS)@en[[[Date]]]])
- [[HTMLの日付形式]]
- [[XML Schemaの日付形式]]
- [[RFC 822の日付形式]]
- [[RFC 1123の日付形式]]
]FIG]
* 歴史
- [1] ''UTC, TAI, そして UNIX time'' <http://tehanu.hpcl.titech.ac.jp/time/utctai.html>
- [2] ''スラッシュドット ジャパン | 閏秒が5年連続で挿入されず'' <http://slashdot.jp/article.pl?sid=04/01/02/0747256&mode=flat&commentsort=4&threshold=-1>
[3]
[CITE[スラッシュドット ジャパン | 今年末の新年カウントダウンは「うるう秒」で一味違う]] <http://slashdot.jp/articles/05/07/06/2220235.shtml?topic=62>
([[名無しさん]] [WEAK[2005-07-07 12:26:51 +00:00]])
[4]
[CITE[スラッシュドット ジャパン | うるう秒からうるう時間へ?]] <http://slashdot.jp/science/article.pl?sid=06/09/07/1217227&from=rss>
([[名無しさん]] [WEAK[2006-09-07 23:02:44 +00:00]])
[5]
[CITE[総務省(報道資料)]] <http://www.soumu.go.jp/s-news/2005/051222_4.html>
[6] [CITE@ja[7月1日にうるう秒 午前9時の前に1秒挿入 :日本経済新聞]]
( ([TIME[2012-02-12 00:45:36 +09:00]] 版))
<http://www.nikkei.com/news/headline/article/g=96958A9C93819481E3E2E2E0968DE3E3E2E0E0E2E3E09797EAE2E2E2>
[7] [CITE[うるう秒のあとにMySQLなどのCPU使用率が高騰する件について - SH2の日記]]
( ([TIME[2012-07-02 01:20:48 +09:00]] 版))
<http://d.hatena.ne.jp/sh2/20120702>
[8] [CITE@ja[2012 年 7 月 1 日のうるう秒挿入時に発生した Linux カーネルの不具合に関する情報]]
( ([TIME[2012-08-29 07:46:23 +09:00]] 版))
<http://ringeye.jawfish.org/~ori/misc/leapsecond-20120701.html>
[9] [CITE@ja[「うるう秒」当面は存続 ITUが採決見送り - ITmedia ニュース]]
([TIME[2012-01-20 20:20:12 +09:00]] 版)
<http://www.itmedia.co.jp/news/articles/1201/20/news110.html>
[11] [CITE@ja[asahi.com(朝日新聞社):うるう秒、当面存続 国連会議で決定先送り - サイエンス]]
([[The Asahi Shimbun Company]] 著, [TIME[2012-01-20 12:48:40 +09:00]] 版)
<http://www.asahi.com/science/update/0120/TKY201201190786.html>
[12] [CITE@EN[W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes]]
( ([TIME[2012-04-04 21:34:51 +09:00]] 版))
<http://www.w3.org/TR/xmlschema11-2/#dt-leapsec>
[21] [CITE@ja[閏秒 - Wikipedia]]
( ([TIME[2014-05-08 04:20:53 +09:00]] 版))
<http://ja.wikipedia.org/wiki/%E9%96%8F%E7%A7%92>
[22] [CITE@ja[日本標準時プロジェクト Information of Leap second]]
( ([TIME[2014-01-17 01:50:52 +09:00]] 版))
<http://jjy.nict.go.jp/QandA/data/leapsec.html>
[23] [CITE@EN[ leap second]]
( ([[publisher]] 著, [TIME[2014-05-18 12:21:50 +09:00]] 版))
<http://www.iers.org/nn_10828/IERS/EN/Service/Glossary/leapSecond.html>
[33] [CITE@ja[Twitter / muranet: Switching to clocksource xen ...]]
( ([TIME[2014-07-01 07:47:40 +09:00]] 版))
<https://twitter.com/muranet/status/483805542809227264>