HOME統計検定 1級 (統計数理) Floating Point Quantization 2026年5月15日 Floating Point Arithmetic Flow-based Models