2010年07月01日のツイート
@kururu_goedel: まだ読み終わってないけどなんかすげーよおめーら。 URL
@kururu_goedel: 昨日のやつは、補題はちゃんと証明出来ていると思うのだけれども、そこから証明しようとしていた定理が本当に証明できるか自信が無くなってきた。
@kururu_goedel: [考え方] / 妖精を見るには妖精の目がいる @ val it: α → α = fun URL
@kururu_goedel: ミズウミ電報ブログ版 URL
@kururu_goedel: まだ読み終わってないけどなんかすげーよおめーら。 URL
@kururu_goedel: 昨日のやつは、補題はちゃんと証明出来ていると思うのだけれども、そこから証明しようとしていた定理が本当に証明できるか自信が無くなってきた。
@kururu_goedel: [考え方] / 妖精を見るには妖精の目がいる @ val it: α → α = fun URL
@kururu_goedel: ミズウミ電報ブログ版 URL