2011年02月05日のツイート
@kururu_goedel: Aronszajn tree作るのをちょっとごにょごにょすれば出来るかと思ったけど、そんなことはなかったぜ!状態
@kururu_goedel: E先生に聞かれた問題、ダイアモンド仮定すればいけそうな気がしてきたと此処に書いておけばあとで思い出せるだろうと
@kururu_goedel: 前期は学校についてから1時間Coqの練習していたけど、今期はそんな時間全くない
@kururu_goedel: ごはん。時間食ってお腹いっぱいになればいいのに
@kururu_goedel: プリンタジャムってえらく時間食ってしまった