2005-11-07から1日間の記事一覧

証明は確認してもらった。証明の細かいところを書き直して記法を統一することになったのでそこを詰める。