List of Leap-Second [text.Baldanders.info]

「うるう秒は時代遅れ？」

2025-01-04T13:31:23+00:00

「日経サイエンス」2025年2月号の Kindle 版が出てたのでポチって読む。これって紙版と同時にリリースしてくれないのかなぁ。私はお金を出して資源ゴミを買う趣味はないので，紙の雑誌はなるべく買いたくないのよ。

特集記事以外では「うるう秒は時代遅れ？」が面白かった。挿し絵を含めて4ページほどの短い記事。

念のために説明すると私達が日常で使っている時刻系には大きく世界時系と原子時系の2つがある。世界時系は UT (universal time; 世界時) に代表される地球の自転を基準にした時刻系で原子時系は TAI (international atomic time; 国際原子時) に代表される原子時計（SI秒）を基準にした時刻系である。世界時系は地球上の日周運動とリンクしているため日常生活にマッチしているが，一定の時間を刻まず，また観測値であるため未来時刻の予測ができない。原子時系は一定の時間を刻む¹ が世界時系との乖離が発生する。

UT と TAI とのギャップを埋めるために考えられたのが UTC (coordinated universal time; 協定世界時) である。現在の UTC は原子時系の一種で1972年1月1日から TAI と10秒差で開始された²。以後 UTC は TAI との差が整数秒かつ UT1³ との差が0.9秒より大きくならないよう適宜調整されている（$|UT1-UTC| \leq 0.9\,\mathrm{sec}$）。この時刻調整が閏秒。閏秒の予測はできないが，挿入または差し引かれる半年前にはアナウンスがある。

実は2017年直前の閏秒挿入以来，閏秒は発生していない。件の記事によると2029年までは発生しないだろうと試算されて，しかもこのときは1秒が差し引かれる閏秒になるんだそうな。

地球の自転は潮汐摩擦により遅くなっていく傾向にあるが（恐竜が生きてた時代は1日が23.5時間ほどだったとか），1990年頃から逆に加速しているらしい。加速している理由は地球温暖化により極地で地殻を押さえつけていた氷が融けて地球の形状が（より球に近く）変わったせいなんだとか。でもこれは一時的なもので，融解した水が赤道付近に集まれば再び自転速度は遅くなるそうな。

UTC が開始された頃は閏秒のインパクトはそれほど大きくなかった。しかしコンピュータ・ネットワークが発達し，更にチップの処理単位もマイクロ秒あるいはナノ秒といった桁で処理されるようになり，閏秒のインパクトが馬鹿にならなくなってきた。特に2012年の閏秒では実際にあちこちのサービスで不具合が発生し大騒ぎになった。今や閏秒は可用性リスク要因となっているのだ。これにより「ホンマに閏秒って要るの？」という議論がされるようになった。

仮に閏秒を入れずに UT とのギャップをスルーしたとしても100年で1分程度の差にしかならないらしい。それなら100年ごとに閏分を入れるとか，いっそ時刻調整なんか止めちまえとかいった主張が出るのも無理からぬ話である。

そこで2022年の国際度量衡総会で閏秒の調整を2035年まで行わないことに決めたんだそうな（廃止ではない）。それまでにどういうルールで調整するのか決めるということで，ぶっちゃけ問題の先送りである（笑）

件の記事にあるように時刻調整が20年ごととか100年ごとになるのか，それとも廃止になるのかは分からない。たぶん100年後って今のようなコンピュータは存在しないんじゃないのかな？それならいっそ閏秒なんか止めちまえば？とか最近は思うようになった。だって閏秒のたびに不具合が起きないよう起きても即座に対処できるよう大量の人員を配置するんだぜ。費用対効果の観点からも無駄の極みだよな（こういうのこそ AI が肩代わりしてくれないものだろうか）。

さて，どうなるやら。

参考文献

日経サイエンス2025年2月特大号 [雑誌]: 日経サイエンス (編集); 日経サイエンス 2024-12-25 (Release 2024-12-25); Kindle版; B0D47FY7Q3 (ASIN); 評価

[Comment] 固定レイアウトなのでブラウザで読める。この巻の特集は「科学者に迫る人工知能」と「めざすは月」。あと閏秒の小さな記事が面白かった。

reviewed by Spiegel on 2025-01-04 (powered by PA-APIv5)

