@kururu_goedel: これ正しい。反例作ろうとしているうちに理解できることはよくある。RT @_flyingmoomin なにジョジョ？ 教科書に書いてある定理が示せない？ ジョジョ, それは無理矢理示そうとするからだよ. 逆に考えるんだ, 「反例を挙げちゃってもいいさ…

@kururu_goedel: 「にしてクラスタ」ってなんだよ、いったい2011-02-27 13:04:11 via TweetDeck @kururu_goedel: なんか謎クラスタだらけだぞ。kururu_goedelさんの属するクラスタは、ごめんなさいクラスタ、スライドクラスタ、アメリカクラスタ、にしてクラ…

@kururu_goedel: ハッシュタグつけわすれた2011-02-26 13:12:08 via TweetDeck @kururu_goedel: stogyoクラスタに出遅れて、プロジェクトA子を2巻から見た人並みに流れがつかめないのだけれども、多分必死に追いかけていても、プロジェクトA子を1巻から見た…

@kururu_goedel: この前から、テイトECO内田光子のイ長調協奏曲探して聴こうと思っているのだけどなんか延び延び2011-02-25 13:14:16 via TweetDeck @kururu_goedel: 帰宅途中にラジオつけたら、モーツァルトの交響曲第41番やっていて、久しぶりだったから、…

@kururu_goedel: @ke_ta 彼は自分からサイエントロジーをウリウリしているようなので。っていうか、今となっては彼のアメリカでのイメージは、「サイエントロジー、ジャンピング・オン・カウチ、スーリちゃん可愛い」ですから。2011-02-23 03:06:11 via Sees…

@kururu_goedel: @hyuki ２枚目のに関しては"my n-year old"は(文法的に正しいかはともかく)よく使われる言い回しです。18枚目はご指摘のとおりです。2011-02-22 05:33:38 via Seesmic Desktop to @hyuki @kururu_goedel: えーと、スライドの絵はもちろん私…

@kururu_goedel: なんかリビアもひどそうだし。カダフィが実権を失うのは単純には喜ばしいけれども、その後どうなるかっていうことになると、どうもエジプト以上にリーダー候補がいないみたいで。最終的に、石油利権をめぐって大内乱ってことになりそうで怖…

@kururu_goedel: @ribl_ それ以前に、私の感覚は「失業率が10%行かずになんとか持ちこたえられていてよかった」ってレベルです2011-02-20 13:37:41 via TweetDeck to @ribl_ @kururu_goedel: @ribl_ アメリカには、「だからこそ一層の自由化、減税が必要なん…

@kururu_goedel: そういえば、ずいぶんながらくこどちゃの二代目の主題歌のウルトラリラックスのイントロに違和感がある理由がわかっていなかったのだけれども、三連符が16個のまとまり三つからなっているからだときづいたのでようやく安心して寝られます201…

『数学ガール／乱択アルゴリズム』の執筆も一段落したそうなので、結城さんに関して私がすごいなと思っているけれども、多分あまり話題になってないことを一つ。あーーっとその前に。なんか2chで私が『数学ガール／ゲーデルの不完全性定理』のときに「アドバ…

@kururu_goedel: 昨晩書き終わっていたのを少し修正してブログにポスト。「結城さんとオンラインレビュー」 URL2011-02-18 23:59:34 via Hatena @kururu_goedel: ごめんなさい、例によって例のごとく、「面倒くさいけどちゃんと書き直す」といった部分は「正…

@kururu_goedel: Aronszajn Continuum自体には実数直線が埋めこまれちゃうけど、それはもうどうしようもない、と。2011-02-17 23:34:29 via Seesmic Desktop @kururu_goedel: Aronszajn continuumとAronszajn lineの関係についての証明がわからなくなって一…

@kururu_goedel: @tkf いいなあ。私はMaison des provinces de Franceに一年住んでました。かなりサバイバルだった2011-02-16 14:19:45 via TweetDeck to @tkf @kururu_goedel: なんか不思議なくらい疲れている。今日の一年生向けプレゼンが思ったより、深層…

@kururu_goedel: @kinaba おめでとうございます。2011-02-15 23:54:34 via web to @kinaba @kururu_goedel: @yuyu_de_gozaru まあ、教える練習になるのは事実だし、こちらでも一応それなりに教え方にかんする講習とかありますが。2011-02-15 23:53:08 via Se…

@kururu_goedel: この前の査読報告読み終わった。最終的に、クリティカルな指摘はなくてほっとしている。一ヶ所査読者を説得しないといけないところがあって、そこは慎重にやらないといけないけど。2011-02-14 14:13:06 via TweetDeck @kururu_goedel: NSFの…

