2024/02/27 更新

写真a

ニシムラ ハルミチ
西村 治道
NISHIMURA Harumichi
所属
大学院情報学研究科 数理情報学専攻 数理情報モデル論 教授
大学院担当
大学院情報科学研究科
大学院情報学研究科
学部担当
情報学部 自然情報学科
職名
教授

学位 1

  1. 博士(学術) ( 2001年3月   名古屋大学 ) 

研究キーワード 2

  1. 計算複雑さ

  2. 量子計算

現在の研究課題とSDGs 1

  1. 量子計算量理論

経歴 4

  1. 名古屋大学・准教授

    2012年4月 - 現在

      詳細を見る

    国名:日本国

  2. 大阪府立大学・講師

    2006年4月 - 2012年3月

      詳細を見る

    国名:日本国

  3. 京都大学・特任助手

    2005年10月 - 2006年3月

      詳細を見る

    国名:日本国

  4. 科学技術振興機構今井量子計算機構プロジェクト・研究員

    2004年7月 - 2005年9月

      詳細を見る

    国名:日本国

学歴 2

  1. 名古屋大学   人間情報学研究科

    - 2001年3月

      詳細を見る

    国名: 日本国

  2. 名古屋大学   理学部

    - 1994年3月

      詳細を見る

    国名: 日本国

所属学協会 2

  1. 日本数学会

  2. 情報処理学会

委員歴 5

  1. 量子情報技術研究会   委員  

    2012年11月 - 2014年11月   

  2. 量子情報技術研究会   幹事  

    2010年11月 - 2012年11月   

  3. コンピュテーション研究会   専門委員  

    2008年6月 - 2014年5月   

  4. 日本数学会数学基礎論および歴史分科会   運営委員  

    2007年10月 - 2010年9月   

  5. 量子情報技術研究会   委員  

    2006年11月 - 2010年11月   

 