天文年鑑 2025年版: 天文年鑑編集委員会 (編集); 誠文堂新光社 2024-12-05 (Release 2024-12-05); 単行本; 4416723660 (ASIN), 9784416723661 (EAN), 4416723660 (ISBN); 評価

[Comment] 天文ファン必携。2025年版。これが届くと年末って感じ。

reviewed by Spiegel on 2024-12-05 (powered by PA-APIv5)

理科年表 2020: 国立天文台 (編集); 丸善出版 2019-11-20; 文庫; 4621304259 (ASIN), 9784621304259 (EAN), 4621304259 (ISBN); 評価

[Comment] 日本における令和への改元や国際単位系（SI）の定義改定などに関するトピックを多く掲載。2020年版は（保存用として）買いかも。

reviewed by Spiegel on 2019-12-08 (powered by PA-APIv5)

厳密には相対論効果があるため（観測者との位置関係によっては）一定ではない。相対論効果を考慮した時刻系を座標時系と呼ぶ。座標時系は天文学の厳密な力学計算で用いられる。また原子時系のひとつである TAI は，実は座標時系の一種として再定義されている。 ↩︎
1972年より前にも UTC は存在したが，現在とは異なるルール（1秒の長さを意図的に変える）で運用されていた。これが破綻したため現在の UTC になった。 ↩︎
簡単に言うと VLBI (Very Long Baseline Interferometry; 超長基線電波干渉法) などを使った観測により求められた生の値が UT0。そこから地球自転軸の極運動等の効果（これも観測により求める）を差し引いたものが UT1 である。さらにそこから年間の自転速度の進み遅れを調整した UT2 もあるのだが，現在 UT2 は運用されていない？ ↩︎

UNIX 時刻に関する四方山話

2018-10-07T12:48:19+00:00

（Tips）これから100年のunix時間は10桁数字。５桁の固定長文字列でも表現できる。 - Qiita

この記事はなかなか面白かったが UNIX 時刻¹ に関する説明がざっくりしすぎているので，補足を交えながら簡単に紹介してみる。

時刻系に関するおさらい

UNIX 時刻の説明に入る前に，前提となる時刻系についておさらいしておこう。

時刻系というのは，時間および時刻を測るために地球人類が考えた「決まりごと」である。「決まりごと」なので「正しい時刻系」というのは存在しない。強いて言うなら「考えた人の数だけ時刻系が存在する」。とはいえ，やたら滅多に林立しても困るので，ある程度の統一を図る必要がある。

時刻系の歴史について語ると長くなるので，ここでは現代の日常生活に関係の深い2つの時刻系のみ紹介する。

世界時系 : 私達は太陽の日周運動² を基準に生活している。そこで昔の人は，この日周運動を時刻の基準にすればいいと考えた。つまり天球³ 上の平均太陽 (mean solar)⁴ と子午線との時角を観測し，そこから基準となる時間（の長さ）を決めればいいわけだ。こうして決めた時刻系を世界時系と呼ぶ。世界時系の代表が UT (世界時; universal time)⁵ である。

原子時系 : いわゆる原子時計のこと。最初の原子時計の定義は「セシウム133原子の基底状態における2つの超微細準位（$F=4, M=0$ および $F=3, M=0$）の間の遷移に対応する放射の周期の9,192,631,770倍を1秒とする」というもので，基本的に現在でもこの定義が踏襲されている⁶。この原子時計に対して1958年1月1日0時0分0秒 UT2 を原点とした経過時間を TAI (国際原子時; international atomic time) と呼ぶ。ちなみに GPS の時計も原子時系の一種である。

世界時系は私達の日常生活にマッチしているが観測値であり一定の時間を刻まない。原子時系は定義された一定の時間を刻む⁷ が日常生活の基準である世界時系から僅かずつ乖離していく。

UT と TAI を整合させるために考えられたのが UTC (協定世界時; coordinated universal time) である。 UTC は原子時系の一種だが， UT1 との差が1秒未満になるよう閏秒による調整が行われる。閏秒による調整は不定期だが，遅くとも半年前には告知される。

現在の UTC は1972年1月1日から運用を開始している。運用開始時点では $TAI - UTC = 10\,\mathrm{sec}$ だったが，2017年1月1日時点では37秒まで拡大している⁸。

