森前智行 Morimae Tomoyuki

研究者番号	50708302
その他のID
所属 (現在)	2025年度: 京都大学, 基礎物理学研究所, 准教授
所属 (過去の研究課題情報に基づく) *注記	2019年度 – 2025年度: 京都大学, 基礎物理学研究所, 准教授 2017年度 – 2019年度: 京都大学, 基礎物理学研究所, 講師 2014年度 – 2016年度: 群馬大学, 先端科学研究指導者育成ユニット, 助教
審査区分/研究分野	研究代表者情報学基礎理論 / 学術変革領域研究区分(Ⅱ) / 理工系研究代表者以外中区分60:情報科学、情報工学およびその関連分野 / 学術変革領域研究区分(Ⅱ) / 小区分60010:情報学基礎論関連
キーワード	研究代表者量子計算 / 量子暗号 / 量子情報 / 量子コンピュータ研究代表者以外量子計算 / 量子計算複雑さ / 計算理論 / 計算資源 / 量子スピン系 / 量子ホール効果 … もっと見る / 冷却原子 / テンソルネットワーク / 物性物理 / ゲージ重力対応 / 宇宙論 / 物性理論 / 素粒子論 / 量子情報理論 / 計算量理論 / 対話型証明隠す

量子計算資源量に制約がある量子計算のための理論基盤
- 研究代表者
  
  谷誠一郎
- 研究期間 (年度)
  2022 – 2026
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  早稲田大学
   日本電信電話株式会社NTTコミュニケーション科学基礎研究所
極限宇宙の物理法則を創る－量子情報で拓く時空と物質の新しいパラダイム
- 研究代表者
  
  高柳匡
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  学術変革領域研究(A)
- 審査区分
  
  学術変革領域研究区分(Ⅱ)
- 研究機関
  京都大学
理論物理学のための量子情報理論基礎研究代表者
- 研究代表者
  
  森前智行
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  学術変革領域研究(A)
- 審査区分
  
  学術変革領域研究区分(Ⅱ)
- 研究機関
  京都大学
対話型証明の新展開－古典から量子まで
- 研究代表者
  
  西村治道
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  名古屋大学
量子対話型証明とハミルトニアンに基づく検証つきセキュアクラウド量子計算研究代表者
- 研究代表者
  
  森前智行
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
計算量的仮定に基づくノンユニバーサル量子計算の研究 -SBQPと多項式階層研究代表者
- 研究代表者
  
  森前智行
- 研究期間 (年度)
  2015 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  群馬大学
より実現しやすいクラウド量子計算の研究研究代表者
- 研究代表者
  
  森前智行
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  群馬大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014

すべて雑誌論文学会発表

[雑誌論文] Proofs of quantumness from trapdoor permutations2023
- 著者名/発表者名
  Tomoyuki Morimae, Takashi Yamakawa
- 雑誌名
  
  ITCS 2023, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, LIPIcs
  
  巻: 251
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22H00522
[雑誌論文] Proofs of Quantumness from Trapdoor Permutations2023
- 著者名/発表者名
  Tomoyuki Morimae, Takashi Yamakawa
- 雑誌名
  
  Proceedings of the 14th Innovations in Theoretical Computer Science conference (ITCS 2023)
  
  巻: -
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04066
[雑誌論文] From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments2023
- 著者名/発表者名
  Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 14004 ページ: 639-667
- DOI
  10.1007/978-3-031-30545-0_22
- ISBN
  9783031305443, 9783031305450
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22H00522
[雑誌論文] Improved Hardness Results for the Guided Local Hamiltonian Problem2023
- 著者名/発表者名
  Chris Cade, Marten Folkertsma, Sevag Gharibian, Ryu Hayakawa, Francois Le Gall, Tomoyuki Morimae, Jordi Weggemans
- 雑誌名
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  巻: 261
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22H00522
[雑誌論文] Classically Verifiable NIZK for QMA with Preprocessing2022
- 著者名/発表者名
  Tomoyuki Morimae, Takashi Yamakawa
- 雑誌名
  
  Proceedings of the 28th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT2022)
  
  巻: 4 ページ: 599-627
