[ruby-list:10307] Re: time.c:time_arg()

ふなばです。

>「60分」を許容してしまうのはミスですが，「61秒」を許容してる
>のはうるう秒を意識してのことです．うるう秒って最大2秒入るん
>ですよね，確か．違ってました？

素直に考えると、わたなべさんがいわれたような解釈しかないように思います。
ちょっと調べてみたんですが、そのような可能性を疑って読んでも、そう思え
る記述がみつからないんです (どれも、...の 1秒を閏秒という...みたいな感
じで書いてある)。木村さんがいわれた件は僕は知らないのですが、なにかで、
そういうのはあるのかもしれませんね。

最初の閏秒は2秒だった、その後は1秒だが、完璧な仕事をするなら61秒目をあ
つかえなければいけない、といった記事をみつけましたが、それはその後に、
否定されていました。

少なくとも、これまでには一度に2秒挿入されたということはないようです。

61秒目を意識しているらしいのは、Ruby の missing/ にも収められている
Arnold Robbins 氏の strftime() です。Ruby にはマニュアルはついていませ
んが、手許にある 6.1 (これが単体でリリースされた最後なのかなあ) のマニュ
アルでも (00-61) としています。

で、gawk でも Arnold Robbins 氏の strftime() がつかわれていますが、
gawk 3.0.3 の missing/strftime.* では (00-60) になっています。これは、
バグと確認され、修正されたと解釈できるかもしれません。

info でも gawk 2.15.6 では (00-61) となっていてますが、gawk 3.0.3 では
(00-60) になっています。いつ修正されたのか判りませんが、gawk のメンテ
ナンスをしている本人のようですから、当然、承知していると思われます。

# でも、info をみると基本的な理解は同じみたい

たぶん、61秒目があるという人は、

o 過去に一年のうちに2秒調整したことがある (事実)。
o 閏秒の挿入削除は閏日のように高々年に一度のイヴェントだ (嘘)。

という理屈からそう判断しているのじゃないかしら。さらに、閏秒が挿入され
た分は61秒間になる、という記述を61秒目があると読んでいる。

閏秒が2秒あり得るという説は、これまで聞いたこともなかったんで、臆測に
過ぎないですが、そんな気がしています。

--Tadayoshi Funaba