UNIX 時刻（UNIX Time）とは

いよいよ本題へ。

大抵の文献では， POSIX 標準の UNIX 時刻の定義は「1970年1月1日0時0分0秒 UTC からの経過秒数」となっていて，かつては32ビット符号付き整数値で表されていた。 32ビットつまり4オクテット固定長データで表現できるためとても重宝されたが，2,147,483,647秒までしか表現できないため，2038年1月19日3時14分7秒より以降は桁あふれをおこしてしまう。これがいわゆる「2038年問題」である。

「2038年問題」の回避策

「2038年問題」の回避方法としては以下の2つがある。

UNIX 時刻を32ビット符号なし整数で表す : 場当たり的な対処だが時刻を表すデータの長さを変更することなく移行できるため，古いデータ・フォーマットをそのまま流用できる利点がある。ただし1970年1月1日0時0分0秒より前の時刻は取り扱えなくなる。これにより UNIX 時刻は4,294,967,295秒（2106年2月7日6時28分15秒）まで拡張される。

UNIX 時刻を64ビット符号付き整数で表す : データ長が倍の8オクテットになるが，抜本的に対応するのであればこちらを選択すべきだろう。多くの現行システムはこちらでの対応になっている筈である。これなら9,223,372,036,854,775,807秒（約3000億年）まで表現できる。ビッグバンからビッグクランチまで（笑）

もっとも時刻情報については UNIX 時刻以外にも様々な形式が存在するため，あえて UNIX 時刻に拘る必要はないかもしれない。そもそも1秒未満の桁を表現できない UNIX 時刻はタイムスタンプとしてはもはや機能不足と言える。

【実装例1】 OpenPGP における時刻情報

OpenPGP (RFC 4880) パケットにおける時刻情報は，古い仕様を踏襲する形で，4オクテット固定長で定義されている。現在，次期仕様（RFC 4880bis）で V5 パケットの仕様が検討されているが，時刻情報に関しては4オクテットのままでいくようだ。

【実装例2】 Go 言語の time パッケージ

Go 言語には標準ライブラリとして time パッケージが用意されているが，時刻を表す time.Time 型は西暦元年1月1日0時を原点としナノ秒単位まで対応している。また UNIX 時刻を返す関数も用意されているが，この関数の返り値は int64 (64ビット符号付き整数) の値を返す。

このように最近のシステムやプログラミング言語は時刻に関する独自のクラス・オブジェクトを用意し，後方互換性を保つために UNIX 時刻を扱うメソッドが用意されていることが多い。

UNIX 時刻と UTC

ところで，前述した UNIX 時刻の定義を見ておかしいとは思わなかっただろうか。

現在の UTC の運用が始まったのは1972年からである。なのに UNIX 時刻の原点は「1970年1月1日0時0分0秒 UTC」となっているのだ。存在しない時刻⁹ を原点にするなんて，おかしいよね！

つまり実際の UNIX 時刻は「1970年1月1日0時0分0秒 UTC からの経過秒数」ではなく，グレゴリオ暦と現在の時制のルールに基づいて，2時点間を単純に引き算しているだけなのである。このことが最も顕著に現れるのが UTC における閏秒の扱いである。

Go 言語で簡単なコードを書いてみよう。

かつて2017年1月1日0時0分0秒 UTC の直前に閏秒が挿入された。したがって

package main

import (
    "fmt"
    "time"
)

func main() {
    t1 := time.Date(2016, time.December, 31, 23, 59, 59, 0, time.UTC)
    t2 := time.Date(2017, time.January, 1, 0, 0, 0, 0, time.UTC)
    fmt.Printf("t1 = %v (%v)\n", t1, t1.Unix())
    fmt.Printf("t2 = %v (%v)\n", t2, t2.Unix())
    fmt.Printf("t2 - t1 = %v sec\n", t2.Unix()-t1.Unix())
}

というコードを書いたとき，もし UNIX 時刻が閏秒を考慮しているのであれば，2時点の UNIX 時刻の差は2になる筈である。しかし実際に実行してみると

$ go run unix-time.go
t1 = 2016-12-31 23:59:59 +0000 UTC (1483228799)
t2 = 2017-01-01 00:00:00 +0000 UTC (1483228800)
t2 - t1 = 1 sec

