副テーマ

発表のための資料作り。証明とか久しくやっていないのでどきどき。なんとかなるかなぁ。