- DOI
  10.1007/978-3-031-22972-5_21
- ISBN
  9783031229718, 9783031229725
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04066
[雑誌論文] Certified Everlasting Zero-Knowledge Proof for QMA2022
- 著者名/発表者名
  Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
- 雑誌名
  
  Crypto 2022, Lecture Notes in Computer Science
  
  巻: 13507 ページ: 239-268
- DOI
  10.1007/978-3-031-15802-5_9
- ISBN
  9783031158018, 9783031158025
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22H00522, KAKENHI-PROJECT-19H04066, KAKENHI-PROJECT-22KJ1969
[雑誌論文] Divide-and-conquer verification method for noisy intermediate-scale quantum computation2022
- 著者名/発表者名
  Yuki Takeuchi, Yasuhiro Takahashi, Tomoyuki Morimae, Seiichiro Tani
- 雑誌名
  
  Quantum
  
  巻: 6 ページ: 758-758
- DOI
  10.22331/q-2022-07-07-758
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22H00522, KAKENHI-PLANNED-20H05966
[雑誌論文] Quantum commitments and signatures without one-way functions2022
- 著者名/発表者名
  Tomoyuki Morimae, Takashi Yamakawa
- 雑誌名
  
  Crypto 2022, Lecture Notes in Computer Science
  
  巻: 13507 ページ: 269-295
- DOI
  10.1007/978-3-031-15802-5_10
- ISBN
  9783031158018, 9783031158025
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22H00522, KAKENHI-PROJECT-19H04066
[雑誌論文] Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication2021
- 著者名/発表者名
  Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
- 雑誌名
  
  Proceedings of the 27th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT2021)
  
  巻: 1 ページ: 606-636
- DOI
  10.1007/978-3-030-92062-3_21
- ISBN
  9783030920616, 9783030920623
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04066
[雑誌論文] Rational proofs for quantum computing2020
- 著者名/発表者名
  Tomoyuki Morimae, Harumichi Nishimura
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 20 ページ: 0189-0189
- 査読あり
- データソース
  KAKENHI-PROJECT-17K12637
[雑誌論文] Rational proofs for quantum computing2020
- 著者名/発表者名
  Morimae Tomoyuki、Harumichi Nishimura
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 20 号: 3&4 ページ: 181-193
- DOI
  10.26421/qic20.3-4-1
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04066
[雑誌論文] Sumcheck-Based Delegation of Quantum Computing to Rational Server2020
- 著者名/発表者名
  Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 12337 ページ: 69-81
- DOI
  10.1007/978-3-030-59267-7_7
- ISBN
  9783030592660, 9783030592677
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04066
[雑誌論文] Impossibility of blind quantum sampling for classical client2019
- 著者名/発表者名
  Morimae Tomoyuki、Nishimura Harumichi、Takeuch Yuki、Tani Seiichiro
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 19 号: 9&10 ページ: 793-806
- DOI
  10.26421/qic19.9-10-3
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04066
[雑誌論文] Quantum computational universality of hypergraph states with pauli-X and Z basis measurements2019
- 著者名/発表者名
  Yuki Takeuchi, Tomoyuki Morimae and Masahito Hayashi
- 雑誌名
  
  Scientific Reports
  
  巻: 9 号: 1 ページ: 13585-13585
- DOI
  10.1038/s41598-019-49968-3
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17H01280, KAKENHI-PROJECT-16KT0017, KAKENHI-PROJECT-15KK0007, KAKENHI-PROJECT-19H04066
[雑誌論文] Resource-efficient verification of quantum computing using Serfling’s bound2019
- 著者名/発表者名
  Takeuchi Yuki、Mantri Atul、Morimae Tomoyuki、Mizutani Akihiro、Fitzsimons Joseph F.
- 雑誌名
  
  npj Quantum Information
  
  巻: 5 号: 1 ページ: 27-27
- DOI
  10.1038/s41534-019-0142-2
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K12637, KAKENHI-PROJECT-19H04066
[雑誌論文] Fine-grained quantum supremacy2019
- 著者名/発表者名
  Tomoyuki Morimae, Suguru Tamaki
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 19 ページ: 1089-1089
- 査読あり
- データソース
  KAKENHI-PROJECT-17K12637