となる。これは他の言語でも（独自に閏秒に対応していないのであれば）同じようになる筈である。

まぁ，しかし，これは UNIX 時刻を設計した人を責めるべきではないだろう。

そもそも UT と UTC の違いを意識してる人なんて殆どいない。閏秒がネット上で騒がれるようになったのは2012年頃からである¹⁰。今さら UNIX 時刻の仕様を変えようものなら逆に大変な騒ぎになりそうである（UNIX 時刻で格納している過去の時刻データが全てオシャカになる）。

ブックマーク

参考図書

［試して理解］Linuxのしくみ～実験と図解で学ぶOSとハードウェアの基礎知識: 武内覚 (著); 技術評論社 2018-02-23 (Release 2018-02-23); Kindle版; B079YJS1J1 (ASIN); 評価

[Comment] コンテナ全盛のこの時代にかなり硬派な内容の Linux 解説書。コンピュータの教科書としても使えそう。

reviewed by Spiegel on 2019-01-07 (powered by PA-APIv5)

天体の位置計算: 長沢工 (著); 地人書館 1985-09-01; 単行本; 4805202254 (ASIN), 9784805202258 (EAN), 4805202254 (ISBN); 評価

[Comment] B1950.0 分点から J2000.0 分点への過渡期に書かれた本なので情報が古いものもあるが，基本的な内容は位置天文学の教科書として充分通用する。

reviewed by Spiegel on 2015-01-11 (powered by PA-APIv5)

猫暦(1) (ねこぱんちコミックス): ねこしみず美濃 (著); 少年画報社 2014-10-14 (Release 2016-02-15); Kindle版; B01BHGVLOY (ASIN); 評価

[Comment] 「寛政の改暦」のころの伊能勘解由（忠敬）とその妻とされる「おえい」の物語。感想はこちら。

reviewed by Spiegel on 2016-05-06 (powered by PA-APIv5)

この記事では時刻とはある時点からの経過時間を指すものとして書き分けている。時刻を表すには原点となる時点が必須である。 ↩︎
もちろん地球を中心とした見かけ上の話。正しくは地球の自転運動および太陽を中心とした公転運動を基準にしている，というべきだろう。ちなみに地球の自転運動を基にした時刻系を恒星時系と呼ぶ。世界時系は恒星時系の一種と言える。 ↩︎
天球とは地球を中心とした無限遠の仮想球面である。地球から見える月や惑星や太陽などの星々は天球への写像と見做すわけですね。 ↩︎
太陽に対する地球の公転軌道は（ほぼ円に近い）楕円なので，天球上を移動する太陽（真太陽）の移動速度は季節によって僅かに進み遅れが発生する。これに対し，天球上の移動速度が年間で一定となるような仮想的な太陽を平均太陽と呼ぶ。 ↩︎
厳密には UT には UT0 から UT2 まである。 UT0 はほぼ生の観測値で，観測地点ごとの UT0 を集計し極運動等の補正をかけたものを UT1 と呼ぶ。 UT2 は UT1 から更に自転速度の年間の進み遅れを補正したものである。現在では UT2 は使われていないようだ。 ↩︎
SI 単位系の「秒」の定義。 ↩︎
「原子時系は一定の時間を刻む」というのは相対論的効果を除外した場合の話。実は，厳密に言うと現在の TAI は相対論的効果などを加味した座標時系として再定義されている。だが日常生活でそれを意識することはないだろう。更に余談だが，座標時系のひとつに TT (地球時; terrestrial time) というのがあって天体力学や位置天文学の分野で使われている。 TAI と TT の間には $TT = TAI + 32.184\,\mathrm{sec}$ という関係がある（したがって，ある時点の UTC が分かれば TT も自動的に求められる）。何故こんな事になっているかについては聞くも涙の歴史物語があったりする（笑） ↩︎
閏秒に関する議論については「2017年直前の閏秒について」あたりを参考にどうぞ。 ↩︎
厳密に言うと1972年以前にも UTC と呼ばれる時刻系は存在していたが，現在の UTC とは全く異なり，どちらかというと UT に近いルールだった。このため管理が煩雑になりすぎて破綻してしまったのだ。 ↩︎
情報処理の高速化により秒単位ではギャップが大きくなりすぎるため。またサービスの可用性（availability）に対する要求が高くなったという点も挙げられるだろう。 ↩︎

