2010-01-31から1日間の記事一覧

もうひと手間,終了

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