2010年12月15日のツイート
@kururu_goedel: @evinlatie それは何より。
2010-12-15 21:25:48 via TweetDeck to @evinlatie
@kururu_goedel: @evinlatie この人。現代記述集合論の立役者の一人。 URL
2010-12-15 21:15:16 via TweetDeck to @evinlatie
@kururu_goedel: @evinlatie ほい
2010-12-15 21:12:19 via TweetDeck to @evinlatie
@kururu_goedel: 自己嫌悪中
@kururu_goedel: @ytb_at_twt そうそう、そういうやつです。細部を追ったことはないのですが、お話は面白いなと思います。
2010-12-15 12:37:12 via TweetDeck to @ytb_at_twt
@kururu_goedel: Proof mining は本当に可能性ありそうだから、超準解析だけではなく、もっと色々使われるようになるかもなあみたいな。いや、超準解析はproof miningとは言わないけど。
@kururu_goedel: @patho_logic Rolsanowski先生とかTodd Eisworthとかは、いつも番号で言ってますよ。
@kururu_goedel: [grep][ack][emacs] / ackを使おう! - tototoshiの日記 URL
@kururu_goedel: @ribl_ うちは平均一日三回くらい口論しますけど。(まあこちらが一方的に罵られるんですが)
2010-12-15 00:56:08 via TweetDeck to @ribl_