境界付き多様体のモース理論 赤穂まなぶ 首都大学東京 大学院理工学