generated at
集合と位相への理解を深める。