自動交渉機構による交渉理論の展開：マルチエージェントシステムを用いた合意形成シミュレーション