187 1946年 冯纽曼平方取中随机函数