西村 治道 | 名古屋大学人間情報学研究科
スポンサーリンク
概要
関連著者
-
西村 治道
名古屋大学人間情報学研究科
-
小澤 正直
名古屋大学大学院情報科学研究科
-
小澤 正直
名古屋大学教養部
-
小澤 正直
名大・教養
-
小沢 正直
名古屋大学情報文化学部
-
小沢 正直
東工大・理
-
ルガル フランソワ
東京大学情報理工学系研究科
-
小林 弘忠
国立情報学研究所情報学プリンシプル研究系
-
上田 圭祐
大阪府立大学大学院理学系研究科
-
西村 治道
名古屋大学大学院情報科学研究科
-
川崎 涼
名古屋大学大学院情報科学研究科
著作論文
- Quantum Oracles and Computational Complexity (Algebraic Systems, Formal Languages and Computations)
- 量子Turing機械の局所遷移関数 (情報数理に関連する応用函数解析の研究)
- 量子コンピュータの計算量(応用函数解析の研究)
- 量子コンピュ-タの計算量
- 時間ドロボー問題の物質的ゼロ知識証明 (理論計算機科学の新展開)
- Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete
- 局所ハミルトニアンの非冗長性の計算量
- 量子コンピュータ:1.量子計算の基礎