MIYAMOTO Masayuki

Affiliation

Institute of Systems and Information Engineering

Official title

Assistant Professor

Email

%HDT<HJOJ^mi>NgONPFP=<g<>gEK

Research fields

Theory of informatics

Research projects

分散計算理論における新たな量子技法を用いたより強い量子優位性の解明	2025-07 -- 2027-03	宮本昌幸	日本学術振興会/研究活動スタート支援	1,430,000Yen

Career history

2024-04 -- 2025-03	Nagoya University;Graduate School of Mathematics;Designated Assistant Professor;

Degree

2019-03	学士（工学）	大阪府立大学
2021-03	修士（情報学）	京都大学
2024-03	Ph.D. in Mathematical Science	Nagoya University

Articles

• Distributed Complexity of -freeness: Decision and Certification
  Masayuki Miyamoto
  Proceedings of the 36th International Symposium on Algorithms and Computation (ISAAC 2025)/pp.51:1-51:21, 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

(Last updated: 2026-01-26)