論文 61

  1. Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications 査読有り

    Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura

    Leibniz International Proceedings in Informatics     2023年8月

  2. Distributed Quantum Interactive Proofs 査読有り

    Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura

    Leibniz International Proceedings in Informatics   254 巻   頁: 42:1 - 42:21   2023年3月

     詳細を見る

    記述言語:英語  

  3. Brief Announcement: Distributed Quantum Interactive Proofs 査読有り

    Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura

    Leibniz International Proceedings in Informatics   246 巻   2022年10月

  4. Quantum logarithmic space and post-selection 査読有り 国際共著

    Francois Le Gall, Harumichi Nishimura, Abuzer Yakaryilmaz

    Leibniz International Proceedings in Informatics   197 巻   2021年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)  

  5. Communication Complexity of Private Simultaneous Quantum Messages Protocols 査読有り

    Akinori Kawachi, Harumichi Nishimura

    Leibniz International Proceedings in Informatics   199 巻   2021年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)  

  6. 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月

  7. 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月

     詳細を見る

    掲載種別:研究論文(国際会議プロシーディングス)  

  8. Rational proofs for quantum computing 査読有り

    Tomoyuki Morimae, Harumichi Nishimura

    Quantum Information and Computation   20 巻   頁: 181-193   2020年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  9. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  10. Quantum Arthur-Merlin Games 査読有り

    Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura

    SIAM Journal on Computing   48 巻   頁: 865-902   2019年5月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1137/17M1160173

  11. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.4230/LIPIcs.STACS.2019.49

  12. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.22331/q-2018-11-15-106

  13. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1103/PhysRevLett.120.200502

  14. Merlinization of complexity classes above BQP 査読有り

    Tomoyuki Morimae, Harumichi Nishimura

    Quantum Information and Computation   17 巻 ( 11-12 ) 頁: 0959-0972   2017年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  15. Quantum algorithms for matrix products over semirings 査読有り

    Francois Le Gall, Harumichi Nishimura

    Chicago Journal of Theoretical Computer Science   2017 巻   2017年5月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.4086/cjtcs.2017.001

  16. Power of one nonclean qubit 査読有り

    Tomoyuki Morimae, Keisuke Fujii, Harumichi Nishimura

    Physical Review A   95 巻   2017年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1103/PhysRevA.95.042336

  17. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  18. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s00037-016-0139-6

  19. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.4230/LIPIcs.ICALP.2016.14

  20. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.4230/LIPIcs.ICALP.2016.13

  21. Quantum interpretations of AWPP and APP 査読有り

    Tomoyuki Morimae, Harumichi Nishimura

    Quantum Information and Computation   16 巻 ( 5-6 ) 頁: 498-514   2016年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  22. Quantum algorithms for finding constant-sized sub-hypergraphs 査読有り

    Francois Le Gall, Harumichi Nishimura, Seiichiro Tani

    Theoretical Computer Science   609 巻 ( 3 ) 頁: 569-582   2016年1月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2015.10.006

  23. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  24. Generalized quantum Arthur-Merlin games 査読有り

    Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura

    Leibniz International Proceedings in Informatics   33 巻   頁: 488-511   2015年6月

     詳細を見る

    記述言語:英語  

    DOI: 10.4230/LIPIcs.CCC.2015.488

  25. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1137/140971944

  26. Interactive proofs with quantum finite automata 査読有り

    Harumichi Nishimura, Tomoyuki Yamakami

    Theoretical Computer Science   568 巻   頁: 1-18   2015年2月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2014.11.030

  27. 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月

     詳細を見る

    記述言語:英語  

  28. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-319-08783-2_37

  29. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-319-08404-6_29

  30. RECOVERING STRINGS IN ORACLES: QUANTUM AND CLASSIC 招待有り

    Kazuo Iwama, Harumichi Nishimura

    International Journal of Foundations of Computer Science   24 巻 ( 7 ) 頁: 979-993   2013年11月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1142/S0129054113400261

  31. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.1109/NetCod.2013.6570840

  32. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.1145/2422436.2422475

  33. On QMA protocols with two short quantum proofs

    Francois Le Gall, Shota Nakagawa, Harumichi Nishimura

    Quantum Information & Computation   12 巻   頁: 589-600   2012年8月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  34. Quantum counterfeit coin problems

    Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Junichi Teruyama

    Theoretical Computer Science   456 巻   頁: 51-64   2012年8月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2012.05.039

  35. 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月

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-642-31155-0_34

  36. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s00145-011-9103-4

  37. 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  38. Unbounded-error quantum query complexity

    Ashley Montanaro, Harumichi Nishimura, Rudy Raymond

    Theoretical Computer Science   412 巻   頁: 4619-4628   2011年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2011.04.043

  39. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1109/ISIT.2011.6033701

  40. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-642-17517-6_10

  41. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1109/ISIT.2010.5513644

  42. An application of quantum finite automata to interactive proof systems

    Harumichi Nishimura, Tomoyuki Yamakami

    Journal of Computer and System Sciences   75 巻   頁: 255-269   2009年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.jcss.2008.12.001

  43. 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年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s11128-008-0091-8

  44. Quantum random access coding 招待有り

    Harumichi Nishimura, Rudy Raymond

    IEICE Transactions   92 巻 ( A(5) ) 頁: 1268-1275   2009年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  45. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-642-02927-1_52

  46. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-540-92182-0_80

  47. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-540-70575-8_23

  48. 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年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1088/1751-8113/41/39/395309

  49. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-540-92182-0_79

  50. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-540-77120-3_11

  51. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-540-70918-3_52

  52. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-540-73420-8_12

  53. (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年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1088/1367-2630/8/8/129

  54. Quantum computation with supplementary information 招待有り

    Harumichi Nishimura

    IPSJ Journal   46 巻   頁: 2392-2399   2005年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.2197/ipsjdc.1.407

  55. Uniformity of quantum circuit families for error-free algorithms

    Harumichi Nishimura, Masanao Ozawa

    Theoretical Computer Science   332 巻   頁: 487-496   2005年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2004.12.020

  56. Polynomial-time quantum computation with advice

    Harumichi Nishimura, Tomoyuki Yamakami

    Information Processing Letters   90 巻   頁: 195-204   2004年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.ipl.2004.02.005

  57. 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年

     詳細を見る

    記述言語:英語  

    DOI: 10.1007/978-3-540-28629-5_65

  58. Quantum Computation With Restricted Amplitudes 査読有り

    Harumichi Nishimura

    International Journal of Foundations of Computer Science   14 巻   頁: 853-870   2003年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1142/S0129054103002059

  59. On quantum one-way permutations 査読有り

    Elham Kashefi, Harumichi Nishimura, Vlatko Vedral

    Quantum Information and Computation   2 巻   頁: 379-398   2002年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  60. Computational complexity of uniform quantum circuit families and quantum Turing machines 査読有り

    Harumichi Nishimura, Masanao Ozawa

    Theoretical Computer Science   276 巻   頁: 147-181   2002年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/S0304-3975(01)00111-6

  61. Local transition functions of quantum Turing machines 査読有り

    Masanao Ozawa, Harumichi Nishimura

    RAIRO Theoretical Informatics and Applications   34 巻   頁: 379-402   2000年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1051/ita:2000123

▼全件表示

書籍等出版物 4

  1. 基礎から学ぶ量子計算

    西村治道( 担当: 単著)

    オーム社  2022年11月 

  2. 理論計算機科学事典

    西村治道( 担当: 分担執筆 ,  範囲: 3.7節 量子計算)

    朝倉書店  2022年1月 

     詳細を見る

    担当ページ:265-282   記述言語:日本語 著書種別:事典・辞書

  3. 電子情報通信学会ハンドブック「知識ベース 知識の森」 6群2編6章2節 通信計算量

    西村治道( 担当: 単著)

    電子情報通信学会  2011年 

     詳細を見る

    記述言語:日本語

  4. 電子情報通信学会ハンドブック「知識ベース 知識の森」 S2群5編3章1節 量子計算理論

    西村治道( 担当: 単著)

    電子情報通信学会  2011年 

     詳細を見る

    記述言語:日本語

MISC 2

  1. 情報と計算機

    西村治道  

    数理科学723 巻   頁: 36 - 42   2023年8月

  2. 量子回路の計算複雑性について

    西村治道  

    数学セミナー61 巻 ( 1 ) 頁: 26 - 31   2022年1月

     詳細を見る

    記述言語:日本語  

講演・口頭発表等 55

  1. Quantum distributed proofs

    Harumichi Nishimura

    NII Shonan Meeting on New Directions in Provable Quantum Advantage  2023年12月 

     詳細を見る

    開催年月日: 2023年12月

  2. Distributed Quantum Merlin-Arthur Protocols: Improvement and Extension

    Harumichi Nishimura

    Shenzhen-Nagoya Workshop on Quantum Science 2023  2023年9月 

     詳細を見る

    開催年月日: 2023年9月

  3. Power of Distributed Quantum Merlin-Arthur Proofs 国際会議

    Harumichi Nishimura

    SUSTech-Nagoya workshop on Quantum Science  2022年6月 

     詳細を見る

    開催年月日: 2022年5月 - 2022年6月

  4. 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 

     詳細を見る

    開催年月日: 2021年11月

    記述言語:英語  

  5. SMP model, PSM protocols, and their quantum analogues 国際会議

    Harumichi Nishimura

    SUSTech-Nagoya workshop on Quantum Science 

     詳細を見る

    開催年月日: 2021年6月

    記述言語:英語  

  6. 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日 

     詳細を見る

    開催年月日: 2021年1月 - 2021年2月

    会議種別:口頭発表(一般)  

  7. 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日 

     詳細を見る

    開催年月日: 2020年12月

    会議種別:口頭発表(一般)  

  8. Distributed quantum proofs for replicated data 国際共著

    Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz

    2020年10月16日 

     詳細を見る

    開催年月日: 2020年10月

    会議種別:口頭発表(一般)  

  9. 量子通信複雑性理論 招待有り

    西村治道

    京大量子情報ユニット・基研量子情報スクール  2020年7月2日 

     詳細を見る

    開催年月日: 2020年6月 - 2020年7月

    会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

  10. 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日 

     詳細を見る

    開催年月日: 2019年11月

    会議種別:口頭発表(招待・特別)  

  11. Classical verification for quantum computation 招待有り 国際会議

    Harumichi Nishimura

    Workshop on Quantum Protocols  2019年8月9日 

     詳細を見る

    開催年月日: 2019年8月

    会議種別:口頭発表(招待・特別)  

  12. Rational proofs for quantum computing

     詳細を見る

    開催年月日: 2019年5月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  13. 合理的なサーバーによる量子計算の検証

    森前智行, 西村治道

    第39回量子情報技術研究会 

     詳細を見る

    開催年月日: 2018年11月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  14. 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) 

     詳細を見る

    開催年月日: 2018年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  15. Rational proofs for quantum computing 国際会議

    Tomoyuki Morimae, Harumichi Nishimura

    18th Asian Quantum Information Science Conference (AQIS2018) 

     詳細を見る

    開催年月日: 2018年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  16. 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) 

     詳細を見る

    開催年月日: 2018年8月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:グレートブリテン・北アイルランド連合王国(英国)  

    DOI: 10.4230/LIPIcs.MFCS.2018.26

  17. 量子計算量クラスについて 招待有り

    西村治道

    ImPACT未来開拓研究会2018 

     詳細を見る

    開催年月日: 2018年5月 - 2018年6月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    開催地:富山   国名:日本国  

  18. make10の一般化について

    佐伯元春, 西村治道

    第13回組合せゲーム・パズル研究集会 

     詳細を見る

    開催年月日: 2018年3月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  19. Merlinization of complexity classes above BQP

     詳細を見る

    開催年月日: 2017年11月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  20. Modified group nonmembership is in AWPP

     詳細を見る

    開催年月日: 2017年10月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  21. Power of quantum computation with few clean qubits

     詳細を見る

    開催年月日: 2016年11月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  22. 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) 

     詳細を見る

    開催年月日: 2016年8月 - 2016年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:台湾  

  23. メモリ限定量子計算量について 招待有り

    西村治道

    研究会「量子情報と有限張理論の新展開」 

     詳細を見る

    開催年月日: 2016年8月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  24. 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) 

     詳細を見る

    開催年月日: 2016年7月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Rome, Italy   国名:イタリア共和国  

  25. 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) 

     詳細を見る

    開催年月日: 2016年7月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Rome, Italy   国名:イタリア共和国  

  26. Power of quantum computation with few clean qubits 国際会議

    Harumichi Nishimura

    Workshop around BQP 

     詳細を見る

    開催年月日: 2015年12月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  27. 量子版NPと量子版AMの計算複雑さ

    西村治道

    第33回量子情報技術研究会 

     詳細を見る

    開催年月日: 2015年11月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  28. AWPPの量子計算による解釈

    森前智行, 西村治道

    第33回量子情報技術研究会 

     詳細を見る

    開催年月日: 2015年11月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  29. クリフォードゲートのみの検証者によるQMA

    森前智行, 林正人, 西村治道, 藤井啓祐

    コンピュテーション研究会 

     詳細を見る

    開催年月日: 2015年10月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  30. AWPPの量子計算による解釈

    森前智行, 西村治道

    コンピュテーション研究会 

     詳細を見る

    開催年月日: 2015年9月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  31. Impossibility of classical simulating one-clean-qubit computation

    藤井啓祐, 小林弘忠, 森前智行, 西村治道, 玉手修平, 谷誠一郎

    コンピュテーション研究会 

     詳細を見る

    開催年月日: 2015年9月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  32. 量子計算量クラス‐PとNPの量子版とその先

    西村治道

    基礎物理学研究所研究会「量子制御技術の発展により拓かれる量子情報の新時代」 

     詳細を見る

    開催年月日: 2015年7月

    記述言語:日本語   会議種別:口頭発表(基調)  

    国名:日本国  

  33. Generalized quantum Arthur-Merlin games 国際会議

    Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura

    30th Computational Complexity Conference (CCC2015) 

     詳細を見る

    開催年月日: 2015年6月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:アメリカ合衆国  

  34. Quantum algorithms for finding constant-sized sub-hypergraphs 国際会議

    Francois Le Gall, Harumichi Nishimura, Seiichiro Tani

    18th Workshop on Quantum Information Processing 

     詳細を見る

    開催年月日: 2015年1月

    記述言語:英語   会議種別:ポスター発表  

    国名:オーストラリア連邦  

  35. Generalized quantum Arthur-Merlin games 国際会議

    Harumichi Nishimura

    Australia-Japan Workshop on Multi-user Quantum Network 

     詳細を見る

    開催年月日: 2014年10月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:オーストラリア連邦  

  36. Generalized quantum Arthur-Merlin games 国際会議

    Harumichi Nishimura

    ELC Workshop at the University of Tokyo on Quantum Computational Complexity 

     詳細を見る

    開催年月日: 2014年8月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  37. 局所ハミルトニアンの非冗長性の計算量

    川崎涼, 西村治道

    コンピュテーション研究会 

     詳細を見る

    開催年月日: 2014年6月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  38. Quantum Arthur and quantum Merlin 国際会議

    Harumichi Nishimura

    5th Nagoya Winter Workshop on Quantum Information, Measurement, and Foundations (NWW2014) 

     詳細を見る

    開催年月日: 2014年3月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  39. 定数サイズ部分ハイパーグラフ発見に対する量子アルゴリズム

    Francois Le Gall, 西村治道, 谷誠一郎

    第29回量子情報技術研究会 

     詳細を見る

    開催年月日: 2013年11月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  40. Stronger methods of making quantum interactive proofs perfectly complete

     詳細を見る

    開催年月日: 2013年6月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  41. Quantum network coding - How can network coding be applied to quantum information? 国際会議

    Harumichi Nishimura

    The 2013 IEEE International Symposium on Network Coding 

     詳細を見る

    開催年月日: 2013年6月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:カナダ  

  42. Quantum algorithms for matrix products over semirings

     詳細を見る

    開催年月日: 2013年5月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  43. 時間ドロボー問題の物質的ゼロ知識証明

    上田圭祐, 西村治道

    2012年冬のLAシンポジウム 

     詳細を見る

    開催年月日: 2013年1月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  44. Towards Perfect Completeness in QMA 国際会議

    Stephen Jordan, Hirotada Kobayashi, Francois Le Gall, Daniel Nagaj, Harumichi Nishimura.

    16th Workshop on Quantum Information Processing (QIP2013) 

     詳細を見る

    開催年月日: 2013年1月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  45. 衝突の列挙に関する量子質問計算量

    大和雅英, 西村治道

    第27回量子情報技術研究会 

     詳細を見る

    開催年月日: 2012年11月

    記述言語:日本語   会議種別:ポスター発表  

    国名:日本国  

  46. Reducing error probabilities of quantum Merlin-Arthur proof systems 国際会議

    Harumichi Nishimura

    Japan-Singapore Workshop on Multi-user Quantum Networks 

     詳細を見る

    開催年月日: 2012年9月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:シンガポール共和国  

  47. 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 

     詳細を見る

    開催年月日: 2012年7月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:フィンランド共和国  

  48. Reconstructing strings from substrings with quantum queries

    Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita

     詳細を見る

    開催年月日: 2012年4月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  49. 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 

     詳細を見る

    開催年月日: 2012年4月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:中華人民共和国  

  50. Quantum counterfeit coin problems 国際会議

    Harumichi Nishimura

    2010 International Workshop on Quantum Information Science 

     詳細を見る

    開催年月日: 2010年3月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  51. Worst-case winning probabilities for the sum of CHSH games 国際会議

    Harumichi Nishimura

    International Conference on Quantum Information and Technology 2009 

     詳細を見る

    開催年月日: 2009年12月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  52. 古典及び量子通信計算量

    西村治道

    第21回量子情報技術研究会 

     詳細を見る

    開催年月日: 2009年11月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  53. 量子コンピュータに基づく計算量理論とその周辺

    西村治道

    日本数学会 

     詳細を見る

    開催年月日: 2009年9月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  54. Quantum random access coding and its application 国際会議

    Harumichi Nishimura

    Workshop of Theory on Quantum Computation, Communication and Cryptography 2006 

     詳細を見る

    開催年月日: 2006年2月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  55. 量子計算機の数理モデルとその計算能力について

    西村治道

    日本数学会 

     詳細を見る

    開催年月日: 2005年9月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