@kururu_goedel: 3時間強制法、2エントリにつき1台は壊されているな。2011-02-13 14:42:21 via TweetDeck @kururu_goedel: あー一応こちらでも書いておこう。またパソコン壊されたので、いろいろ滞るかもしれません。ごめんなさい。2011-02-13 14:40:52 via …

@kururu_goedel: @ttmtko そうなんですが、下手に音楽なんて聞いているのを見つかったらパソコンなり携帯なりを壊されるので……2011-02-12 21:17:14 via TweetDeck to @ttmtko @kururu_goedel: @ttmtko こちらのラジオで言っていたことの受け売りです。ただ、…

@kururu_goedel: 喋るなevernoteインストーラ2011-02-11 23:51:47 via Seesmic Desktop @kururu_goedel: ムバラクやめなかったんか。なかなか衝撃的な展開だな。2011-02-11 23:30:45 via Seesmic Desktop @kururu_goedel: あ、うちできちんと教えるから、自…

前回: 3時間でわかった気になる強制法 その2-1 - くるるの数学ノートさてと、前回は名前とそれが満たして欲しい性質のことを書きました。今回はそれをどのように実現するかを書きます。例として、Pを前回最後に述べた、ωから{0,1}への有限部分関数全体の集合…

@kururu_goedel: やり直し。数学でも基本的にはABC順で著者をリストするけれども、数学界でも同じような傾向が見られるのでしょうか？RT @ykamit: ABC順で著者をリストする経済学では、早いイニシャルをもつ人が出世する傾向があることがわかった。2011-02-1…

@kururu_goedel: とりあえず、黒い霧事件での池永正明はどこをどう考えてもかわいそうだったな。2011-02-09 12:31:25 via Seesmic Desktop @kururu_goedel: …やめた、消そ。2011-02-09 12:30:18 via Seesmic Desktop @kururu_goedel: にゃー。2011-02-09 12:…

@kururu_goedel: 高校の時の音楽の先生が、小規模なオペラとかで歌っているような人だったのだけど、「人前で演奏するとき緊張しない人は音楽に向いていません」と言っていたのをよく覚えています2011-02-08 13:48:34 via TweetDeck @kururu_goedel: @timewa…

@kururu_goedel: 天付け2011-02-07 23:59:18 via Seesmic Desktop @kururu_goedel: 共有のプリンタの普通の用紙入れに色のついた紙入れるのやめてくれないかなぁ。横に別のやつが付いているんだからそちらからいれてくれればいいのに2011-02-07 23:54:15 via…

@kururu_goedel: おやすみなさい2011-02-06 14:22:30 via TweetDeck @kururu_goedel: 「あなたは菊池桃子ですか？」「いいえ、私はラムーのボーカルです」2011-02-06 14:22:18 via TweetDeck @kururu_goedel: おやすみなさい。明日までに小人さんたちが論文…

@kururu_goedel: Aronszajn tree作るのをちょっとごにょごにょすれば出来るかと思ったけど、そんなことはなかったぜ！状態2011-02-05 04:02:04 via Seesmic Desktop @kururu_goedel: E先生に聞かれた問題、ダイアモンド仮定すればいけそうな気がしてきたと此…

@kururu_goedel: @aleo724 お疲れ様でした2011-02-04 21:09:27 via TweetDeck to @aleo724 @kururu_goedel: @iwaokimura ありがとうございます。administrationは結構真剣なので、そういうところに厳しいですね、こちらは。期末試験前にやって、成績を提出す…

@kururu_goedel: 解けたかと思っていた問題が、例によって例のごとく解けてなかったので、微調整でしのげるか考えていたのだけれどもやっぱりダメっぽくてはうーんなう2011-02-03 14:43:25 via TweetDeck @kururu_goedel: @night_in_tunisi それはFreakonomi…

@kururu_goedel: @ytb_at_twt うちの師匠は、ものすごくおおきくて長いため息をつきますが、退屈しているとは限らないようです2011-02-02 22:05:33 via TweetDeck to @ytb_at_twt @kururu_goedel: 「部長はオカマから生まれたことがないからそんなことが言え…

@kururu_goedel: 愚痴いわずに、というか言ってもいいから頑張らないとな2011-02-01 13:47:30 via TweetDeck @kururu_goedel: とある先生が、講演で自分の昔の結果を述べたときに、「これは、私が普通の仕事に就いていたとき、忙しくてでも数学がやりたかっ…