社会選択理論の形式化