@kururu_goedel: #シェラー伝説 彼は少なくとも二つの人格、すなわち強制法でありとあらゆる命題の無矛盾性を証明していく黒シェラーと、PCFなどの理論でZFC上の定理を量産する白シェラーである。黒シェラーが無矛盾と言えなかった命題を、目を覚ました白シ…
@kururu_goedel: でも、community collegeでremedial mathって時点で、普通の大学生とはかなり違うよな。2012-12-01 12:53:03 via TweetDeck @kururu_goedel: というところで、タイムリーにこんなのが→合衆国の大学生が正しく答えられない数学（というか算数…
@kururu_goedel: @ken_m123 全く経緯はしらないんですが、あれだけ野球の全ての面で才能のある選手を高校一年から投手に特化させなくともと思ったのかもしれません。2012-11-30 12:36:26 via TweetDeck to @ken_m123
@kururu_goedel: やっぱりみんな疑問に思うらしい。URL2012-11-29 04:10:45 via TweetDeck @kururu_goedel: 最近、チャックノリスbot(@chucknorris_jp)をフォローして楽しんでいるのだけれども、チャック・ノリスとスティーブン・セガールが戦ったらどちらが…
@kururu_goedel: 何度か書いているけど、フランスでホモ痴漢にあって死ぬ気で逃げた覚えがあるわけですよ。知り合いの男性で3回ほど痴漢被害にあったって人もいたし。そりゃ可能性は少ないわけだけど、その少ない可能性に配慮しろというのが主張なんでしょう…
@kururu_goedel: PIFには、「こんなふうに変えてやればV=L仮定しなくても大丈夫だよ」とか書いてあるんだけど、最終的に「これ無理」って結論に達したようで。2012-11-27 10:54:37 via TweetDeck @kururu_goedel: completely properをcountable-support iter…
@kururu_goedel: 翻って、学生たちの「証明」を読んでいると、全く通らない論理とかがあって愕然とするし、これでダメなのは見ればわかるだろと思うのだけど、どうもそうではないらしい。そこのギャップはどうすれば抜けられるのかなと、今セメは時間がない…
@kururu_goedel: @yamabunmath 多分、defが予約された単語だからってことだと思うんですけど。私はdefnとかにしてあります。2012-11-20 04:06:22 via TweetDeck to @yamabunmath
@kururu_goedel: 実際すごく面白そうなのだが、iPadで見ているのでテレビと違ってついでに一緒に見ることが困難で、ストーリーがわからない。主要キャラ名は最近把握。2012-11-19 23:03:59 via TweetDeck @kururu_goedel: うちの上の娘が最近My Little Pony …
@kururu_goedel: よし、少しスッキリした。背筋も伸ばせる。仕事。2012-11-17 03:47:57 via TweetDeck @kururu_goedel: え、30分経ってるって？そんなこという人は時計直したほうがいいよ。2012-11-17 03:47:05 via TweetDeck @kururu_goedel: というわけで1…
@kururu_goedel: マッピーに出てくるニャームコがナムコとかけていることに、マッピーをプレイしていた頃から20年以上経って気がついたのと似ている。2012-11-16 14:18:20 via TweetDeck @kururu_goedel: 今でも、パックランドのテーマがリダルダンドしてい…
@kururu_goedel: つーか、URL 書いたのはまちちゃんだったのかよ！プログラムじゃない文章までハッキングしてんじゃねえよ。2012-11-15 05:34:00 via TweetDeck @kururu_goedel: URL 【ただ学んで得た知識って、どうしても忘れがちになるけれど、自分で作っ…
@kururu_goedel: レイカーズにSteve NashとDwight Howardがいて、ヘッドコーチがD'Antoniって、数年NBAから離れていた人間にはまったく理解できないんだけど、なにがどうなってこうなったんてますか？2012-11-14 14:34:16 via TweetDeck @kururu_goedel: そ…
@kururu_goedel: それと、ひだまりスケッチ（無印）は、人のアップと視点が固定された映像が多いのが、2-3歳向けのしまじろうDVDにそっくりで、なんかうぞぞーってきた。いや、あれはあれで良いのだと思うのだけれども、すごい違和感を感じたというか。2012-…
@kururu_goedel: チャラ男に対抗してファラ男というのを考えました。特徴は、常に声にエコーがかかっている、飛び蹴りをすると足は地面からでる、空中に浮いていられる、普段は棺桶に寝ている、などです。さあ、あなたもファラ男になってみませんか？2012-11…
@kururu_goedel: なんか例の落合仁司の集合論で宗教を語るネタのやつ、すでにうちのTLではけちょんけちょんにやられてまじめにとりあえう必要なしってところに落ち着いたのに、なんか真面目に取り上げて話を始めている人たちがいて鬱になる。2012-11-11 14:3…
@kururu_goedel: 起きている間はずっと眠いとか羨ましいなぁ。私なんか寝ている時も眠い。倍速で寝たい。2012-11-10 05:24:15 via TweetDeck @kururu_goedel: 怖すぎる。RT @ytb_at_twt 僕一人しかいないオフィスで、突然プリンターが動き始め、隣の建物にい…
@kururu_goedel: @jun0inoue あの、これらは妻によってなされているのですが。2012-11-09 21:34:12 via TweetDeck to @jun0inoue @kururu_goedel: みんなばかにするけど、去年の十月にロムニーがいたポジションから大統領を目指すことを考えれば、他にやりよ…
@kururu_goedel: 一階で寝た赤ちゃんを二階の寝室に移動成功。うにうにしていて危なかったが乗り切った。2012-11-08 11:03:11 via TweetDeck @kururu_goedel: URL いや、これはいくらなんでも周りのサポートが足りなすぎるでしょ。そういう状況に置かれてい…
@kururu_goedel: @kururu_goedel あ、今は再逆転（爆）してますんで。2,521,446-2,474,074。それ以前に、もうオハイオが逆転してもオバマの勝ちは揺らがないですな。割りと他のバトルグラウンドステイトではそれなりの差でオバマが勝ってる。2012-11-07 14:4…
@kururu_goedel: @ken_m123 本当ですか？うーん、それは……。2012-11-06 19:50:13 via TweetDeck to @ken_m123 @kururu_goedel: @ken_m123 結論を仮定する学生は多いですね……。2012-11-06 19:44:16 via TweetDeck to @ken_m123
@kururu_goedel: 和をもってとっとと死なす2012-11-04 23:16:38 via TweetDeck
@kururu_goedel: 「お願いがあるんだけど」「なんで俺がお前の頼みをきかないといけないんだよ」「〇〇が自分の結婚式にぜひ呼びたいと」「おお、彼はいい奴だ。行くよ」「それと歌を歌って欲しいと」「なんで俺がお前に頼まれて歌を歌わないといけないんだ…
@kururu_goedel: @okemos_PES 2010年以降は、宗教というよりもビジネスモデルでしょう。Super PaKなどを通じて金持ちから無制限に鐘を引き出せるようになった今では、金持ち優遇政策をとってお金を出させてそれを使って中間より下の子の層を取り込むのが有効…
@kururu_goedel: なんか URL 読んでてすごくムカついてきた。これ、どうせ順序が逆でも空気読んでないのは大学教員の方ってことになるんだろ。そんな空気なんかどうでもいいよ。2012-11-01 13:46:48 via TweetDeck
@kururu_goedel: おむつ替え用にザ・ワールドが欲しいです。2012-10-31 13:45:55 via TweetDeck @kururu_goedel: 疲れた……。最近その日の2つ目の授業になると、後半は立っているのがやっとで下手すると寝そう。2012-10-31 04:20:36 via TweetDeck
@kururu_goedel: @ken_m123 そうですよね。普通の研究者についていえば、同じくらいの雑用量だろうと思います。2012-10-29 21:24:39 via TweetDeck to @ken_m123 @kururu_goedel: @tri_iro おめでとうございます。2012-10-29 19:36:29 via TweetDeck to @tri…
@kururu_goedel: RT @hyuasa 添削してると神経やられる．2012-10-28 22:51:13 via TweetDeck @kururu_goedel: 発表者の手からチョークが消えチョークの粉が教室内に舞ったかと思うと、ツッコミを入れる隙もなく後ろの黒板に証明が完成している技、消失（バニ…
@kururu_goedel: D1より上に決して上がらず、博士課程に這い上がろうとする者を叩きつぶす役目を担っている“地獄の番人”な鬼先輩 #マスプリ2012-10-27 12:22:25 via TweetDeck
@kururu_goedel: 基本的に、pre-existing conditionを理由とする加入拒否は、保険加入義務付けをやらなき限り無理というのが専門家の見解で、この加入義務を激しく責め立てながら一方でpre-existing conditionもなんとかなるというのは、詐欺以外のなにもの…
