2011年03月18日のツイート - kururu

@kururu_goedel: 査読が返ってきた論文の修正完了。共著者へ送信する。

@kururu_goedel: 昔、「著者と査読者の意見が食い違っているからあんたも査読してよ」とかいう依頼が来たのだけれども、「意見の食い違い」なんて生やさしいレベルじゃないガチバトルで、それを仲裁できるレベルには絶対に読み込めなかったのでごめんなさいしたことが。

@kururu_goedel: @tri_iro そういう場合って、ジャーナルの査読なら他の人にパスすると思うんですけど、会議の場合にはタイムリミットがあるからだめなんですかね。

@kururu_goedel: UKだとUniversity of Kentucky。KUとUKがどっちがどっちなのかは特別立派な理由はないのだと思う。

@kururu_goedel: えっとね。アメリカ人相手に大学名という前提でKUって言ったらUniversity of Kansasで、UTだとUniversity of Texasになるので、私の脳にもその自動変換がインストールされていることは了承していただきたく（だれも気にしてないって）

@kururu_goedel: ODは"ordinal definable"に変換される集合論脳 RT @doom_k: ＯＤとか普通にださいですよ

@kururu_goedel: URLで50マイルという数字を出したのと、全く同じ放射線量をだしてきて、日本の20kmから避難30km以内は屋内退避という指針はアメリカでの基準と"parallel"しているとか書いているしわけわかんね。

@kururu_goedel: @t_hayashi すみません、どういう事情かわかるソースがあるんでしょうか？なんかNRCのプレスリリース自体が整合性に欠けているような気がするんですが。

@kururu_goedel: それ以前に、NPRは私が聞いている限り一回も、「通常の10倍の放射線量」がどの程度のもので、自然被曝にくらべてとか健康に影響がでる量に比べてとか言ってなかった

@kururu_goedel: @kyounoowari いやいやいや、私が頼りにしてきたNPRですらこの世の終わりみたいな勢い報道して、原発業界の人たちをつるしあげてますから。

@kururu_goedel: @alg_d えと、ZFが無矛盾ならばZFC(=ZF+AC)の無矛盾性は言えるんですが、ZF+AD(決定性の公理)はより強い公理系の無矛盾性を仮定しないといけない、という話です。

@kururu_goedel: @alg_d ADの方が強いですよ。Woodin可算無限個相当。

@kururu_goedel: @Yusuke_Ishizuka 「将来の夢は@Yusuke_Ishizuka さんに肖像画を描いてもらえるような立派な数学者になることです」と小学校の卒業文集に書いてしまいそうなレベル。

@kururu_goedel: @MarriageTheorem いや、それは物資じゃないから大丈夫なはず。って何をマジレスもどきしているんだ

@kururu_goedel: ついでにいうと、アメリカの原発の人がラジオに出てきて「こっちではいつも最悪の事態を想定して訓練しているから大丈夫」とか言っていてムカってきた。それは日本でもやっていたんだし、そのことくらい知っているのだろうに。

@kururu_goedel: Diane Rehm Showにメール送ってしまった。原子炉での作業が「自殺的」とか言いあがったので。福島の放射線レベルだって高いけど煽りすぎ。