ニセの和

画像

https://arxiv.aaorg/pdf/2006.01631.pdf

{\displaystyle p;q = q\circ p := \lambda\, x\in X. \overset{formal}{\sum_{z\in Z}}\Big(\sum_{y\in Y}q(z\mid y)p(y \mid x)\Big)\langle z \rangle }

{\displaystyle q^\# := \lambda\, \rho\in ConvConb(X). \overset{formal}{\sum_{z\in Z}}\Big(\sum_{y\in Y}q(z\mid y) \rho(y \mid x)\Big)\langle z \rangle }