meineko’s blog

元つくばの某独立行政法人勤務の植物屋です。最近は、ほぼ、突発天体の話題です。

午後12時 午前0時

GRASの予約システムは、1-12とAM/PMの組み合わせで設定するようになっています。
深夜は、そうすると12時PMのはずですが、どうも、予約システムの挙動が変です?
#それとも、わたしがなにか感知がしている?


しかも、望遠郷の置かれた場所のローカルタイムで設定します。
#夏時間とかあると大変。
24時間制、U.T.で扱ってくれたほうが楽なのに。


で、表題の「午後12時 午前0時」ですが、googleと、皆さん割と困っている話題らしく、沢山の情報があります。
普通の方の生活パターンに合わせて、「正午は午前12時それとも午後0時」という方が問題とされていることが多いですが。
そもそも午前午後というのの定義がおかしいです。
午前12時の一分後は、午後12時1分?な訳ないですね。


(追記)
ところが、OSXで、時刻表示を午前午後を表示させるにすると、昼の12時は午後12時と表示されるという情報がありました。
自分で、確かめてみたら、本当にそうでした。
日本国内での話は、法律でどう規定されているかとか、色々議論はあるようですが、GRASの予約システムを理解するには、海外(アメリカ)での表示法を考慮する必要がありそうです。


って、いうか、24時間制にして?
要望送りましょうか、どうしましょう?
ちなみに、FTPサイトのタイムスタンプは、しばらく前にU.T.になりました。