2017年直前の閏秒について

2016-11-29T13:06:59+00:00

以前に紹介したけど，年も押し迫ってきたし関連情報も出てき始めているので，あらためて記事を再構成し関連リンクを順次追加していくことにする。

UTC の2017年直前に閏秒が挿入される。日本時間では，時差があるので，2017年1月1日午前9:00直前に閏秒が挿入されることになる。これにより UTC と TAI の差は37秒となる。

実施年月日	調整時間（秒）	$UTC - TAI$（秒）
1972年1月1日	―	$-10$
1972年7月1日	$+1$	$-11$
1973年1月1日	$+1$	$-12$
1974年1月1日	$+1$	$-13$
1975年1月1日	$+1$	$-14$
1976年1月1日	$+1$	$-15$
1977年1月1日	$+1$	$-16$
1978年1月1日	$+1$	$-17$
1979年1月1日	$+1$	$-18$
1980年1月1日	$+1$	$-19$
1981年7月1日	$+1$	$-20$
1982年7月1日	$+1$	$-21$
1983年7月1日	$+1$	$-22$
1985年7月1日	$+1$	$-23$
1988年1月1日	$+1$	$-24$
1990年1月1日	$+1$	$-25$
1991年1月1日	$+1$	$-26$
1992年7月1日	$+1$	$-27$
1993年7月1日	$+1$	$-28$
1994年7月1日	$+1$	$-29$
1996年1月1日	$+1$	$-20$
1997年7月1日	$+1$	$-31$
1999年1月1日	$+1$	$-32$
2006年1月1日	$+1$	$-33$
2009年1月1日	$+1$	$-34$
2012年7月1日	$+1$	$-35$
2015年7月1日	$+1$	$-36$
2017年1月1日	$+1$	$-37$

閏秒について

日常生活で接する時刻系としては UT （universal time; 世界時）と UTC （coordinated universal time; 協定世界時）の2つが存在する。 2つの時刻系は基準となる物差しが異なる。

UT は恒星時（sidereal time）系の一種¹で，簡単に言うと地球の自転速度を基準にしている。私たちの日常生活は太陽や月などに大きな影響を受けているので， UT を用いるのは妥当と言える。一方で UT は観測値であり，しかも地球の自転速度は一定ではなく予測できない² のが欠点だった。そこで「同じ間隔で時を刻む時刻系」の要求が高まってくる。

かなりの試行錯誤の末，最終的に原子時（atmic time）系が採用されることになった。具体的には1958年1月1日0時0分0秒 UT2³ を原点とした TAI⁴ （international atomic time; 国際原子時）である。

そして UT と TAI との間のギャップを埋めるのが UTC なのである。

UTC は TAI と同じ原子時系で TAI との差が整数秒になるように調整される。また UT に対する差は 0.9 秒以内になるように調整される。この「調整」を行う手段が閏秒（leap second）である。

閏秒は UTC の1月1日直前または7月1日直前に挿入あるいは削除される⁵。 UT が観測値である以上「いつ閏秒が発生するか」は長期的には予測できないが，少なくとも半年前には告知される。

コンピュータ・システムにおける閏秒の問題

コンピュータ・システムにおける閏秒の問題は概ね以下の2つに大別できる。

閏秒の挿入による見かけ上の時刻の巻き戻し
タイムスタンプの処理

以下，もう少し詳しく解説する。

閏秒の挿入による見かけ上の時刻の巻き戻し

現在，多くのコンピュータシステムは NTP (Network Time Protocol) によって時刻同期を行っている。閏秒が発生する際に NTP では LI (Leap Indicator) をセットするのだが，閏秒を挿入する際には見かけ上の時刻の巻き戻しが発生する。

23:59:59.000000（→ 23:59:59.999999）→ 23:59:59.000000 → 00:00:00.000000

サービスやアプリケーションのいくつか⁶ は「時刻の巻き戻し」が考慮されていないため，巻き戻しのタイミングで重大なエラーが発生する可能性がある。

NTP には LI をセットせず時刻の巻き戻しを行わない SLEW モードがあり，このモードにすることで問題を回避できる。ただし SLEW モードは時刻のギャップが起きた際の同期に時間がかかるため，モードの使い分けが必要になるかもしれない。

