@kururu_goedel: 奥村先生が着実に侵略されている！RT @h_okumura 今年最後の査読だん。「以下の点を」と書いたつもりが「イカの天を」になっていたので慌てて直したのはヒミツでゲソ2010-12-31 13:14:31 via TweetDeck @kururu_goedel: 毎月の光熱費を不安…

@kururu_goedel: 私にとって、仲間由紀恵といえば、ホーンテッドジャンクションで声優やっていて、「私をただのショタコンと思ったら大間違いよ」というセリフに声を宛てた人というイメージしか無い、とつぶやこうと思って1年くらい過ぎた。2010-12-30 15:11…

@kururu_goedel: っていうか「あなたは人間、だから人間のほうで裁かれるわ」が出てきていない時点でもう私という人間は終わっている2010-12-29 13:27:37 via Seesmic Desktop @kururu_goedel: 飲んでしまったあとのコップが転がっている布団の上で、立った…

@kururu_goedel: 今日ついにカレンダーを１１月から１２月に更新しました。でかしたぞ、俺。2010-12-28 01:22:26 via Seesmic Desktop

@kururu_goedel: 二回も誤操作で書きかけのメールを送信してしまって凹む。とはいえ、ドジの回数に関しては元々誰にも負けないのだけれども。2010-12-27 13:50:26 via Seesmic Desktop @kururu_goedel: @sarabayuutsu それは未読です。というか、Uri Abraham…

@kururu_goedel: うわ、これと全く同じ反応をしてしまった。RT @aki_room: @h_kagami 僕は1/xの微分が-1/x^2であることを思い出してチェックしてます。2010-12-26 14:40:28 via TweetDeck @kururu_goedel: @h_kagami 私はそれは、「1/xの微分は-1/x^2」で思…

@kururu_goedel: . @dominus_noster つまり、取り調べでは日常的に「ぶち切れますよ」「弁護士は1年目で……」とか言っていて、それが正しい取り調べだと考えられている、と。メモメモ。2010-12-25 22:49:32 via TweetDeck @kururu_goedel: 一つの分野として集…

@kururu_goedel: @yukoim あ、CMU は確かに良さそうですね。2010-12-24 23:14:58 via TweetDeck to @yukoim @kururu_goedel: コメント返したけど、なんか不完全性定理に関する解説書で良いものってありますかねえ。URL2010-12-24 15:19:09 via TweetDeck @ku…

@kururu_goedel: たった今、@h_kagamiさんと鴨先生とあとこちらの先生二人に宛てたクリスマスカードが妻に破られました。他の人へもいつ出せるかちょっと定かでないです。いつもながらすみません。2010-12-19 15:15:25 via Seesmic Desktop

@kururu_goedel: @evinlatie 映画版で猫みこしを見ていらい、これは素晴らしすぎると思いました。というか、結構アニメtweetしていると思うんですが。2010-12-18 18:33:31 via Seesmic Desktop to @evinlatie @kururu_goedel: 午前4:17、もう三時間以上クリ…

@kururu_goedel: 酔っているのでここのtweet は半分くらいで聞いて頂ければ。2010-12-17 12:51:08 via TweetDeck @kururu_goedel: ビル・クリントンも最近は見直している。フォード元大統領は、クリントンが州知事だった頃に「奴を過小評価するな。あいつは…

@kururu_goedel: @musubimeriron すみません、その20手で十分ということの証明は査読が完了しているのでしょうか。最後はコンピュータでごりごりやったと聞きますが、そこに至る議論に関しては。2010-12-16 15:46:39 via TweetDeck to @musubimeriron @kurur…

@kururu_goedel: @evinlatie それは何より。2010-12-15 21:25:48 via TweetDeck to @evinlatie @kururu_goedel: @evinlatie この人。現代記述集合論の立役者の一人。 URL2010-12-15 21:15:16 via TweetDeck to @evinlatie @kururu_goedel: @evinlatie ほい20…

@kururu_goedel: 何がどうなって東国原知事がこんな質問をしているのだろう。RT @yukoim RT @higashitiji: 突然、申し訳ありません。何方か、「ポスト構造主義」について、お詳しい或いは専門の方がおられましたら、明確・明快に説明をして頂けませんでしょ…

