คำถามติดแท็ก notation

Pierce (2002) แนะนำความสัมพันธ์การพิมพ์ในหน้า 92 ด้วยการเขียน: ความสัมพันธ์การพิมพ์สำหรับนิพจน์ทางคณิตศาสตร์ที่เขียน "t: T" ถูกกำหนดโดยชุดของกฎการอนุมานที่กำหนดประเภทให้กับคำศัพท์ และเชิงอรรถระบุว่าสัญลักษณ์มักใช้แทน:. คำถามของฉันคือเหตุผลที่นักทฤษฎีประเภทต้องการใช้: มากกว่า ? ถ้า typeเป็นชุดของค่าดังนั้นจึงเหมาะสมอย่างยิ่งที่จะเขียนไม่ต้องมีสัญลักษณ์ใหม่∈∈\in∈∈\inTTTt ∈ Tt∈Tt \in T มันคล้ายกับที่นักเขียน cs บางคนชอบถึงแม้จะคิดว่ามันเป็นการละเมิดสัญกรณ์และควรเขียน ?3 n2= O ( n2)3n2=O(n2)3n^2 = O(n^2)3 n2∈ O ( n2)3n2∈O(n2)3n^2 \in O(n^2)

19 type-theory  notation 

ฉันอ่านคราด Hassidim และลอยด์กระดาษอัลกอริทึมควอนตัมสำหรับระบบเชิงเส้นของสมการ ในหน้าสามของกระดาษพวกเขาเขียน ต่อไปเราจะใช้การวิวัฒนาการของแฮมิลตันเงื่อนไขบน| Ψ 0 ⟩ C ⊗ | b ⟩ ...ΣT- 1τ= 0| τ⟩ ⟨ τ|ค⊗ eฉันA τเสื้อโอ/ 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⟩ค⊗ | b ⟩ ...|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots สำหรับชีวิตของฉันที่ฉันไม่สามารถคิดออกความหมายของCมันทำอะไรที่นั่น? วิธีจะΣ T - 1 τ = 0 | τ ⟩ ⟨ τ | C ⊗ e i A τ …

11 quantum-computing  notation