正規数

正規数についての日本語の情報源があまりに少ない (Wikipedia にすらない) ので、少し覚え書き:
gblogの前身である「ぼやき」のクリスマス企画で、「X'mas」のアポストロフィは何を省略しているのか、というネタ*1を扱った。結論はリンク先を見ていただきたい。
要は、ある無限小数から任意の数字列を取り出せるか、という問いである。つまりは、無限小数の数字列が、乱数列になっていれば良い…はず。このような*2無限小数を「正規数」(normal number) と呼ぶ…らしい。以前、「ネイピア数 e *3 からは任意の数字列を取り出せるが、円周率 \pi からは取り出せない」という話を聞いた。しかし、Normal number - Wikipediaによれば、e\pi も、そして \sqrt{2} も正規数であることは証明されていないらしい。
覚え書き、以上。
…今回の覚え書きは間違っている予感が果てしなくするので、ツッコミ頂けると嬉しい。

ぼやきって

旧「ぼやき」を久しぶりに読んだ。口調がgblogと全然違うどころか、一段落中で変わりすぎではあるが…面白いぢゃん! 昔書いた雑文を見て「面白い」と自画自賛できる、この神経の図太さ。私は幸せものなのかも知れない。

*1:「Xmas」が本来の表記…と一応書いておこう

*2:これを定義とするには問題がありそうな気がするが

*3:Napier's constant。所謂「自然対数の底