うるう秒 UTC↔TAI
任意の日付について原子時とUTCの差を求めたり、その差のもとになるうるう秒を一覧表示したりできます。2017年1月2日のTAI−UTCは37秒です。うるう秒の表は内蔵されており、ブラウザで無料で使えます。
- 無料
- ブラウザで動作
- 登録不要
- データは端末の外に出ません
無料で実行
計算例
- 計算モード
- Offset
- 日付
- 2017-01-02
- TAI−UTC オフセット（秒）
- 37
無料で決定論的なツールです。組み込まれた IERS のうるう秒を一覧表示し、UTC の常用日付を TAI-UTC オフセットへネットワーク接続なしで変換します。
うるう秒とTAI−UTCの差
国際原子時と協定世界時は、まったく同じ歩調で進むわけではありません。両者の差は、これまでにUTCに加えられたうるう秒によって決まります。このツールはIERSのうるう秒の表を内蔵しており、そこから2つの疑問に答えます。1つ目は差の値で、UTCの暦の日付を入力すると、その日にTAIがUTCより何秒進んでいるかが分かります。たとえば2017年1月2日なら37秒です。2つ目は一覧で、表にあるうるう秒を、必要なら2つの日付の間に絞って表示し、差がいつ変わったかを確かめられます。
役立つ場面と注意点
原子時で記録された時刻とUTCで記録された時刻を比べるときには、この差が欠かせません。ツールがなければ、過去のうるう秒を表計算で手作業で管理することになります。よくある間違いは、タイムゾーンで結果が変わると考えることです。ここで意味を持つのはUTCの暦の日付だけです。また、終わりが始まりより前の期間を指定すると、推測せずに受け付けません。日付を空欄にした場合も同様です。表は内蔵されていてオンラインで何も取得しないため、同じ日付なら常に同じ秒数になります。
エッジケースと制限
空文字列、誤った型、矛盾する範囲は、計算が始まる前の早い段階で拒否されます。タイムゾーンのない常用日付は暦日として扱われ、返されるオフセットを狂わせるような暗黙の変換は行われません。うるう秒のテーブルは機能フォルダーの内部に組み込まれた形で持ち運ばれますので、実行時にネットワーク呼び出しは一度も発生せず、完全にオフラインの環境でも結果を再現できます。
この挙動により、本機能は隔離された環境や、継続的インテグレーションのパイプライン、接続が保証されない状況にも適しています。
活用例
日々の業務
表計算ソフトを使わずに、信頼できる答えが得られます。
よくある質問
TAI−UTCとは何ですか？
ある日付で、国際原子時が協定世界時より何秒進んでいるかを表す値です。この差はUTCにうるう秒が加えられたときだけ変わるため、うるう秒の表から読み取ります。
うるう秒そのものの一覧を見られますか？
はい。一覧の項目を選ぶと、内蔵の表にあるうるう秒が表示されます。2つの日付の間に絞ることもでき、終わりが始まりより前の期間は推測せずに受け付けません。
インターネットで情報を取りに行きますか？
いいえ。うるう秒の表は内蔵されており、使っている間に何かを取得することはありません。そのため、同じ日付なら常に同じ秒数が返ります。
時刻やタイムゾーンを入力する必要はありますか？
いいえ。暦の日付だけを入力します。タイムゾーンのない日付はUTCの単なる1日として読まれるため、いる場所によって差の値が変わることはありません。
関連ツール
開発者向け — APIアクセス
このページの機能はすべてAPIからも利用できます。自社システムに組み込みたいチーム向けのセクションです。それ以外の方は上のツールをそのままお使いください。
エンドポイント
Bearerトークンで認証し、POST1回でタスクをキューに登録します。結果はWebhookまたは署名付きリンクで受け取れます。
お使いのスタックから呼び出す
curl -X POST https://api.kit.forhosting.com/date/leap-seconds \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"mode":"offset","date":"2017-01-02"}'const res = await fetch("https://api.kit.forhosting.com/date/leap-seconds", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"mode": "offset",
"date": "2017-01-02"
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/date/leap-seconds",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"mode": "offset",
"date": "2017-01-02"
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/date/leap-seconds", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"mode":"offset","date":"2017-01-02"}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"mode":"offset","date":"2017-01-02"}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/date/leap-seconds", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)リクエスト例
{
"mode": "offset",
"date": "2017-01-02"
}レスポンス例
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "date.leap_seconds",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}非同期APIです。task_idは即時に返ります。ポーリングは1秒あたり1リクエストまでです。
料金
単価はすべて公開しています。トークン換算や独自クレジットはありません。失敗したタスクは課金されません。
エラー
| HTTP | コード | 意味 |
|---|---|---|
401 | unauthorized | APIキーが無効か、指定されていません。Authorizationヘッダーを確認してください。 |
402 | insufficient_balance | 残高が不足しています。チャージ後に再度お試しください。 |
404 | unknown_type | 指定されたタスクタイプは存在しません。タイプ名を確認してください。 |
429 | rate_limited | リクエストが多すぎます。しばらく待ってから再度お試しください。 |
技術的な注記
仕組み
この機能は、IERS が公表するうるう秒を一覧表示し、UTC の常用日付を TAI-UTC オフセットへ変換します。その際、ネットワークへの接続はいっさい必要ありません。「list」モードでは過去のうるう秒挿入の完全な一覧が得られ、「offset」モードでは ISO-8601 形式で日付を指定すると、その時点における国際原子時と協定世界時の正確な差分が返されます。計算は完全に決定論的であり、API とまったく同じ純粋関数を用いて、お使いのブラウザー上で無料で実行されます。そのため、オンラインで表示される結果は、サービスが課金する結果とバイト単位で一致します。入力は算術演算の前に必ず検証されますので、型が誤っている場合は、誤解を招く結果ではなく、明確な invalid_input エラーが返されます。
入力と出力
報告されるエラーは、気づかれないまま壊れたデータよりも常に望ましいからです。検証は固定された再現可能な順序で行われますので、同じ入力からは常に同じ出力と同じエラー文字列が得られ、これは認証にとって不可欠な条件です。スキーマで必須とされるフィールドは、正しい型で必ず指定してください。任意のフィールドは、文書化された既定値にフォールバックします。成功時の応答には主要な出力フィールドが常に含まれますので、画面のバインディングは長期にわたって安定したまま保たれ、予期しない欠落を処理する必要がありません。IEEE-754 の表現範囲を超えるきわめて大きな中間値は、暗黙の null ではなく、明示的な範囲エラーになります。
エッジケースと制限
どの入力が有効な結果を返し、どの入力が invalid_input エラーを生じるのかを正確に示していますので、本番環境で驚かされることがなくなります。
連携の活用例
自動化
ウィジェットと API で同じ純粋関数を使用します。
教育
デモ向けに、安定して再現できるゴールデン例を提供します。
技術的な質問
無料ですか？
はい、ブラウザー上のティア A で無料です。
ネットワークは？
ネットワーク接続は不要で、すべて端末上で計算します。
無効な入力は？
明確な一致文字列を持つ invalid_input エラーになります。
安定していますか？
決定論的なゴールデン例が仕様を固定します。
作者は？
samurai。