Jedamzik's formalism

基礎方程式として以下のものを考える

ここで P(M1|M2) は、

を意味する


赤丸がn(M)に相当するので、P(M1|M2)を求めれば、積分方程式によって n(M)が求まる