HOME統計検定 1級 (統計数理) Autoformer 2026年5月15日 Autoencoder-based Anomaly Detection Automated Interpretability