[雑誌論文] Fine-grained quantum computational supremacy2019
- 著者名/発表者名
  Morimae Tomoyuki、Tamaki Suguru
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 19 号: 13&14 ページ: 1089-1115
- DOI
  10.26421/qic19.13-14-2
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04066
[雑誌論文] Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy2018
- 著者名/発表者名
  Morimae Tomoyuki、Takeuchi Yuki、Nishimura Harumichi
- 雑誌名
  
  Quantum
  
  巻: 2 ページ: 106-106
- DOI
  10.22331/q-2018-11-15-106
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K12637, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-26247016, KAKENHI-PROJECT-16K00015
[雑誌論文] Post hoc verification of quantum computing2018
- 著者名/発表者名
  Fitzsimons, Hajdusek, and Morimae
- 雑誌名
  
  Physical Review Letters
  
  巻: 120 号: 4 ページ: 040501-040501
- DOI
  10.1103/physrevlett.120.040501
- NAID
  130008153541
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K12637
[雑誌論文] Verification of Many-Qubit States2018
- 著者名/発表者名
  Takeuchi, Morimae
- 雑誌名
  
  PRX
  
  巻: 8 号: 2 ページ: 02160-02160
- DOI
  10.1103/physrevx.8.021060
- NAID
  120006491969
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K12637
[雑誌論文] Power of one nonclean qubit2017
- 著者名/発表者名
  Tomoyuki Morimae, Keisuke Fujii, Harumichi Nishimura
- 雑誌名
  
  Phys. Rev. A
  
  巻: 95 号: 4 ページ: 042336-042336
- DOI
  10.1103/physreva.95.042336
- NAID
  120006331829
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PUBLICLY-15H00850, KAKENHI-PROJECT-26730003, KAKENHI-PROJECT-16K00015, KAKENHI-PROJECT-16H02211, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-26247016
[雑誌論文] Modified group non-membership is in AWPP2017
- 著者名/発表者名
  Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 17 ページ: 0242-0242
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26730003
[雑誌論文] Modified group non-membership is in AWPP2017
- 著者名/発表者名
  Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 17 ページ: 0242-0242
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PUBLICLY-15H00850
[雑誌論文] Hardness of classically sampling one clean qubit model with constant total variation distance error2017
- 著者名/発表者名
  Morimae
- 雑誌名
  
  Physical Review A
  
  巻: 96 号: 4 ページ: 040302-040302
- DOI
  10.1103/physreva.96.040302
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K12637
[雑誌論文] Quantum interpretations of AWPP and APP2016
- 著者名/発表者名
  Morimae, Nishimura
- 雑誌名
  
  Quant. Inf. Comput.
  
  巻: 16 ページ: 0498-0498
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PUBLICLY-15H00850
[雑誌論文] Demonstration of measurement-only blind quantum computing2016
- 著者名/発表者名
  Greganti, Roehsner, Barz, Morimae, and Walther
- 雑誌名
  
  New Journal of Physics
  
  巻: 18 ページ: 013020-013020
- 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26730003
[雑誌論文] Quantum proofs can be verified using only single qubit measurements2016
- 著者名/発表者名
  Morimae, Nagaj, Schuch
- 雑誌名
  
  Phys. Rev. A
  
  巻: 93 ページ: 022326-022326
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26730003
[雑誌論文] Quantum Merlin-Arthur with Clifford Arthur2015
- 著者名/発表者名
  Morimae, Hayashi, Nishimura, Fujii
- 雑誌名
  
  Quant. Inf. Comput.
  
  巻: 15 ページ: 1420-1420
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PUBLICLY-15H00850
[雑誌論文] Verifiable measurement-only blind quantum computing with stabilizer testing2015
- 著者名/発表者名
  Hayashi, Morimae
- 雑誌名
  
  Phys. Rev. Lett.
  
  巻: 115 ページ: 220502-220502
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PUBLICLY-15H00850
[雑誌論文] Acausal measurement-based uantum computing2014
- 著者名/発表者名
  Tomoyuki Morimae
