ようやくわかりました。質問はこれ。 boar 2010/02/21 04:23 すみません、ちょっと離れた質問なんですが、アレフ１から連続体への単射で、具体的に作れる物（構成可能って言うんですか？）は存在しますか？ http://d.hatena.ne.jp/kururu_goedel/20060506/11…

はいはい、そこまで言うなら釣られてやろうじゃないの。僕が TeX を使うのを辞めた3つの理由 - ++C++; // 管理人の日記 僕が TeX を使うのを辞めた 10 の理由 - ++C++; // 管理人の日記念のために言っておくと、(私にとって)本当のことは書くけれども全体と…