Presentations -
-
Space Bounded Quantum Interactive Proof Systems International coauthorship International conference
Francois Le Gall, Yupan Liu, Harumichi Nishimura, Qisheng Wang
28th Quantum Information Processing Conference (QIP2025) 2025.2
-
Power and limitation of distributed quantum proofs International conference
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 International conference
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 International conference
Harumichi Nishimura
SUSTech-Nagoya workshop on Quantum Science
-
Distributed quantum proofs for replicated data International coauthorship International conference
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 International conference
Harumichi Nishimura
2nd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems 2020.12.14
-
Distributed quantum proofs for replicated data International coauthorship
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
2020.10.16
-
量子通信複雑性理論 Invited
西村治道
京大量子情報ユニット・基研量子情報スクール 2020.7.2
-
More approaches for studying classical verification of quantum computation Invited International conference
Harumichi Nishimura
1st Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems 2019.11.12
-
Classical verification for quantum computation Invited International conference
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 International conference
Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
18th Asian Quantum Information Science Conference (AQIS2018)
-
Rational proofs for quantum computing International conference
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 International conference
Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS2018)
-
量子計算量クラスについて Invited
西村治道
ImPACT未来開拓研究会2018
-
make10の一般化について
佐伯元春, 西村治道
第１３回組合せゲーム・パズル研究集会