マイヤーソン・サタースウェイトの定理
Double auction