タグ付けされた質問 「notation」

Pierce（2002）は、次のように記述して、92ページのタイピング関係を紹介しています。 「t：T」と書かれた算術式の型付け関係は、用語を型に割り当てる推論規則のセットによって定義されます 脚注には、「：」の代わりに記号「がよく使用されます。私の質問は、単に型理論家が：を使用することを好む理由です。型が値のセットである場合、を記述することは完全に理にかなっています。新しい表記は必要ありません。∈∈\in∈∈\inTTTt∈Tt∈Tt \in T これは、一部のcsライターが好み、表記法の乱用であり、と書くべきだと思っているのと似ていますか？3n2=O(n2)3n2=O(n2)3n^2 = O(n^2)3n2∈O(n2)3n2∈O(n2)3n^2 \in O(n^2)

19 type-theory  notation 

私は、ハロー、ハシディム、およびロイドの論文の線形方程式系の量子アルゴリズムを読んでいます。その論文の3ページ目に、彼らは書く 次に、我々は条件付きハミルトニアン進化適用で| Ψ 0 ⟩ C ⊗ | B ⟩ ...∑T− 1τ= 0| τ⟩ ⟨ τ|C⊗ E私はA τ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 私の人生にとって、意味を理解することはできません。そこで何をしていますか？どうでしょうΣ T - 1 τ = 0 | τ ⟩ ⟨ τ | C ⊗ E I A τ T O / T（言う）上の行動| …

11 quantum-computing  notation