制約された動的システムとしてのAIアラインメント:投影演算子を介した推論と安全性の分離 | Synapse