2012年07月29日のツイート - kururu

@kururu_goedel: つーかよー、集合論者がなにやっているかわからないとか、集合論は宣伝不足だとか言う人は、私が『数学』に書いた論説くらい読んで「わからん」とか「それのどこがノントリビアルなんですか」とか言って欲しいよな、っていうか言ってください、お願いします、このとおりです。

@kururu_goedel: 昨日のAndroidアプリリストで忘れていたもののひとつがProfile Scheduler。時間や場所などを指定しておくと自動で各種音量や画面の設定を変えてくれる。便利。

@kururu_goedel: @CharStream @kagami_hr お返事遅れてすみません。巨大基数的性質には明確な定義はありません。だいたいこんなものという同意があるだけです。真面目にやろうとすると技術的に面倒な割に実りがないということで、そういう状況になっています。

@kururu_goedel: URL で名前が出ていたのでお返事を書いて書き込もうとしたら、なんかうちのホストがアクセス禁止食らっているらしくて書き込めなかったよ。

@kururu_goedel: 二人同時授乳、二人同時寝付かせ成功。