▼全件表示

科研費 9

  1. 量子プロトコル理論の線的展開

    2016年4月 - 2021年3月

    科学研究費補助金  基盤研究(A)

    小柴健史

      詳細を見る

    担当区分:研究分担者 

  2. 量子通信及び量子計算を限定した量子対話型証明の解析

    2016年4月 - 2020年3月

    科学研究費補助金  基盤研究(C)

    西村 治道

      詳細を見る

    担当区分:研究代表者 

  3. 量子論の基礎原理に関する数学的研究

    2014年4月 - 2019年3月

    科学研究費補助金  基盤研究(A)

    小澤正直

      詳細を見る

    担当区分:研究分担者 

  4. 量子検証システムの計算量的解析

    2013年4月 - 2017年3月

    科学研究費補助金  基盤研究(C)

      詳細を見る

    担当区分:研究代表者 

  5. 量子プロトコル理論の深化

    2012年4月 - 2017年3月

    科学研究費補助金  基盤研究(A)

    小柴健史

      詳細を見る

    担当区分:研究分担者 

  6. 量子力学からの計算限界解明へのアプローチ

    2012年4月 - 2017年3月

    科学研究費補助金  新学術領域研究

    山下茂

      詳細を見る

    担当区分:研究分担者 

  7. マルチユーザ型量子ネットワーク

    2011年4月 - 2016年3月

    科学研究費補助金  基盤研究(A)

    林正人

      詳細を見る

    担当区分:研究分担者 

  8. 量子通信計算量とその応用に関する研究

    2010年4月 - 2014年3月

    科学研究費補助金  若手研究(B)

      詳細を見る

    担当区分:研究代表者 

  9. 量子情報の数学的基礎研究

    2009年4月 - 2014年3月

    科学研究費補助金  基盤研究(A)

    小澤正直

      詳細を見る

    担当区分:研究分担者 

▼全件表示

 

担当経験のある科目 (本学) 13

  1. 情報理論特論

    2016

  2. 数理情報学5

    2016

  3. 数理情報学5

    2015

  4. 微分積分学II

    2015

  5. 微分積分学I

    2015

  6. 数理情報学5

    2014

  7. 線形代数学I

    2014

  8. 情報理論特論

    2014

  9. 数理情報学5

    2013

  10. 線形代数学II

    2013

  11. 線形代数学I

    2013

  12. 線形代数学II

    2012

  13. 情報理論特論

    2012

▼全件表示