タイムスタンプの処理

タイムスタンプは電子署名などでは欠かせない技術要素である（「否認防止（non-repudiation）」には正しい時刻が必要）。タイムスタンプを提供するサービスでは厳密に UTC に準拠して運営されている。したがって閏秒の瞬間に「2016年12月31日 23:59:60 UTC」といったタイムスタンプがセットされる可能性がある。

このタイムスタンプを扱う際に処理系によっては誤動作を起こす可能性があるのだ。

タイムスタンプ・サービスを行っているプロバイダには，閏秒の前後でサービスを止めて「23:59:60 UTC」なタイムスタンプが発生しないようにしているところもあるようだ。

ブックマーク

技術情報

その他の四方山話

閏秒(うるう秒)とは何か - 国立天文台暦計算室
暦象年表の改訂について
暦の改訂（DE405 から DE430 へ） — Baldanders.info
Linux開発者リーナス・トーヴァルズ、来る「うるう秒」を語る｜WIRED.jp ： 2015年の記事
うるう秒は当分存続らしい
うるう秒で1秒長かった今年の元日｜ニュース/アーカイブ｜準天頂衛星システム（QZSS）公式サイト - 内閣府 : 地球の自転について現在の観測方法を紹介している

昔書いた以下の記事は内容が古くて地球時（terrestrial time; TT）などを含む座標時系への言及がないけど，閏秒に関する歴史的経緯を知るという意味では参考になるかもしれない。

参考図書

天体の位置計算: 長沢工 (著); 地人書館 1985-09-01; 単行本; 4805202254 (ASIN), 9784805202258 (EAN), 4805202254 (ISBN); 評価

reviewed by Spiegel on 2015-01-11 (powered by PA-APIv5)

天体物理学: Arnab Rai Choudhuri (著), 森正樹 (翻訳); 森北出版 2019-05-28; 単行本; 4627275110 (ASIN), 9784627275119 (EAN), 4627275110 (ISBN); 評価

[Comment] 興味本位で買うにはちょっとビビる値段なので図書館で借りて読んでいたが，やっぱり手元に置いておきたいのでエイヤで買った。まえがきによると，この手のタイプの教科書はあまりないらしい。内容は非常に堅実で分かりやすい。理系の学部生レベルなら問題なく読めるかな。

reviewed by Spiegel on 2019-11-13 (powered by PA-APIv5)

猫暦(1) (ねこぱんちコミックス): ねこしみず美濃 (著); 少年画報社 2014-10-14 (Release 2016-02-15); Kindle版; B01BHGVLOY (ASIN); 評価

[Comment] 「寛政の改暦」のころの伊能勘解由（忠敬）とその妻とされる「おえい」の物語。感想はこちら。

reviewed by Spiegel on 2016-05-06 (powered by PA-APIv5)

もう少し詳しく言うと UT は恒星時系の一種である太陽時系である。恒星時は「春分点の子午線からの時角」であるのに対して UT は「平均太陽のグリニジ子午線からの時角＋12時」となる（子午線を基準にすると昼間に日付が変わるため）。両者は同じ物差し（地球の自転速度）で求められた時刻系であり数学的関係があるため互いに換算可能である。ちなみに平均太陽というのは天球上にある太陽の移動速度を均した仮想太陽である。実際の太陽（真太陽）は季節によって天球上での移動速度が異なる。これは地球の公転軌道が楕円になっているからだ。 ↩︎
地球の自転は（潮汐摩擦などにより）大雑把に言って少しずつ遅くなる傾向にある。実はこれが分かったのって20世紀に入ってからなのだよ（問題の認識は19世紀後半からあった）。 ↩︎
観測から得られた時刻を UT0 と呼ぶ。 UT0 に対し極運動等の補正をかけたものを UT1 と呼ぶ。現在 UT と言う場合にはこの UT1 を指す。 UT2 は UT1 から更に自転速度の季節変動分を均した値である。現在の UTC が採用されるまでは UT2 が主に使われていたらしい。 ↩︎
現在の TAI の定義は「回転するジオイド上で実現される SI の秒を目盛りの単位とした, 地心座標系で定義される座標時（coordinate time）の目盛り」（訳は Wikipedia より）となっている。ちなみに「SI の秒」は「セシウム 133 の原子の基底状態の2つの超微細構造準位の間の遷移に対応する放射の周期の9192631770倍の継続時間」（訳は Wikipedia より）である。この「SI の秒」を使っている時刻系は全て原子時系とも言える。 ↩︎
これ以外には4月1日直前および10月1日直前も第2優先日として閏秒が発生する可能性があるが，過去においてこの日に閏秒が発生したことはない。 ↩︎
2012年の閏秒の挿入時には数多くのサービスに障害が発生したが，その後の改善や回避策により2015年には大きな混乱もなく閏秒を迎えられた。なお Linux 系のシステムには right/Asia/Tokyo のような閏秒を考慮したタイムゾーンも存在するが，旧来の Asia/Tokyo のようなタイムゾーンとの間で UNIX Time の互換性がなくなるのとタイムスタンプ処理と同じ問題が発生してしまうため推奨されないことも多い。 ↩︎

