@kururu_goedel: @CharStream すみません。そっちの同値性は知っていました。選択公理のない世界は本当にうといんです。2012-05-12 23:27:34 via TweetDeck to @CharStream @kururu_goedel: 一時間寝坊（二度寝）してどうなるかと思ったのだけれども、ちょっ…