2013年01月12日のツイート
@kururu_goedel: 「連続体仮説のここがわからない」なんて本が出たら、sub-Ostaszewski空間のことを空気読めないキモヲタのように語りまくる章を書いて送りつけるぞ。
@kururu_goedel: @patho_logic @ytb_at_twt とかもあるじゃろうとかいうレベルじゃなくて、連続体仮説と整合的なぎりぎりの自然な命題を見つけるのはわりとホットじゃんかよ
2013-01-12 14:24:48 via TweetDeck to @patho_logic
2013年01月07日のツイート
@kururu_goedel: bookkeepingは全部lotteryで書き直せそうな気がしてきて、でもやっぱり長さω_2のやつとかだとまずい気がしてきて、そこを修正できそうな気がしてきて、でも修正したら普通にbookkeepingやった方がましな気がしてきた気がしました。
@kururu_goedel: そういえば、どこかの地方新聞が、行政から公開されている情報を元に、銃所持許可を受けている人を地図上で一覧できるようなウェブサイトを作って非難轟々らしい。一件一件検索しないと出なかった情報を一覧できるようにしただけなのだけど、怒っている人も多い。
@kururu_goedel: @srb_2 存在定理はもちろん、強制法そのものも対角線論法の変形だと思っています。これは、私のオリジナルな思想かなと思っていたら、殿下がて日々でこのアイデアがすでに共有されていることを前提とした文を書いていて凹んだ覚えが。
2013-01-07 15:14:41 via TweetDeck to @srb_2
@kururu_goedel: @srb_2 私は入ると思います。α回なにかを選択する構成をするのに、それぞれのステージでなんらか異なる要請をしていれば全て対角線論法っていうのが私の感覚。口にも文にも書いてませんが。
2013-01-07 15:12:03 via TweetDeck to @srb_2
@kururu_goedel: なんか同じののパロディがたくさんあるらしいんだけど(軍の中ですら!)、これが一番面白いと思う。海軍学校の人たち。URL
2013年01月06日のツイート
@kururu_goedel: 最近「氷の世界・跡部王国」というのが安部公房の短編集にありそうな気がしてきてヤバイ。
@kururu_goedel: ちょっとこれすごい> "I'm a Daddy and I Know it" 2 + triplets (parody of "Sexy and I Know it") URL
2013年01月04日のツイート
@kururu_goedel: @kagami_hr いや、もちろん読んでません。これで腑に落ちました。もっとも、集合論をやりたいと言っている人にブルバキを勧めるのには注釈が必要かと思いますが。
2013-01-04 14:30:08 via TweetDeck to @kagami_hr
@kururu_goedel: でも、よく考えてみるとヌルくC++の話をしているときに、@Cryolite さんに「やあ」とかリプをもらったら発狂+失禁しそうだし気持ちはわかるので、フォローされていない人にネタっぽく絡むときはリプにせずに悪質RTにしてます。
@kururu_goedel: @phasetr えっ、結構昔から使ってますよ。リンク貼らないときが多かったかもしれませんが。なんか私にリプ飛ばされると怖がる人が結構いるようなので。
2013-01-04 14:09:30 via TweetDeck to @phasetr
@kururu_goedel: @ROUNIN__MAIDEN この話なんですが、連続体濃度はアレフ2であるという見方を最も強く推し進めていたWoodinが宗旨変えして連続体仮説正しい説に肩入れし始めたのでなんとも。ちなみに私の師匠はWoodinの宗旨替え以前からの連続体仮説正しいよ派です。
@kururu_goedel: (集合の)共通部分が空であることを「互いに素」というのはどこが起源なんでしょう?英語ではdisjointなので「素」という言い方に至るにはけっこうギャップがある気が。
@kururu_goedel: URL 【(前略)「公理的集合論です」「あ…そっち系…」】 そっち系の人ですが、どんな分野と一緒にそっち系とくくられているのかが気になるわけです。
@kururu_goedel: というか、私は最初の方だけ眺めただけなのでわからないのですが、ブルバキの集合論に現代的な意味ってあるんでしょうか?ブルバキの他の教科書を読むときに役立つってことなんでしょうか?
@kururu_goedel: URL 【[S先生の発言集] ・SGAとEGAは3,4年で読むべきだ。 ・ブルバキの集合論は高校の時に。 ・ブルバキの可換代数は3年の時に。】 なんでブルバキの集合論読む必要があるんだろ。
@kururu_goedel: 全裸中年男性ネタをツイートしかけたが、長すぎて140字にどうやっても入りきらなかったので人生を踏み外さずにすみました。
2013年01月01日のツイート
@kururu_goedel: いや、あれ絶対に面白いって。全くちゃんと見れてないけど、あれだけキャラが立ってストーリーに幅があって面白くないはず無いよ。
@kururu_goedel: 俺、子育てが一段落したらMy Little Pony : Friendship is Magicを一気に全話見るんだ(死亡フラグ)。
@kururu_goedel: というか、今年こそ線形順序の積のことちゃんと書きます。すみません。
@kururu_goedel: 紅白、後半だけ見た。老けたなぁ、って思わされる人が多かった。もっともPerfumeも きゃりーぱみゅぱみゅも水樹奈々も見ていないので、よけいに語ることがない。AKB48もだな。
@kururu_goedel: 今年の抱負も生き残ることです、と思っていたのだけど、それよりもちょっとだけマシなところを目指します。
@kururu_goedel: あけましておめでとうございます。まだ生きてます。多分。
2012年12月31日のツイート
@kururu_goedel: 【速報】近所のスーパーでセラムン売ってた
2012年12月27日のツイート
@kururu_goedel: ソ・ジソブという韓国人の俳優がいるのだけど、この前「スポンジソブ スクエアパンツ」というダジャレを思いついて、どうせ既出だよなと思ってググッたら該当なしで、それはそれでなんか世界中の誰よりもくだらないことを思いついてしまったようで悲しかった。
@kururu_goedel: そうだ、クリスマスが終わる前に呟いておくべきだと思って忘れていたこと。妻が娘に「ルドルフは赤いねー」とか言っているとき瞬時に全身が赤いルドルフ・ザ・レインディアに乗ったシャア大佐が3倍の速さでNORADをぶっちぎっている映像が浮かんでしまって俺の脳は大丈夫か。
@kururu_goedel: まあ、iterationの技法が増えたよ、やったねタエちゃんとか書こう。
@kururu_goedel: ただ、証明自体は面白いんだけど。最後の一番難しい奴は、iteration theoremを証明するのに、towerの全ての元に対してgenericなconditionから始めて、注意深くgenericになるポイントを減らしていく形になっていて、大変だけどイカス。
@kururu_goedel: もう随分前にもらった査読報告読み直している。なんかすごく強い結果が系として出てくると勘違いされているのはさておき、「もっとテクニカルじゃない動機付けをintroductionに入れなさい」って書かれたのをどうするか。正直、この論文ってばそういうのあんまりない(おい)。