タグ：#アルゴリズム憲法

形式検証によるアルゴリズム憲法と数理最適化モデル｜解釈改憲と違憲な増税を0秒で棄却する法規範