日時：9月22日（金）14:00-
場所：東京大学 生産技術研究所 An棟 An301
講師：JST ERATO 合原複雑数理モデルプロジェクト
      研究員 高橋勇人
タイトル：条件付き確率に関する乱数列の定義について

概要：
積空間上のMartin-L\"ofの意味での乱数列を考えその
セクションを条件付き確率の乱数列として定義し，その性質
について議論する．特に以下について発表する．
1. 周辺分布との関係
2. 相対化した定義との比較
3. 弱い意味でのcomplexityの分解と個別列の独立性
4. Bayes統計との関連