@kururu_goedel: まだ読み終わってないけどなんかすげーよおめーら。 URL2010-07-01 23:01:32 via Seesmic @kururu_goedel: 昨日のやつは、補題はちゃんと証明出来ていると思うのだけれども、そこから証明しようとしていた定理が本当に証明できるか自信が無…