証明可能な訓練可能な回転対称量子機械学習 | Synapse