Pierce (2002)는 다음 과 같이 작성 하여 92 페이지 의 타이핑 관계 를 소개합니다 . "t : T"로 작성된 산술 표현식의 타이핑 관계는 항에 유형을 할당하는 일련의 추론 규칙에 의해 정의됩니다. 각주에는 기호 가 종종 : 대신 사용됩니다. 내 질문은 단순히 형식 이론가들이 왜 선호 하는가 : ? 유형 가 …
선형 방정식 시스템에 대한 Harrow, Hassidim 및 Lloyd의 논문 Quantum 알고리즘을 읽고 있습니다. 그 논문의 세 번째 페이지에는 다음으로 조건부 해밀턴 진화를 적용합니다. on | Ψ 0 ⟩ C ⊗ | B ⟩ ...∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|C⊗eiAτto/T\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}|Ψ0⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots 내 인생에서 나는 의 의미를 알 수 없다 . 거기서 뭐하는거야? 어떻게 것 …