マルチンゲール
定義は連続時間の場合と離散時間の場合で多少異なっている。