2010年12月12日のツイート
@kururu_goedel: 写真付きtweet テスト URL
@kururu_goedel: あれ、でもうちの同僚とかP_maxでgeneral topology やったりしているか。
@kururu_goedel: . @mukkutakeshi @yamyam_topo そういうテクニックは今のところ集合論の外にはほとんど応用されていませんが、それは十分に可能だと思っています。ネタにマジレスが過ぎますが。
@kururu_goedel: @mukkutakeshi 選択公理の成り立たないモデルを介して選択公理のあるモデルを調べるのはWoodin などの十八番ですし。
2010-12-12 12:14:43 via TweetDeck to @mukkutakeshi
@kururu_goedel: @mukkutakeshi 私は選択公理の成り立たないモデルはほとんど使いませんが、でも選択公理なしで出来ることもたくさんありますよ。
2010-12-12 12:12:13 via TweetDeck to @mukkutakeshi
@kururu_goedel: ところで、ファイナルファンタジーの話をしていると、スクウェアといえばアルファだろと言い出す人は既に絶滅したのでしょうか?
@kururu_goedel: メンタムとガンダムは似ていると言ったら妻にひどく否定されたのだけれども、似てますよねぇ。
@kururu_goedel: @rakazawa 中学生のうちに発表の経験が出来るなんてうらやましいです。頑張ってきてください。
2010-12-12 09:54:51 via TweetDeck to @rakazawa
@kururu_goedel: 正直実話にしか思えません。QT @XupoakuOu URL xupoakuouの作曲した交響曲第6番「俺様改革」は作曲者自身の指揮で初演されました。演出の卑猥さが問題となりたくさんの苦情が寄せられました。