細部  確率的独立 kakuritsuteki dokuritsu stochastic independence stochastische Unabhängigkeit 解説・定義