宮本 昌幸（みやもと まさゆき）
筑波大学システム情報系 助教
メールアドレス：miyamoto@cs.tsukuba.ac.jp
経歴
2024年3月: 名古屋大学大学院多元数理科学研究科多元数理科学専攻 博士課程修了（指導教員: ルガルフランソワ教授）
2021年3月: 京都大学大学院情報学研究科通信情報システム専攻 修士課程修了（指導教員: 湊真一教授、ルガルフランソワ特定准教授）
2019年3月: 大阪府立大学工学域電気電子系学類 情報工学課程 卒業（指導教員: 岩村雅一准教授）
Publications
Distributed Complexity of $P_k$-freeness: Decision and Certification.
Masayuki Miyamoto
To appear in ISAAC 2025
Quantum Merlin-Arthur proof systems for synthesizing quantum states.
Hugo Delavenne, François Le Gall, Yupan Liu and Masayuki Miyamoto
Quantum 9, 1688 (2025). [DOI]
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications.
François Le Gall, Masayuki Miyamoto and Harumichi Nishimura
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), pp. 63:1--63:15, 2023. [DOI]
Also presented as a contributed talk at TQC 2023.
Distributed Quantum Interactive Proofs.
François Le Gall, Masayuki Miyamoto and Harumichi Nishimura
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), pp. 42:1–42:21, 2023. [DOI]
Brief announcement in Proceedings of the 36th International Symposium on Distributed Computing (DISC 2022), pp. 48:1–48:3, 2022. [DOI]
Lower Bounds for Induced Cycle Detection in Distributed Computing.
François Le Gall and Masayuki Miyamoto
Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021), pp. 58:1-58:19, 2021. [DOI]
Quantum Speedup for the Minimum Steiner Tree Problem.
Masayuki Miyamoto, Masakazu Iwamura, Koichi Kise and François Le Gall
Proceedings of the 26th International Computing and Combinatorics Conference (COCOON 2020), pp. 234-245, 2020. [DOI]
Also presented as a poster at AQIS 2019.
国内発表
宮本 昌幸,
"CONGESTモデルにおけるサイクルおよびパス発見問題の計算量について ",
第19回情報科学ワークショップ (WTCS 2023), 2023年9月.
ルガル フランソワ, 宮本 昌幸, 西村治道,
"分散量子対話型証明の並列化と応用",
冬のLAシンポジウム2022, 2023年1月.
ルガル フランソワ, 宮本 昌幸, 西村治道,
"Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications",
第47回量子情報技術研究会 (QIT47), 2022年12月.
ルガル フランソワ, 宮本 昌幸, 西村治道,
"Distributed Quantum Interactive Proofs",
第18回情報科学ワークショップ (WTCS 2022), 2022年9月. (優秀研究賞)
ルガル フランソワ, 宮本 昌幸, 西村治道,
"分散量子対話型証明",
離散数学とその応用研究集会2022 (JCCA 2022), 2022年8月.
ルガル フランソワ, 宮本 昌幸, 西村治道,
"分散量子対話型証明",
第6回量子ソフトウェア研究会, 2022年7月.
ルガル フランソワ, 宮本 昌幸,
"分散計算における誘導サイクル発見問題の下界",
電子情報通信学会コンピュテーション研究会, 2021年8月.
宮本 昌幸, 岩村雅一, 黄瀬 浩一, ルガル フランソワ,
"Quantum Speedup for the Minimum Steiner Tree Problem",
第１回量子ソフトウェア研究発表会, 2020年8月.