2010-01-31から1日間の記事一覧
以外にもサッと終わりました。引き続き英語化続行です。 ある補題の証明にものすごくページ数を使いました。 パソコンに打ち込んでどのくらいになるかわかりませんが, ひとつの補題の証明のために原稿用紙9枚です。ひと山越えた感じがします。 これからもう…
以外にもサッと終わりました。引き続き英語化続行です。 ある補題の証明にものすごくページ数を使いました。 パソコンに打ち込んでどのくらいになるかわかりませんが, ひとつの補題の証明のために原稿用紙9枚です。ひと山越えた感じがします。 これからもう…