非線形SDPに対する主双対内点法の超一次収束性 (最適化