週末スペシャル：ゆのっち，木星の衛星になる

2016-07-10T12:17:07+00:00

ゆのっち，木星の衛星になる

Juno Approach Movie of Jupiter and the Galilean Moons - YouTubeより

米国の木星探査機 Juno¹ が木星の衛星軌道への投入に成功した。足掛け5年の長旅であった。まずはおめでとう。

Juno はこれから1年間木星やその衛星を観測し，最終的には木星に落とされる。なんでも木星の衛星に生物がいる可能性を考慮して万一にも木星の衛星に落ちないようにとの措置らしい。

これから新しい知見が生まれることを期待します。

追加のブックマーク

2017年直前のうるう秒

日本では時差があるので2017年1月1日午前9:00の直前にうるう秒が挿入されることになる。これで TAI (International Atomic Time; 国際原子時) との差は37秒になる。

実施年月日	調整時間（秒）	TAI - UTC（秒）
1972年1月1日	―	10
1972年7月1日	+1	11
1973年1月1日	+1	12
1974年1月1日	+1	13
1975年1月1日	+1	14
1976年1月1日	+1	15
1977年1月1日	+1	16
1978年1月1日	+1	17
1979年1月1日	+1	18
1980年1月1日	+1	19
1981年7月1日	+1	20
1982年7月1日	+1	21
1983年7月1日	+1	22
1985年7月1日	+1	23
1988年1月1日	+1	24
1990年1月1日	+1	25
1991年1月1日	+1	26
1992年7月1日	+1	27
1993年7月1日	+1	28
1994年7月1日	+1	29
1996年1月1日	+1	20
1997年7月1日	+1	31
1999年1月1日	+1	32
2006年1月1日	+1	33
2009年1月1日	+1	34
2012年7月1日	+1	35
2015年7月1日	+1	36
2017年1月1日	+1	37

うるう秒は当分存続らしい

Electronic Persons

“Electronic Persons” というのは，以前紹介した “non-human person” の一種と考えればいいのだろうか。

non-human person の「人権」 — Baldanders.info

オランウータンのサンドラもロボットの AI も，ヒトの外部に存在する「異質の知性」とどう向き合うかという問題に帰着するのではないだろうか。私たちは私たちが長い時間をかけて構築した社会システムとその中にある「人権」という概念に慣れすぎていて，それはもうほとんど刷り込みのようになっている。しかし，ヒトの外部にも「知性」が存在する（存在し得る）ということを私たちはようやく認知した。これは新しい事態である。
もしかしたら動物愛護活動家たちは，自分たちの主義・主張を正当化するために non-human person という言葉を使っているだけなのかもしれないが，これはおそらくそんなレベルの話ではない。なぜなら「人権」の拡張は「人権」が根ざしている（と私たちが思い込んでいる）ものを根底から覆す可能性があるからだ。これは例えば「自由」という概念も変わる可能性があることを示唆する。

non-human person の「人権」より

この時はかなりネタっぽく書いたつもりだったが「「エイリアン・インテリジェンス」としてのAI」でそのものズバリ「エイリアン・インテリジェンス」と書かれていて笑ってしまった。まぁ SF 好きは大抵この結論になると思うけどね。

投票には行きましたか？

