6.5 加入数学家的工作流