時間を超えた目標の証明可能な保持のためのAI設計 | Synapse