@kururu_goedel: @Aka_neko 私より先に言ってくださってありがとうございました。本当に助かりました。2012-06-19 12:51:48 via TweetDeck to @Aka_neko @kururu_goedel: @hymathlogic 「全てのκについてκ-supercompact」とかいう量化が入るsupercompactより…