生存関数 パスカル分布