しいたげられたしいたけ

期間限定トップ「肌の色や出自や信仰の違う他人を、憎むように生まれついた人間などいない」ネルソン・マンデラ rt by バラク・オバマ

文字実体参照ふたたび

はてな」のリンクは「文字参照」の方が便利のようである。

♥ と入力すると ♥ が、 ♠ と入力すると ♠ が、♣ と入力すると ♣ が、それぞれ表示されることは以前から知っていた(2ちゃんねる顔文字板で知りました。ごめんなさい)。

しかし ♥ 、♠ 、♣ (変換されない文字列そのもの)をどうやってそのまま表示させたらいいのかがわからなかった。だが「はてな」の「文字参照」の説明を読んで、やっとわかった。& と入力すると & 自身が表示されるのだ。だから & に続けて hearts; と入力すると、♥ に変換されないで ♥ と表示されるのだ。

だから本当は上記で & と表示しているところは、日記を書く時には & と入力している。C言語で\自身を表示するときに\を二つ続けて\\と書くのと似ている。どこかで破綻が起きそうで決して起きない。じつにうまくできているなあと思う。

これは大げさに言うと(大げさに言わなくても?)無限集合における「無限ホテルの逆理」に対応する現実の現象なのである。「無限ホテルの逆理」とは決して現実と無関係な論理の遊びではなかったのだ(文字列は立派な可能無限なのだから!)。

ところで「はてな」では ♦ は出せないのかな?やってみると ♦ と文字化けする。まあ入力したければ記号の◆を入力すればいいだけなのだが。