自動メカニズムデザインを利用した組合せオークションの