@kururu_goedel: さて銀行まで移動。2010-12-13 22:59:54 via Seesmic Desktop @kururu_goedel: 「定義に戻る」という感性は、普通の人にはなかなかないものなんですかね。limとかちゃんと定義あるんだから、結局はそこに戻るしか無いじゃんと思うんですが。…

@kururu_goedel: 写真付きtweet テスト URL2010-12-12 14:20:13 via TweetDeck @kururu_goedel: あれ、でもうちの同僚とかP_maxでgeneral topology やったりしているか。2010-12-12 12:23:42 via TweetDeck @kururu_goedel: . @mukkutakeshi @yamyam_topo そ…

@kururu_goedel: そういえばおととい、CS の学生が少なからずいる授業で、Turingを知っているかと聞いて、知っていると答えた人がいなかったのがショックだった2010-12-11 15:01:34 via TweetDeck @kururu_goedel: ごはん2010-12-11 02:43:45 via Seesmic De…

@kururu_goedel: なんか「それは素晴らしいアイデアですね！！」とか言われそうな予感。QT @noiehoie: （前略)伝統を法で体現せにゃならんなら、「お箸ちゃんと持ちましょう法」とかも作れ馬鹿。2010-12-10 23:58:25 via Seesmic Desktop @kururu_goedel: 仕…

@kururu_goedel: @next49 詳しい人につっこまれそうですが、数理論理学(mathematical logic)は数学。単に論理学といえば普通は哲学です。もっとも、数学者同士でlogicといえば数理論理学をさしますが。2010-12-09 15:06:31 via TweetDeck to @next49 @kururu…

@kururu_goedel: @t_uda 基数に関する何を勉強しようとしているかにもよりますが、初等的な部分に関しては公理系はほとんど関係ないと思います。2010-12-08 23:59:40 via Seesmic Desktop to @t_uda @kururu_goedel: CS unpluggedのサイトにあったオートマト…

@kururu_goedel: [正規表現][CS] プッシュダウンオートマトンだと決定性と非決定性で違いが出るって知らなかった。とりあえず、私が知っている表現はすでに出揃ったのでこの後期待。 / d.y.d. URL2010-12-06 23:30:12 via Hatena @kururu_goedel: ヘルシンキ…

@kururu_goedel: @tetrahedrane いや、博士号とったって解放なんてされないと思いますが2010-12-05 14:32:16 via TweetDeck to @tetrahedrane

@kururu_goedel: 私からオイラーへの経路あっさり解決。ヒルベルトまでは簡単に繋がるので、あとはgenealogy サイトのトップにある通り行けば良い。直系なのか。ますます申し訳ない。2010-12-07 13:32:58 via TweetDeck @kururu_goedel: @kinaba xypics ……20…

@kururu_goedel: ずっと考えていたことが爆発してしまった。仕事に戻ろう。2010-12-04 03:36:25 via Seesmic Desktop @kururu_goedel: @salmonsnare やあ！（階乗）2010-12-04 03:35:48 via Seesmic Desktop to @salmonsnare @kururu_goedel: 空集合とそのシ…

@kururu_goedel: 羃級数やったから余興でオイラーの公式やるのでさらにといでに与太話と他の結果にも触れようかと。2010-12-03 12:47:01 via TweetDeck @kururu_goedel: 夕食に呼ばれてから食べに行くまでの間に論文書いたとか、当時存在した公式は全て覚え…

@kururu_goedel: @sordfish777 ありがとうございます。生き延びられそうです。2010-12-02 14:11:43 via TweetDeck to @sordfish777 @kururu_goedel: @minami106 数学以外のことを話すと疲れるとか、そもそも数学以外のことはろくに喋れないとか普通のような2…

この長さのエントリを携帯からあげるのは無理があるような。

前回、単純にやろうとしたときにどのような問題があるかをみました。今回は解決篇です。あ、これはCohenがどうり思いついたかは無視して、こんなふうに発見していくのが自然かなという話をします。M をZFC の可算モデルとしましょう。これに新しい実数r を付…

@kururu_goedel: @patho_logic とりあえず目についたのは直しました2010-12-01 14:31:16 via Seesmic for Android to @patho_logic @kururu_goedel: @patho_logic だからmimetex 見えないんですってば。でも手動でデバッグしてきます。2010-12-01 14:25:40 v…