確率的プログラミング言語
計算機構論 II
https://lecture.ecc.u-tokyo.ac.jp/~cmorihat/keisan-kikou/index.html