A new exchange method with a refined subproblem for solving convex semi-infinite programs (最適化アルゴリズムの進展 : 理論・応用・実装 : RIMS研究集会報告集)