2008-01-18 [長年日記]
■Excel の"#div/0!"エラーについて事細かく説明しているページ
あー。
プログラマにとってはすごく当たり前の知識なんだけど(大抵最初のうちに経験すると思う)、普通の人――まぁ、電卓ぐらいしか使ったことがない、ぐらいの意味になるのかな――にはちゃんと説明してやらないといけないわけかー。
Google で検索すると確かにたくさんでてくるね。
via
■実は WIndows XP は Windows eXtended Permanently の略だったんだ!
なんてことを、このニュースのタイトルを見て思いついた。
Windows XPよ、永遠なれ!? OEMライセンス提供延長を願う署名運動が展開中 | パソコン | マイナビニュース
あとは…… Windows Xanadu and Permanency とか。
■実数体
読んでいてふと思いついたこと。
じゃないな。この方向で考えていけばいいんじゃないか、と思ったこと。
いったいどうやって対応させれば、全ての実数を対応させたことになるのでしょうか。
2008-01-17 - Log of ROYGB
いったいどうすれば、ある実数とある実数が等しい、つまり"同じ数"であるということがいえるのだろうか。
\(\sqrt{12}\)
と\(2\times\sqrt{3}\)
は等しい数だということを、どのように理解しているのか? という問われたら、自分はどう答えられるだろうか? と思った*1。
それにどう答えられるかで、実数体についての理解の深さが測れるんじゃないか、と。
あるいは、ある2つの数の大小判定について、とかも。
いえ、別に答えはありません。ふと思いついたことをメモしただけです。
追記
この手のことを考え出すと、Knuth御大の
p142
2×π≡π+πを正当に証明できるけど、π+πを有限回の手順で計算できるとは限らないってことね。神様だけが計算を終えられるけど、人間にできるのは証明を終わらせることだけってこと。
が突き刺さった棘のように抜けない。
*1 冗長。自問した、と書けばいいのに。 < あ、これは私の中の"文章さん"だ。