2011-02-05から1日間の記事一覧
@kururu_goedel: Aronszajn tree作るのをちょっとごにょごにょすれば出来るかと思ったけど、そんなことはなかったぜ!状態2011-02-05 04:02:04 via Seesmic Desktop @kururu_goedel: E先生に聞かれた問題、ダイアモンド仮定すればいけそうな気がしてきたと此…
@kururu_goedel: Aronszajn tree作るのをちょっとごにょごにょすれば出来るかと思ったけど、そんなことはなかったぜ!状態2011-02-05 04:02:04 via Seesmic Desktop @kururu_goedel: E先生に聞かれた問題、ダイアモンド仮定すればいけそうな気がしてきたと此…