今回に限ったことではないが，あまり本意でない人と政党に投票する。人に関しては私なりの足切り基準があって，それを除いたらその人しか残らなかったというとても後ろ向きな理由。政党に関しても似たような感じである。

今回は未成年者も投票できるとあって，どこぞのおっさんが若い人に向かって「テキトーな人を選ぶくらいなら投票に行くな」みたいな発言をしていたが，はっきり言って政治についてまじめに考えれば考えるほど誰に何処に投票すればいいのか分からなくなるのが当たり前だと想う。大局を語れるような古いタイプの政治家や政党はもはや存在しないし，今の政治家は「神輿」にすぎない。

だから前回書いたように

なので自分の頭で考えて自分の手で投票して，その結果を見つめていく過程を体験していくことが重要なんだと思う。どうせ学校の先生は日本の政治や世界情勢について sensitive なことは教えられない。多くの10代とって今回の選挙は自分で問いを立てて自分で解を探っていく最初の機会になるのかもしれない。

というのがポイントなのだよ。今回はどうなるでしょうねぇ。久しぶりにテレビでも付けてみるか。

その他の気になる記事

参考図書

ひだまりスケッチ　１巻 (まんがタイムKRコミックス): 蒼樹うめ (著); 芳文社 2005-10-27 (Release 2015-05-15); Kindle版; B00X9CDPE4 (ASIN); 評価

[Comment] そういえば紙の本は捨てちゃったんだよな。 Kindle で買い直さないと。

reviewed by Spiegel on 2016-07-10 (powered by PA-APIv5)

乙女アトラス 1 (楽園コミックス): 竹本泉 (著); 白泉社 1998-04-26 (Release 2018-08-31); Kindle版; B07GSYNZTM (ASIN); 評価

[Comment] 地球人も宇宙から見れば non-human person（笑）

reviewed by Spiegel on 2016-07-10 (powered by PA-APIv5)

米国のプロジェクトなので英語読みで「ジュノー」と発音するのが正しい。本当はね（笑） ↩︎

うるう秒は当分存続らしい

2015-11-22T08:35:57+00:00

某新聞で記事を見かけたが，このブログでは基本的に日本の新聞記事にリンクは張らない方針なので Facebook に愚痴だけ書いて済ませていたが， INTERNET Watch で詳しい記事を見つけたので，これをベースにグダグダ書いてみる。

“うるう秒”しばらくは存続、ITUの世界無線通信会議で決定 -INTERNET Watch

うるう秒をどうするかという議論は今に始まった議論ではない。

うるう秒を巡っては、その存廃が1999年から15年以上に渡って議論されている。特に近年は、時刻調整を必要とするPCなどの機器が急増。その調整作業が膨大になってきていること、うるう秒によるシステムトラブルが現実に発生していることなどを理由に、廃止を求める意見が日本をはじめとした各国から挙がっているという。

「うるう秒」18年ぶりの平日実施──7月1日午前に「8時59分60秒」挿入 -INTERNET Watchより

ブックマーク

うるう秒、2035年までに廃止へ - ZDNet Japan : 正式決定らしい

UT は太陽時の一種で，太陽時は恒星時系の一種。 ↩︎
GPS は UT と連動させる必要はなく，2つの時点間の時間が精確にわかれば問題ない。故にうるう秒は必要ないのである。 ↩︎

List of Leap-Second [text.Baldanders.info]

「うるう秒は時代遅れ？」

参考文献

UNIX 時刻に関する四方山話

時刻系に関するおさらい

UNIX 時刻（UNIX Time）とは

「2038年問題」の回避策

【実装例1】 OpenPGP における時刻情報

【実装例2】 Go 言語の time パッケージ

UNIX 時刻と UTC

ブックマーク

参考図書

2017年直前の閏秒について

閏秒について

コンピュータ・システムにおける閏秒の問題

閏秒の挿入による見かけ上の時刻の巻き戻し

タイムスタンプの処理

ブックマーク

技術情報

その他の四方山話

参考図書

週末スペシャル： ゆのっち，木星の衛星になる

ゆのっち，木星の衛星になる

追加のブックマーク

2017年直前のうるう秒

Electronic Persons

投票には行きましたか？

その他の気になる記事

参考図書

うるう秒は当分存続らしい

ブックマーク

週末スペシャル：ゆのっち，木星の衛星になる