宮本 昌幸(ミヤモト マサユキ)

所属

システム情報系

職名

助教

eメール

)D@P8DFKFZie:JcKJLBL98c8:cAG

職歴

2024-04 -- 2025-03	名古屋大学大学院多元数理科学研究科特任助教

取得学位

2019-03	学士（工学）	大阪府立大学
2021-03	修士（情報学）	京都大学
2024-03	博士（数理学）	名古屋大学

論文

• Distributed Complexity of -freeness: Decision and Certification
  Masayuki Miyamoto
  Proceedings of the 36th International Symposium on Algorithms and Computation (ISAAC 2025), 2025-12
• Quantum Merlin-Arthur proof systems for synthesizing quantum states
  Hugo Delavenne; Francois Le Gall; Yupan Liu; Masayuki ...
  Quantum, 2025-02
• Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications
  Francois Le Gall; Masayuki Miyamoto; Harumichi Nishimura
  Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023-08
• Distributed Quantum Interactive Proofs
  Francois Le Gall; Masayuki Miyamoto; Harumichi Nishimura
  Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), 2023-03
• Brief Announcement: Distributed Quantum Interactive Proofs
  Francois Le Gall; Masayuki Miyamoto; Harumichi Nishimura
  Proceedings of the 36th International Symposium on Distributed Computing (DISC 2022)/pp.48:1-48:3, 2022-10
• Lower bounds for induced cycle detection in distributed computing
  Francois Le Gall; Masayuki Miyamoto
  Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021), 2021-12
• Quantum speedup for the minimum steiner tree problem
  Masayuki Miyamoto; Masakazu Iwamura; Koichi Kise; Fran...
  International Computing and Combinatorics Conference/pp.234-245, 2020-08

(最終更新日: 2025-09-30)