STDPの確率論的特徴づけ