@kururu_goedel: 実数怖いので、実数に障らない強制法を研究しているのだけど、少し油断するとBoo!とか言って出てきて実数怖い。2012-05-05 23:10:43 via TweetDeck @kururu_goedel: 「（集合論で出てくる実数上の関数に比べれば普通の数学の）実数上の関数…