Dictionary: “確率積分”