ツイストペア正当性定理:意思決定システムの正当性のための二層アーキテクチャ | Synapse