2026年は機械学習における形式手法の年です。