所属
大学院情報学研究科 数理情報学専攻 数理情報モデル論 教授
大学院担当
大学院情報学研究科
学部担当
情報学部 自然情報学科
職名
教授
ニシムラ ハルミチ
西村 治道
NISHIMURA Harumichi
学位 1
-
博士（学術） （ 2001年3月 名古屋大学 ）
研究キーワード 2
-
計算複雑さ
-
量子計算
現在の研究課題とSDGs 1
-
量子計算量理論
経歴 4
-
名古屋大学・准教授
2012年4月 - 現在
国名：日本国
-
大阪府立大学・講師
2006年4月 - 2012年3月
国名：日本国
-
京都大学・特任助手
2005年10月 - 2006年3月
国名：日本国
-
科学技術振興機構今井量子計算機構プロジェクト・研究員
2004年7月 - 2005年9月
国名：日本国
学歴 2
-
名古屋大学 人間情報学研究科
- 2001年3月
国名： 日本国
-
名古屋大学 理学部
- 1994年3月
国名： 日本国
所属学協会 2
-
日本数学会
-
情報処理学会
委員歴 5
-
量子情報技術研究会 委員
2012年11月 - 2014年11月
-
量子情報技術研究会 幹事
2010年11月 - 2012年11月
-
コンピュテーション研究会 専門委員
2008年6月 - 2014年5月
-
日本数学会数学基礎論および歴史分科会 運営委員
2007年10月 - 2010年9月
-
量子情報技術研究会 委員
2006年11月 - 2010年11月
論文 64
-
A Survey: SWAP Test and Its Applications to Quantum Complexity Theory
Harumichi Nishimura
Algorithmic Foundations for Social Advancement 頁： 243 - 261 2025年3月
-
Quantum Simultaneous Protocols Without Public Coins Using Modified Equality Queries 査読有り 国際共著
Francois Le Gall, Oran Nadler, Harumichi Nishimura, Rotem Oshman
Leibniz International Proceedings in Informatics 324 巻 頁： 34:1 - 34:20 2024年12月
-
On the Power of Quantum Distributed Proofs 査読有り 国際共著
Atsuya Hasegawa, Srijita Kundu, Harumichi Nishimura
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing 頁： 220 - 230 2024年6月
-
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications 査読有り
Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura
Leibniz International Proceedings in Informatics 2023年8月
-
Distributed Quantum Interactive Proofs 査読有り
Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura
Leibniz International Proceedings in Informatics 254 巻 頁： 42:1 - 42:21 2023年3月
-
Brief Announcement: Distributed Quantum Interactive Proofs 査読有り
Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura
Leibniz International Proceedings in Informatics 246 巻 2022年10月
-
Quantum logarithmic space and post-selection 査読有り 国際共著
Francois Le Gall, Harumichi Nishimura, Abuzer Yakaryilmaz
Leibniz International Proceedings in Informatics 197 巻 2021年7月
-
Communication Complexity of Private Simultaneous Quantum Messages Protocols 査読有り
Akinori Kawachi, Harumichi Nishimura
Leibniz International Proceedings in Informatics 199 巻 2021年7月
-
Distributed quantum proofs for replicated data 査読有り 国際共著
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
Leibniz International Proceedings in Informatics 185 巻 頁： 28:1 - 28:20 2021年1月
-
Brief Announcement: Distributed quantum proofs for replicated data 査読有り 国際共著
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
Leibniz International Proceedings in Informatics 179 巻 頁： 43:1 - 43:3 2020年10月
-
Rational proofs for quantum computing 査読有り
Tomoyuki Morimae, Harumichi Nishimura
Quantum Information and Computation 20 巻 頁： 181-193 2020年4月
-
Impossibility of blind quantum sampling for classical client 査読有り
Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi, Seiichiro Tani
Quantum Information and Computation 19 巻 頁： 793-806 2019年8月
-
Quantum Arthur-Merlin Games 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
SIAM Journal on Computing 48 巻 頁： 865-902 2019年5月
-
Quantum advantage for the LOCAL model in distributed computing 査読有り
Francois Le Gall, Harumichi Nishimura, Ansis Rosmanis
Leibniz International Proceedings in Informatics 126 巻 頁： 49:1-49:14 2019年3月
-
Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy
Tomoyuki Morimae, Yuki Takeuchi, Harumichi Nishimura
Quantum 2 巻 2018年11月
-
Impossibility of classically simulating one-clean-qubit model with multiplicative error
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
Physical Review Letters 120 巻 2018年5月
-
Merlinization of complexity classes above BQP 査読有り
Tomoyuki Morimae, Harumichi Nishimura
Quantum Information and Computation 17 巻 ( 11-12 ) 頁： 0959-0972 2017年9月
-
Quantum algorithms for matrix products over semirings 査読有り
Francois Le Gall, Harumichi Nishimura
Chicago Journal of Theoretical Computer Science 2017 巻 2017年5月
-
Power of one nonclean qubit 査読有り
Tomoyuki Morimae, Keisuke Fujii, Harumichi Nishimura
Physical Review A 95 巻 2017年4月
-
Modified group non-membership is in promise-AWPP relative to group oracles 査読有り
Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
Quantum Information and Computation 17 巻 ( 3-4 ) 頁： 242-250 2017年3月
-
Quantum query complexity of almost all functions with fixed on-set size 査読有り
Andris Ambainis, Kazuo Iwama, Masaki Nakanishi, Harumichi Nishimura, Rudy Raymond, Seiichiro Tani, Shigeru Yamashita
Computational Complexity 25 巻 ( 4 ) 頁： 723-735 2016年12月
-
Space-Efficient Error Reduction for Unitary Quantum Computations 査読有り
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
Leibniz International Proceedings in Informatics 55 巻 頁： 14:1-14:14 2016年7月
-
Power of quantum computation with few clean qubits 査読有り
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
Leibniz International Proceedings in Informatics 55 巻 頁： 13:1-13:14 2016年7月
-
Quantum interpretations of AWPP and APP 査読有り
Tomoyuki Morimae, Harumichi Nishimura
Quantum Information and Computation 16 巻 ( 5-6 ) 頁： 498-514 2016年4月
-
Quantum algorithms for finding constant-sized sub-hypergraphs 査読有り
Francois Le Gall, Harumichi Nishimura, Seiichiro Tani
Theoretical Computer Science 609 巻 ( 3 ) 頁： 569-582 2016年1月
-
Quantum Merlin-Arthur with Clifford Arthur
Tomoyuki Morimae, Masahito Hayashi, Harumichi Nishimura, Keisuke Fujii
Quantum Information and Computation 15 巻 ( 15-16 ) 頁： 1420-1430 2015年11月
-
Generalized quantum Arthur-Merlin games 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
Leibniz International Proceedings in Informatics 33 巻 頁： 488-511 2015年6月
-
Stronger methods of making quantum interactive proofs perfectly complete 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
SIAM Journal on Computing 44 巻 ( 2 ) 頁： 243-289 2015年3月
-
Interactive proofs with quantum finite automata 査読有り
Harumichi Nishimura, Tomoyuki Yamakami
Theoretical Computer Science 568 巻 頁： 1-18 2015年2月
-
Quantum network coding and the current status of its studies 招待有り
Harumichi Nishimura
Proceedings of the International Symposium on Information Theory and Its Applications (ISITA2014) 頁： 331-334 2014年10月
-
Quantum algorithms for finding constant-sized subgraphs
Francois Le Gall, Harumichi Nishimura, Seiichiro Tani
Lecture Notes in Computer Science (Proceedings of 20th International Conference on Computing and Combinatorics) 8591 巻 頁： 429-440 2014年8月
-
Quantum algorithms for matrix product over semirings
Francois Le Gall, Harumichi Nishimura
Lecture Notes in Computer Science (Proceedings of 14th Scandinavian Symposium and Workshops) 8503 巻 頁： 331-343 2014年7月
-
RECOVERING STRINGS IN ORACLES: QUANTUM AND CLASSIC 招待有り
Kazuo Iwama, Harumichi Nishimura
International Journal of Foundations of Computer Science 24 巻 ( 7 ) 頁： 979-993 2013年11月
-
Quantum network coding - How can network coding be applied to quantum information? 招待有り
Harumichi Nishimura
Proceedings of the 2013 IEEE International Symposium on Network Coding 2013年6月
-
Stronger methods of making quantum interactive proofs perfectly complete 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
Proceedings of the 4th ACM Conference on Innovations in Theoretical Computer Science Conference (ITCS2013) 頁： 329-352 2013年1月
-
On QMA protocols with two short quantum proofs
Francois Le Gall, Shota Nakagawa, Harumichi Nishimura
Quantum Information & Computation 12 巻 頁： 589-600 2012年8月
-
Quantum counterfeit coin problems
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Junichi Teruyama
Theoretical Computer Science 456 巻 頁： 51-64 2012年8月
-
Computational indistinguishability between quantum states and its cryptographic application
Akinori Kawachi, Takeshi Koshiba, Harumichi Nishimura, Tomoyuki Yamakami
Journal of Cryptology 25 巻 頁： 528-555 2012年7月
-
Reconstructing strings from substrings with quantum queries
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 13th Scandinavian Symposium and Workshops) 7357 巻 頁： 622-633 2012年7月
-
Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems
Stephen P. Jordan, Hirotada Kobayashi, Daniel Nagaj, Harumichi Nishimura
Quantum Information & Computation 12 巻 頁： 461-471 2012年6月
-
Unbounded-error quantum query complexity
Ashley Montanaro, Harumichi Nishimura, Rudy Raymond
Theoretical Computer Science 412 巻 頁： 4619-4628 2011年
-
Constructing quantum network coding schemes from classical nonlinear protocols
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
Proceedings of IEEE International Symposium on Information Theory 2011 頁： 109-113 2011年
-
Quantum counterfeit coin problems
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Junichi Teruyama
Lecture Notes in Computer Science (Proceedings of 21st International Symposium on Algorithms and Computation) 6506 巻 頁： 73-84 2010年
-
Perfect quantum network communication protocol based on classical network coding
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
Proceedings of IEEE International Symposium on Information Theory 2010 頁： 2686-2690 2010年
-
An application of quantum finite automata to interactive proof systems
Harumichi Nishimura, Tomoyuki Yamakami
Journal of Computer and System Sciences 75 巻 頁： 255-269 2009年
-
Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families
Harumichi Nishimura, Masanao Ozawa
Quantum Information Processing 8 巻 頁： 13-24 2009年
-
Quantum random access coding 招待有り
Harumichi Nishimura, Rudy Raymond
IEICE Transactions 92 巻 ( A(5) ) 頁： 1268-1275 2009年
-
General scheme for perfect quantum network coding with free classical communication
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
Lecture Notes in Computer Science (Proceedings of 36th International Colloquium on Automata, Languages and Programming) 5555 巻 頁： 622-633 2009年
-
Unbounded-error quantum query complexity
Ashley Montanaro, Harumichi Nishimura, Rudy Raymond
Lecture Notes in Computer Science (Proceedings of 19th International Symposium on Algorithms and Computation) 5369 巻 頁： 919-930 2008年
-
Polynomial-time construction of linear network coding
Kazuo Iwama, Harumichi Nishimura, Mike Paterson, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 35th International Colloquium on Automata, Languages and Programming) 5125 巻 頁： 271-282 2008年
-
The efficiency of quantum identity testing of multiple states
Masaru Kada, Harumichi Nishimura, Tomoyuki Yamakami
Journal of Physics A: Mathematical and Theoretical 41 巻 ( Article no. 395309 ) 頁： 1-13 2008年
-
Quantum query complexity of Boolean functions with small on-sets
Andris Ambainis, Kazuo Iwama, Masaki Nakanishi, Harumichi Nishimura, Rudy Raymond, Seiichiro Tani, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 19th International Symposium on Algorithms and Computation) 5369 巻 頁： 907-918 2008年
-
Unbounded-error classical and quantum communication complexity
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 18th International Symposium on Algorithms and Computation) 4835 巻 頁： 100-111 2007年
-
Quantum network coding
Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 24th Annual Symposium on Theoretical Aspects of Computer Science) 4393 巻 頁： 610-621 2007年
-
Unbounded-error one-way classical and quantum communication complexity
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 34th International Colloquium on Automata, Languages and Programming) 4596 巻 頁： 110-121 2007年
-
(4,1)-quantum random access coding does not exist - one qubit is not enough to recover one of four bits
Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
New Journal of Physics 8 巻 ( Article no. 129 ) 頁： 1-11 2006年
-
Quantum computation with supplementary information 招待有り
Harumichi Nishimura
IPSJ Journal 46 巻 頁： 2392-2399 2005年
-
Uniformity of quantum circuit families for error-free algorithms
Harumichi Nishimura, Masanao Ozawa
Theoretical Computer Science 332 巻 頁： 487-496 2005年
-
Polynomial-time quantum computation with advice
Harumichi Nishimura, Tomoyuki Yamakami
Information Processing Letters 90 巻 頁： 195-204 2004年
-
An Algorithmic Argument for Nonadaptive Query Complexity Lower Bounds on Advised Quantum Computation 査読有り
Harumichi Nishimura, Tomoyuki Yamakami
Lecture Notes in Computer Science (Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science) 3153 巻 頁： 827-838 2004年
-
Quantum Computation With Restricted Amplitudes 査読有り
Harumichi Nishimura
International Journal of Foundations of Computer Science 14 巻 頁： 853-870 2003年
-
On quantum one-way permutations 査読有り
Elham Kashefi, Harumichi Nishimura, Vlatko Vedral
Quantum Information and Computation 2 巻 頁： 379-398 2002年
-
Computational complexity of uniform quantum circuit families and quantum Turing machines 査読有り
Harumichi Nishimura, Masanao Ozawa
Theoretical Computer Science 276 巻 頁： 147-181 2002年
-
Local transition functions of quantum Turing machines 査読有り
Masanao Ozawa, Harumichi Nishimura
RAIRO Theoretical Informatics and Applications 34 巻 頁： 379-402 2000年
書籍等出版物 4
-
基礎から学ぶ量子計算
西村治道（ 担当： 単著）
オーム社 2022年11月
-
理論計算機科学事典
西村治道（ 担当： 分担執筆 , 範囲: 3.7節 量子計算）
朝倉書店 2022年1月
-
電子情報通信学会ハンドブック「知識ベース 知識の森」 S2群5編3章1節 量子計算理論
西村治道（ 担当： 単著）
電子情報通信学会 2011年
-
電子情報通信学会ハンドブック「知識ベース 知識の森」 6群2編6章2節 通信計算量
西村治道（ 担当： 単著）
電子情報通信学会 2011年
MISC 2
-
情報と計算機
西村治道
数理科学723 巻 頁： 36 - 42 2023年8月
-
量子回路の計算複雑性について
西村治道
数学セミナー61 巻 ( 1 ) 頁： 26 - 31 2022年1月
講演・口頭発表等 57
-
Space Bounded Quantum Interactive Proof Systems 国際共著 国際会議
Francois Le Gall, Yupan Liu, Harumichi Nishimura, Qisheng Wang
28th Quantum Information Processing Conference (QIP2025) 2025年2月
-
Power and limitation of distributed quantum proofs 国際会議
Harumichi Nishimura
Shenzhen-Nagoya Workshop on Quantum Science 2024 2024年9月19日
-
Quantum distributed proofs
Harumichi Nishimura
NII Shonan Meeting on New Directions in Provable Quantum Advantage 2023年12月
-
Distributed Quantum Merlin-Arthur Protocols: Improvement and Extension
Harumichi Nishimura
Shenzhen-Nagoya Workshop on Quantum Science 2023 2023年9月
-
Power of Distributed Quantum Merlin-Arthur Proofs 国際会議
Harumichi Nishimura
SUSTech-Nagoya workshop on Quantum Science 2022年6月
-
Simultaneous Message Passing Models and Private Simultaneous Messages Protocols with Shared Entanglement
Harumichi Nishimura
3rd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems
-
SMP model, PSM protocols, and their quantum analogues 国際会議
Harumichi Nishimura
SUSTech-Nagoya workshop on Quantum Science
-
Distributed quantum proofs for replicated data 国際共著 国際会議
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
24th Annual Conference on Quantum Information Processing 2021年2月5日
-
SWAP test and its applications to quantum distribued computing 国際会議
Harumichi Nishimura
2nd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems 2020年12月14日
-
Distributed quantum proofs for replicated data 国際共著
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
2020年10月16日
-
量子通信複雑性理論 招待有り
西村治道
京大量子情報ユニット・基研量子情報スクール 2020年7月2日
-
More approaches for studying classical verification of quantum computation 招待有り 国際会議
Harumichi Nishimura
1st Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems 2019年11月12日
-
Classical verification for quantum computation 招待有り 国際会議
Harumichi Nishimura
Workshop on Quantum Protocols 2019年8月9日
-
Rational proofs for quantum computing
-
合理的なサーバーによる量子計算の検証
森前智行, 西村治道
第39回量子情報技術研究会
-
Interactive proofs with polynomial-time quantum prover for computing the order of solvable groups 国際会議
Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
18th Asian Quantum Information Science Conference (AQIS2018)
-
Rational proofs for quantum computing 国際会議
Tomoyuki Morimae, Harumichi Nishimura
18th Asian Quantum Information Science Conference (AQIS2018)
-
Interactive proofs with polynomial-time quantum prover for computing the order of solvable groups 国際会議
Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS2018)
-
量子計算量クラスについて 招待有り
西村治道
ImPACT未来開拓研究会2018
-
make10の一般化について
佐伯元春, 西村治道
第１３回組合せゲーム・パズル研究集会
-
Merlinization of complexity classes above BQP
-
Modified group nonmembership is in AWPP
-
Power of quantum computation with few clean qubits
-
Space-efficient error reduction for unitary quantum computations 国際会議
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
16th Asian Quantum Information Science Conference (AQIS2016)
-
メモリ限定量子計算量について 招待有り
西村治道
研究会「量子情報と有限張理論の新展開」
-
Power of quantum computation with few clean qubits 国際会議
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
43rd International Colloquium on Automata, Languages, and Programming (ICALP2016)
-
Space-efficient error reduction for unitary quantum computations 国際会議
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
43rd International Colloquium on Automata, Languages, and Programming (ICALP2016)
-
Power of quantum computation with few clean qubits 国際会議
Harumichi Nishimura
Workshop around BQP
-
量子版NPと量子版AMの計算複雑さ
西村治道
第３３回量子情報技術研究会
-
AWPPの量子計算による解釈
森前智行, 西村治道
第３３回量子情報技術研究会
-
クリフォードゲートのみの検証者によるQMA
森前智行, 林正人, 西村治道, 藤井啓祐
コンピュテーション研究会
-
AWPPの量子計算による解釈
森前智行, 西村治道
コンピュテーション研究会
-
Impossibility of classical simulating one-clean-qubit computation
藤井啓祐, 小林弘忠, 森前智行, 西村治道, 玉手修平, 谷誠一郎
コンピュテーション研究会
-
量子計算量クラス‐PとNPの量子版とその先
西村治道
基礎物理学研究所研究会「量子制御技術の発展により拓かれる量子情報の新時代」
-
Generalized quantum Arthur-Merlin games 国際会議
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
30th Computational Complexity Conference (CCC2015)
-
Quantum algorithms for finding constant-sized sub-hypergraphs 国際会議
Francois Le Gall, Harumichi Nishimura, Seiichiro Tani
18th Workshop on Quantum Information Processing
-
Generalized quantum Arthur-Merlin games 国際会議
Harumichi Nishimura
Australia-Japan Workshop on Multi-user Quantum Network
-
Generalized quantum Arthur-Merlin games 国際会議
Harumichi Nishimura
ELC Workshop at the University of Tokyo on Quantum Computational Complexity
-
局所ハミルトニアンの非冗長性の計算量
川崎涼, 西村治道
コンピュテーション研究会
-
Quantum Arthur and quantum Merlin 国際会議
Harumichi Nishimura
5th Nagoya Winter Workshop on Quantum Information, Measurement, and Foundations (NWW2014)
-
定数サイズ部分ハイパーグラフ発見に対する量子アルゴリズム
Francois Le Gall, 西村治道, 谷誠一郎
第２９回量子情報技術研究会
-
Stronger methods of making quantum interactive proofs perfectly complete
-
Quantum network coding - How can network coding be applied to quantum information? 国際会議
Harumichi Nishimura
The 2013 IEEE International Symposium on Network Coding
-
Quantum algorithms for matrix products over semirings
-
時間ドロボー問題の物質的ゼロ知識証明
上田圭祐, 西村治道
2012年冬のLAシンポジウム
-
Towards Perfect Completeness in QMA 国際会議
Stephen Jordan, Hirotada Kobayashi, Francois Le Gall, Daniel Nagaj, Harumichi Nishimura.
16th Workshop on Quantum Information Processing (QIP2013)
-
衝突の列挙に関する量子質問計算量
大和雅英, 西村治道
第27回量子情報技術研究会
-
Reducing error probabilities of quantum Merlin-Arthur proof systems 国際会議
Harumichi Nishimura
Japan-Singapore Workshop on Multi-user Quantum Networks
-
Reconstructing strings from substrings with quantum queries 国際会議
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
13th Scandinavian Symposium and Workshop
-
Reconstructing strings from substrings with quantum queries
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
-
Improved quantum algorithms for reconstructing strings from substrings 国際会議
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
5th Annual Meetings of the Asian Association for Algorithms and Computation
-
Quantum counterfeit coin problems 国際会議
Harumichi Nishimura
2010 International Workshop on Quantum Information Science
-
Worst-case winning probabilities for the sum of CHSH games 国際会議
Harumichi Nishimura
International Conference on Quantum Information and Technology 2009
-
古典及び量子通信計算量
西村治道
第２１回量子情報技術研究会
-
量子コンピュータに基づく計算量理論とその周辺
西村治道
日本数学会
-
Quantum random access coding and its application 国際会議
Harumichi Nishimura
Workshop of Theory on Quantum Computation, Communication and Cryptography 2006
-
量子計算機の数理モデルとその計算能力について
西村治道
日本数学会
科研費 9
-
量子プロトコル理論の線的展開
2016年4月 - 2021年3月
科学研究費補助金 基盤研究(A)
小柴健史
担当区分：研究分担者
-
量子通信及び量子計算を限定した量子対話型証明の解析
2016年4月 - 2020年3月
科学研究費補助金 基盤研究(C)
西村 治道
担当区分：研究代表者
-
量子論の基礎原理に関する数学的研究
2014年4月 - 2019年3月
科学研究費補助金 基盤研究(A)
小澤正直
担当区分：研究分担者
-
量子検証システムの計算量的解析
2013年4月 - 2017年3月
科学研究費補助金 基盤研究(C)
担当区分：研究代表者
-
量子プロトコル理論の深化
2012年4月 - 2017年3月
科学研究費補助金 基盤研究(A)
小柴健史
担当区分：研究分担者
-
量子力学からの計算限界解明へのアプローチ
2012年4月 - 2017年3月
科学研究費補助金 新学術領域研究
山下茂
担当区分：研究分担者
-
マルチユーザ型量子ネットワーク
2011年4月 - 2016年3月
科学研究費補助金 基盤研究(A)
林正人
担当区分：研究分担者
-
量子通信計算量とその応用に関する研究
2010年4月 - 2014年3月
科学研究費補助金 若手研究(B)
担当区分：研究代表者
-
量子情報の数学的基礎研究
2009年4月 - 2014年3月
科学研究費補助金 基盤研究(A)
小澤正直
担当区分：研究分担者
担当経験のある科目 (本学) 13
-
情報理論特論
2016
-
数理情報学５
2016
-
数理情報学５
2015
-
微分積分学II
2015
-
微分積分学I
2015
-
数理情報学５
2014
-
線形代数学I
2014
-
情報理論特論
2014
-
数理情報学5
2013
-
線形代数学II
2013
-
線形代数学I
2013
-
線形代数学II
2012
-
情報理論特論
2012