HOME統計検定 1級 (統計数理) Optimization-based Meta-learning 2026年5月15日 Optimization on Manifolds Optional Stopping Theorem