第10章 概率分配函数与正确性维持系统-《上帝们的那些事儿》