ふー、やっと見つかった。条件付き確率の計算に積分が出てくるのですが、行列計算（古典テンソル計算）と同じように計算したかったのです。なんかポイントになる公式があるのだろうと探ってみて、随伴性がミソらしいと見当が付きました。定式化を見つける試…