某携帯キャリアの「私にかけるとお金かかるから」的な CM が気味悪いと思うのは僕だけではないみたいだ。

Google が教えてくれたこと。 すべての集合から成る集合が時々ある。 選択公理から排中律が出る。 チューリング完全な言語なら Quine が書ける。 RGB というアルバムがある。

「任意の自然数は百万文字以下で表現できる」というような話がちょっと話題になった。Wikipedia によると「ベリーのパラドックス」と言うらしい。この命題の証明もどきは、 背理法による。百万文字以下で表現できない自然数があるとして、そのような数のうち…

ケンタッキーの前に長蛇の列ができていた。そうそう、カーネルサンダースのカーネルは、kernel じゃないんだってさ。