許容される結果の構造:AI整合問題への制約ベースの提案解決策 | Synapse