2012-11-30から1日間の記事一覧

家で博論書き。昨日ドラクエ10やってしまった遅れを取り戻さんと。予備審査の段階で「定理Bは定理Aと全く同様に示せる」とか書いて省略していた定理Bの証明が実はあんまり自明でなくてここんとこ四苦八苦してたんですが、ようやく証明の目途が立ったので…