統計確率的な怠惰ラムダ計算法

統計確率的プログラミング言語の基本概念とそのモデルに焦点を当てる。