2011年08月20日のツイート
@kururu_goedel: Kunenはこんなところにも業績があるのか。形式的証明もやっているそうだし。RT @rmn_w RT @MathPaper: Ken Kunen: Algebraist. URL
@kururu_goedel: ω_1上のTCGをprecipitousにするやつについて質問がきた。ごめんよー、まだちゃんと書いてなくて。
@kururu_goedel: @dif_engine 多分そうですが、私には一般の数学者の感覚がわからないので……。
2011-08-20 12:30:34 via TweetDeck to @dif_engine
@kururu_goedel: @salmonsnare やあ
2011-08-20 01:37:16 via Seesmic to @salmonsnare
@kururu_goedel: はらへ
@kururu_goedel: @aoi_nagatsuki ありがとうございます、よくわかりました。競争的グラントの場合、多分バイトを雇うお金が無いので、増えた分の仕事をひたすら誰かに無給で押し付ける形になりそうでやっぱりヤバそうです。
2011-08-20 01:16:17 via Seesmic to @aoi_nagatsuki
@kururu_goedel: 同僚に、来週提出する書類を2時間徹底的に直される(特に英語)だん。