そろそろεδスレか位相スレかどこかでやったほうが良い