2010年11月30日のツイート
@kururu_goedel: 書いたことがきえた訳じゃないのでそのうちアップできるはず
@kururu_goedel: 3時間強制法の続き携帯でevernote に書いたらなんかバグってるらしく消しても消してもゴミが残る
@kururu_goedel: ようやくジングルベル(英語)のサビの部分は歌えるようになった。先は長い。
@kururu_goedel: でも、セメスター始まってからwithdrawする人も多いからどうなることやら。
@kururu_goedel: 45人目強制登録。もうヤケクソ気味。
@kururu_goedel: ごめんなさい、Todorcevic先生、教えてもらったのに詳細忘れちゃいました……
@kururu_goedel: えーと、Axiom Aを満たすけど(ccc)*(countably-closed)で書けないやつの例ってForcing Positive Partition Relationsのやつでいいんだよね。
@kururu_goedel: 来季の微積分2のクラス、定員40人のところ44人とかいう異常事態になっている(事情を勘案して強制追加したのが4人いて)。普段は定員よりよっぽど少ないのになぁ。