@kururu_goedel: 「その質問は型エラーです」が最強だと思っていたけど、「unitypedな集合論が好きと言っているくせに都合のいい時だけ型をつけるな」と怒られそう RT @susukeneko: 「私と数学と、どっちが大切なの」という質問は、2011-01-11 12:41:11 via …