数学分離基準:それらが何であるか、何のためであるか、そしてルール - 数学 - 2025