@kururu_goedel: @mr_konn 学部にいる間は十分早いうちですよ。2012-09-23 13:24:06 via TweetDeck to @mr_konn @kururu_goedel: @srb_2 プロパーイテレイションってなんですか？単にproper forcingの（おそらくcountable supportな）iterationですか？2012-…