2006-06-25 transitive collapse 予告 推移的崩壊とAFA集合論の中で推移的崩壊がどう使われるかってところは補足したいのですが、今日はちょっと遅いのでまた今度に。というわけで、自分にプレッシャーをかけておくために予告しておきます。