margining process used for exchange-traded derivatives ［1件マッチ］