合意形成過程のモデリングとシミュレーション