ビザンチン将軍問題の解法に基づいた計算可能な計算可能な複雑系としての社会契約 Social Contract as a computable complex system based on the solution of Byzantine Generals Problem TODO