유한 차원 노이만 트레이스를 이용한 계산적 유일 연장 | Synapse