民主主義の改善と安全性ついて
+サブセット工学 のようなサブセット同士の関係性を考察する知見は、ソフトウェア工学でいうマイクロサービス設計に似る。
+民主主義の形式的記述 のような民主主義を状態機械と見立てた安全性と活性の保証は、形式証明に似る。
+法と民意による2-way binding のようなソフトウェア設計論としての制度設計論は、複数人で非同期にシステムを改善する際の複雑性や安全性の制御論として有用である。
+懲罰罷免熟議と行政訴訟の役割の違い は、民主主義のsafetyとlivenessという角度から説明が可能である。 +司法の限界 も参照されたい。