- 雑誌名
  
  Physical Review A
  
  巻: 90 ページ: 010101-010101
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26730003
[雑誌論文] Hardness of simulating one clean qubit model2014
- 著者名/発表者名
  Tomoyuki Morimae, Keisuke Fujii, Joe Fitzsimons
- 雑誌名
  
  Physical Review Letters
  
  巻: 112 ページ: 130502-130502
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26730003
[学会発表] Quantum commitments and signatures without one-way functions2023
- 著者名/発表者名
  Tomoyuki Morimae
- 学会等名
  Crypto 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PLANNED-21H05183
[学会発表] Improved Hardness Results for the Guided Local Hamiltonian Problem2023
- 著者名/発表者名
  Sevag Gharibian, Ryu Hayakawa, Francois Le Gall, Tomoyuki Morimae
- 学会等名
  26th Conference on Quantum Information Processing (QIP 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19H04066
[学会発表] Proofs of quantumness from trapdoor permutations2023
- 著者名/発表者名
  Tomoyuki Morimae
- 学会等名
  ITCS 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PLANNED-21H05183
[学会発表] Divide-and-conquer verification method for noisy intermediate-scale quantum computation2023
- 著者名/発表者名
  Yuki Takeuchi, Yasuhiro Takahashi, Tomoyuki Morimae, Seiichiro Tani
- 学会等名
  23rd Asian Quantum Information Science Conference (AQIS 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22H00522
[学会発表] Rational proofs for quantum computing2019
- 著者名/発表者名
  森前智行，西村治道
- 学会等名
  コンピュテーション研究会
- データソース
  KAKENHI-PROJECT-19H04066
[学会発表] Measurement-based quantum computing on tensor-network states2014
- 著者名/発表者名
  Tomoyuki Morimae
- 学会等名
  Tensor network states: Algorithms and Applications Institute of Physics
- 発表場所
  Chinese Academy
- 年月日
  2014-12-01
- 招待講演
- データソース
  KAKENHI-PROJECT-26730003

1. 西村治道 (70433323)

共同の研究課題数: 2件

共同の研究成果数: 3件
2. Buscemi F. (80570548)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 中田芳史 (10808992)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. ルガルフランソワ (50584299)

共同の研究課題数: 1件

共同の研究成果数: 1件
5. 小澤正直 (40126313)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 高柳匡 (10432353)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 白水徹也 (10282716)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 石橋明浩 (10469877)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 奥西巧一 (30332646)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 遊佐剛 (40393813)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 小林努 (40580212)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 手塚真樹 (40591417)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 上田宏 (40632758)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 飯塚則裕 (40645462)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 堀田知佐 (50372909)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 堀田昌寛 (60261541)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 中島秀太 (70625160)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 泉圭介 (90554501)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 西岡辰磨 (90747445)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 早川龍 (60988377)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 東浩司 (90599549)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 谷誠一郎 (70396183)

共同の研究課題数: 1件

共同の研究成果数: 2件
23. 森立平 (60732857)

共同の研究課題数: 1件

共同の研究成果数: 7件
24. 七島幹人 (90855222)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 林正人

共同の研究課題数: 0件

共同の研究成果数: 1件

森前 智行 Morimae Tomoyuki

研究課題

研究成果

共同研究者

量子計算資源量に制約がある量子計算のための理論基盤

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

極限宇宙の物理法則を創る－量子情報で拓く時空と物質の新しいパラダイム

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

理論物理学のための量子情報理論基礎研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

対話型証明の新展開－古典から量子まで

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

量子対話型証明とハミルトニアンに基づく検証つきセキュアクラウド量子計算研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算量的仮定に基づくノンユニバーサル量子計算の研究 -SBQPと多項式階層研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

より実現しやすいクラウド量子計算の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Proofs of quantumness from trapdoor permutations2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Proofs of Quantumness from Trapdoor Permutations2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Improved Hardness Results for the Guided Local Hamiltonian Problem2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Classically Verifiable NIZK for QMA with Preprocessing2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Certified Everlasting Zero-Knowledge Proof for QMA2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Divide-and-conquer verification method for noisy intermediate-scale quantum computation2022

著者名/発表者名

雑誌名

DOI

森前智行 Morimae Tomoyuki