March 14, 2015 9:26:53

2015 年 3 月 14 日。3.14 はホワイトデー,男が女にバレンタインのお返しをする日として定着している。もうひとつ,海外では今年のこの日は特別な Happy PI Day とされている。なぜなら,この日付を米国式にしるすと 03/14/15,つまり 3.1415 だからである。さらに時刻 9:26:53 を含めると小数点第 9 位までの円周率というわけだ。ここまでくると,Happy PI Moment になってしまい,カウントダウンもクソもない。

超越数 π は虚数 i と並んで数学の鏡の中の鏡を代表する概念だろう。ちなみに,円周率を覚えるためのゴロ合わせは各国にあるらしい。日本では,次。これなら小数点以下 30 桁まで。

産医師異国ニ向カフむこー,産後厄無ク産婦御社みやしろニ虫サンザン闇ニ鳴ク…
π = 3.141592653589793238462643383279…

『旧約』のヨブ記・14 章 16 節は Job (3 文字) の 14, 16 で 3.1416 (rounded at 4th) の象徴らしい(マーチン・ガードナー)。

今汝は我の步履あゆみを數へ給ふ 我が罪を汝うかゞひ給はざらんや
— ヨブ記,14 章 16 節,日本聖書協会『舊新約聖書』文語訳,1887,1991,719ページ。
Surely then you will count my steps but not keep track of my sin.
Job 14:16

ところで,03/14/15 という日付表記は米国の慣習である。西欧・東欧では 14/03/15 であって,ホント紛らわしい。15/03/14 という日本・中国・韓国式が計算機のソートにも適していてよいと思うのだが,慣習だからしようがない。

計算機の世界では locale ロケールという仕組みにより国・地域・言語に応じた時間形式,通貨様式を扱うことができる。“LANG” や “LC_ALL” といった環境変数に,たとえば “ru_RU.UTF-8” をセットしておくと,端末出力様式がロシア語のマナーに従う。ロケール名称は “言語コード_国コード.文字コード” の形式で,同じ言語でも国が違うと様式も変わることがある(たとえば,日付表示は,同じ中国語でも中華人民共和国と台湾で異なる様式をもつ)事情に追従できる。実は,POSIX 準拠の sort コマンドは,locale に応じて,日付オブジェクトをきちんと並べ替えることが可能になっている。

ちょっと遊んでみた。

$ for i in `locale -a | grep UTF-8`; do /bin/echo -n "$i - "; env LC_ALL=$i date; done

てな具合で,さまざまな locale ロケールによる date (日付出力コマンド) を出力してみた。素人ネットコンテンツの定番「〜してみた」シリーズか。

af_ZA.UTF-8 - Sat Mar 14 09:26:53 JST 2015
am_ET.UTF-8 - ቅዳሜ ማርች 14 09:26:53 JST 2015
be_BY.UTF-8 - сб  14 сак 2015 09:26:53 JST
bg_BG.UTF-8 - Сб  14 Мар 2015 09:26:53 JST
ca_ES.UTF-8 - dissabte, 14 de març de 2015, 09:26:53 JST
cs_CZ.UTF-8 - so 14. března 2015 09:26:53 JST
da_DK.UTF-8 - Lør 14 Mar 2015 09:26:53 JST
de_AT.UTF-8 - Sa 14 Mär 2015 09:26:53 JST
de_CH.UTF-8 - Sa 14 Mär 2015 09:26:53 JST
de_DE.UTF-8 - Sa 14 Mär 2015 09:26:53 JST
el_GR.UTF-8 - Σαβ 14 Μαρ 2015 09:26:53 JST
en_AU.UTF-8 - Sat 14 Mar 2015 09:26:53 JST
en_CA.UTF-8 - Sat 14 Mar 2015 09:26:53 JST
en_GB.UTF-8 - Sat 14 Mar 2015 09:26:53 JST
en_IE.UTF-8 - Sat 14 Mar 2015 09:26:53 JST
en_NZ.UTF-8 - Sat 14 Mar 2015 09:26:53 JST
en_US.UTF-8 - Sat Mar 14 09:26:53 JST 2015
es_ES.UTF-8 - sábado, 14 de marzo de 2015, 09:26:53 JST
et_EE.UTF-8 - laupäev, 14. märts 2015. 09:26:53 JST
eu_ES.UTF-8 - 2015(e)ko martxoa-ren 14a, 09:26:53 JST
fi_FI.UTF-8 - La 14 Maa 2015 09:26:53 JST
fr_BE.UTF-8 - Sam 14 mar 2015 09:26:53 JST
fr_CA.UTF-8 - Sam 14 mar 2015 09:26:53 JST
fr_CH.UTF-8 - Sam 14 mar 2015 09:26:53 JST
fr_FR.UTF-8 - Sam 14 mar 2015 09:26:53 JST
he_IL.UTF-8 - ש' מרץ 14 09:26:53 JST 2015
hr_HR.UTF-8 - Su 14 Ožu 2015 09:26:53 JST
hu_HU.UTF-8 - 2015 Már 14 Szo 09:26:53 JST
hy_AM.UTF-8 - Շաբաթ, 14 Մարտ 2015 թ. 09:26:53 (JST)
is_IS.UTF-8 - lau 14 mar 2015 09:26:53 JST
it_CH.UTF-8 - Sab 14 Mar 2015 09:26:53 JST
it_IT.UTF-8 - Sab 14 Mar 2015 09:26:53 JST
ja_JP.UTF-8 - 2015年 3月14日 土曜日 09時26分53秒 JST
kk_KZ.UTF-8 - сенбі, 14 наурыз 2015 ж. 09:26:53 (JST)
ko_KR.UTF-8 - 2015년 3월 14일 토요일 09시 26분 53초 JST
lt_LT.UTF-8 - Šeštadienis, 2015 m. kovo 14 d. 09:26:53 JST
nl_BE.UTF-8 - za 14 mrt 2015 09:26:53 JST
nl_NL.UTF-8 - za 14 mrt 2015 09:26:53 JST
no_NO.UTF-8 - lør 14 mar 2015 09:26:53 JST
pl_PL.UTF-8 - sob 14 mar 09:26:53 2015 JST
pt_BR.UTF-8 - Sáb 14 Mar 2015 09:26:53 JST
pt_PT.UTF-8 - Sáb 14 Mar 2015 09:26:53 JST
ro_RO.UTF-8 - Sâm 14 Mar 2015 09:26:53 JST
ru_RU.UTF-8 - суббота, 14 марта 2015 г. 09:26:53 (JST)
sk_SK.UTF-8 - so  14. marec 2015 09:26:53 JST
sl_SI.UTF-8 - sob 14 mar 2015 09:26:53 JST
sr_YU.UTF-8 - суб 14 мар 2015 09:26:53 JST
sv_SE.UTF-8 - Lör 14 Mar 2015 09:26:53 JST
tr_TR.UTF-8 - 14 Mar 2015 Cts JST 09:26:53
uk_UA.UTF-8 - сб 14 бер 2015 09:26:53 JST
zh_CN.UTF-8 - 2015年 3月14日 星期六 09时26分53秒 JST
zh_HK.UTF-8 - 2015年 3月14日 周六 09時26分53秒 JST
zh_TW.UTF-8 - 2015年 3月14日 周六 09時26分53秒 JST

今日はハッピーなホワイトデー,パイデー。産医師の異国に向かふ春日かな。明日は Idibus Martis (3.15 に) — すなわち,カエサル暗殺の日。それじゃ。

 
円周率と詩―ガードナー数学マジック
マーチン・ガードナー Martin Gardner
一松 信 [訳]
丸善