Xが可測空間で、(Ai | i∈I) = λi(Ai) がXの可測集合の族とする。各Ai上に測度μiが載っていて、 λi(Ai) が被覆のとき、λi(Ai, μi) を測度被覆と呼ぶ。 測度被覆であって、各 i, j∈I に対して Ai∩Aj は μi でも μj でもゼロ集合のとき測度分割〈measure partit…

機械学習のラーナー＝オプティマイザの定式化として、Θ×(X×Y)→Θ の形を取る決定性写像である更新オペレーター〈update operator〉がある。これにドリームと呼ばれるXへの出力を付け足した Θ×(X×Y)→Θ×X を夢見る更新オペレーターと呼ぶ。U:Θ×(X×Y)→Θ×X と V:Δ…

マルコフ {圏 | 射 | 核} ボレル {{関数 | 写像} | {部分}?集合 | {可測}?空間 | 関手} チャップマン／コルモゴロフ {公式 | 結合} ディラック {測度 | 関手} ブール {{真偽}?値 | {代数 | 束} | 論理} ベイズ {{修飾 | デコレーション} | 転置 | 反転 } ク…