标量 α_L ∈ [0,1] 可以在任何训练之前，仅从 (Φ, t_n) 中读取出来，并充当分类法推导的可计算见证。