Stan 是一种用于数据分析的概率编程语言，可为一大类统计模型实现自动推断。