12.5 形式的积分