2011-09-27から1日間の記事一覧

伊豆にきてます

雑記

ハトクラ面白いなー。 あてぃまくの、へびの補題の手前にある命題の証明をやりました。書いてあるやつがヒントになってるのですね。まぁ詳しいことはそのうち。