小林弘忠 KOBAYASHI Hirotada

研究者番号	60413936
所属 (現在)	2025年度: 国立情報学研究所, 情報学プリンシプル研究系, 特任研究員
所属 (過去の研究課題情報に基づく) *注記	2021年度: 国立情報学研究所, 情報学プリンシプル系, 特任研究員 2016年度: 国立情報学研究所, 情報学プリンシプル系, 特任研究員 2016年度: 国立情報学研究所, 情報学プリンシプル研究系, 特任研究員 2014年度 – 2016年度: 国立情報学研究所, 情報学プリンシプル研究系, 研究員 2013年度: 国立情報学研究所, 大学共同利用機関等の部局等, 研究員 … もっと見る 2012年度: 国立情報学研究所, 情報学プリンシプル研究系, 研究員 2011年度: 国立情報学研究所, 情報学プリンシプル研究系, 研究員 2011年度: 国立情報学研究所, 情報学プリンシプル系, 研究員 2010年度: 埼玉大学, 国立情報学研究所, 研究員 2006年度 – 2009年度: 国立情報学研究所, プロジェクト研究員隠す
審査区分/研究分野	研究代表者以外情報学基礎 / 理工系 / 情報学基礎理論
キーワード	研究代表者以外量子計算 / 量子アルゴリズム / 量子暗号 / 量子情報 / 暗号理論 / 計算量理論 / 量子計算量理論 / エンタングルメント / 対話証明 / 量子情報理論 … もっと見る / 量子通信 / プロトコル / ゲーム理論 / 量子プロトコル / 量子回路 / 量子対話型証明 / 計算モデル / 量子力学 / 計算の複雑さ / 暗号プロトコル / 分散計算 / 分散アルゴリズム / 通信計算量 / 質問計算料 / 通信複雑度 / 秘匿情報検索 / 量子対話証明 / 脱乱択化 / ネットワーク符号 / 隠れ部分群 / 量子計算理論隠す

量子プロトコル理論の線的展開
- 研究代表者
  
  小柴健史
- 研究期間 (年度)
  2016 – 2020
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎理論
- 研究機関
  早稲田大学
   埼玉大学
量子プロトコル理論の深化
- 研究代表者
  
  小柴健史
- 研究期間 (年度)
  2012 – 2015
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎
- 研究機関
  埼玉大学
量子力学からの計算限界解明へのアプローチ
- 研究代表者
  
  山下茂
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  立命館大学
量子情報理論と量子計算量理論の融合技術の展開
- 研究代表者
  
  小柴健史
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  埼玉大学
量子情報理論と量子計算量理論の融合とその応用
- 研究代表者
  
  小柴健史
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  埼玉大学

すべて 2019 2018 2016 2015 2013 2012 2011 2010 2009 2008 2007 その他

すべて雑誌論文学会発表

[雑誌論文] Generalized quantum Arthur-Merlin games2019
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
- 雑誌名
  
  SIAM Journal on Computing
  
  巻: 48 号: 3 ページ: 865-902
- DOI
  10.1137/17m1160173
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-16H05853, KAKENHI-PROJECT-19H04066
[雑誌論文] Impossibility of Classically Simulating One-Clean-Qubit Model with Multiplicative Error2018
- 著者名/発表者名
  Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
- 雑誌名
  
  Physical Review Letters
  
  巻: 120 号: 20 ページ: 200502-200502
- DOI
  10.1103/physrevlett.120.200502
- NAID
  120006533116
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-16H02211, KAKENHI-PROJECT-26247016, KAKENHI-PROJECT-16K00015
[雑誌論文] Space-Efficient Error Reduction for Unitary Quantum Computations2016
- 著者名/発表者名
  Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
- 雑誌名
  
  Leibniz International Proceedings in Informatics (ICALP 2016)
  
  巻: 55
- DOI
  10.4230/LIPIcs.ICALP.2016.14
- 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16H01705
[雑誌論文] Power of Quantum Computation with Few Clean Qubits2016
- 著者名/発表者名
  Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
- 雑誌名
  
  Leibniz International Proceedings in Informatics (ICALP 2016)
  
  巻: 55
- DOI
  10.4230/LIPIcs.ICALP.2016.13
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-16H02211
[雑誌論文] Generalized Arthur-Merlin games2015
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
- 雑誌名
  
  Leibniz International Proceedings in Informatics (30th Conference on Computational Complexity (CCC2015))
  
  巻: 33 ページ: 488-511
- DOI
  10.4230/LIPIcs.CCC.2015.488
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-24240001, KAKENHI-PROJECT-24700005, KAKENHI-PROJECT-15H01677
[雑誌論文] Generalized Quantum Arthur-Merlin Games2015
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, and Harumichi Nishimura
- 雑誌名
  
  Proceedings of the 30th Conference on Computational Complexity, CCC 2015, Leibniz International Proceedings in Informatics
  
  巻: 未定
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PLANNED-24106009
[雑誌論文] Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete.2015
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall and Harumichi Nishimura.
- 雑誌名
  
  SIAM Journal on Computing, published online
  
  巻: - 号: 2 ページ: 243-289
- DOI
  10.1137/140971944
- NAID
  110009779047
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-23246071, KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-24240001, KAKENHI-PROJECT-25330012, KAKENHI-PROJECT-26247016
[雑誌論文] Stronger methods of making quantum interactive proofs perfectly complete2013
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
- 雑誌名
  
  Proceedings of the 4th ACM Conference on Innovations in Theoretical Computer Science
  
  巻: 4 ページ: 329-352
- DOI
  10.1145/2422436.2422475
- NAID
  110009779047
- 査読あり
- データソース
  KAKENHI-PROJECT-21244007, KAKENHI-PROJECT-22700014, KAKENHI-PLANNED-24106009
[雑誌論文] Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems2012
- 著者名/発表者名
  S.P.Jordan, H.Kobayashi, D.Nagaj, H.Nishimura
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 12 ページ: 461-471
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems2012
- 著者名/発表者名
  Stephen P. Jordan, Hirotada Kobayashi, Daniel Nagaj, and Harumichi Nishimura
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 12 ページ: 461-471
- 査読あり
- データソース
  KAKENHI-PROJECT-24240001
[雑誌論文] Quantum Merlin-Arthur Proof Systems : Are Multiple Merlins More Helpful to Arthur?2009
- 著者名/発表者名
  Hirotada Kobayashi, Keiji Matsumoto, Tomoyuki Yamakami
- 雑誌名
  
  Chicago Journal of Theoretical Computer Science
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] General scheme for perfect quantum network coding with free classical communication2009
- 著者名/発表者名
  H. Kobayashi, F. Le Gall, H. Nishimura, M.Rotteler
- 雑誌名
  
  Lecture Notes in Computer Science 5555 (ICALP 2009)
  
  ページ: 622-633
- NAID
  110007227302
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] Using entanglement in quantum multi-prover interactive proofs2009
- 著者名/発表者名
  J. Kempe, H. Kobayashi, K. Matsumoto, T.Vidick
- 雑誌名
  
  Computational Complexity
  
  巻: 18 ページ: 273-307
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] Quantum Merlin-Arthur proof systems: Are multiple Merlins more helpful to Arthur?2009
- 著者名/発表者名
  H. Kobayashi, K. Matsumoto, T. Yamakami
- 雑誌名
  
  Chicago Journal of Theoretical ComputerScience, Article 3
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] Using Entanglement in Quantum Multi-Prover Interactive Proofs2009
- 著者名/発表者名
  Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick
- 雑誌名
  
  Computational Complexity 18
  
  ページ: 273-307
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies2009
- 著者名/発表者名
  Tsuyoshi Ito, Hirotada Kobayashi, Keiji Matsumoto
- 雑誌名
  
  Proc.24th Annual IEEE Conference on Computational Complexity
  
  ページ: 217-228
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] General Scheme for Perfect Quantum Network Coding with Free Classical Communication2009
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
- 雑誌名
  
  Lecture Notes in Computer Science 5555
  
  ページ: 622-633
- NAID
  110007227302
- 査読あり
- データソース
  KAKENHI-PROJECT-21300002
[雑誌論文] Generalized Tsirelson inequalities, commuting-operator provers, and multi-prover interactive proof systems2008
- 著者名/発表者名
  Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun, Andrew C. -C. Yao
- 雑誌名
  
  Proc. Twenty-Third Annual IEEE Conference on Computational Complexity
  
  ページ: 187-198
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Using entanglement in quantum multi-prover interacitve proofs2008
- 著者名/発表者名
  J. Kempe, H. Kobayashi, K. Matsumoto, T. Vidick
- 雑誌名
  
  Proc.23^<rd> Annual IEEE Conference on Computational Complexity
  
  ページ: 211-222
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Using entanglement in quantum multi-prover interactive proofs2008
- 著者名/発表者名
  Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick
- 雑誌名
  
  Proc. Twenty-Third Annual IEEE Conference on Computational Complexity
  
  ページ: 211-222
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Quantum Measurements for Hidden Subgroup Problems with Optimal Sample Complexity2008
- 著者名/発表者名
  M.Hayashi, A.Kawachi, H.Kobayashi
- 雑誌名
  
  Quantum Information and Computation 8(3-4)
  
  ページ: 345-358
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Quantum measurements for hidden subgroup problems with optimal sample complexity2008
- 著者名/発表者名
  M. Hayashi, A. Kawachi, H. Kobayashi
- 雑誌名
  
  Quantum Information and Computation Vol.8
  
  ページ: 345-358
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Quantum measurements for hidden subgroup problems with optimal sample complexity2008
- 著者名/発表者名
  M. Hayashi, A. Kawachi, H. Kobayashi
- 雑誌名
  
  Quantum Information and Computation Vol. 8
  
  ページ: 345-358
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Quantum Measurements for Hidden Subgroup Problems with Optimal Sample Complexity2008
- 著者名/発表者名
  Masahito Hayashi, Akinori Kawachi, Hirotada Kobayashi
- 雑誌名
  
  Quantum Information and Computation Journal 8
  
  ページ: 345-358
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Generalized Tsirelson inequalities, commuting-operator provers, and multi-prover interactive proof systems2008
- 著者名/発表者名
  T. Ito, H. Kobayashi, D. Preda, X. Sun, A. C.-C. Yao
- 雑誌名
  
  Proc. 23^<rd> Annual IEEE Conference on Computational Complexity
  
  ページ: 187-198
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Using entanglement in quantum multi-prover interacitve proofs2008
- 著者名/発表者名
  J. Kempe, H. Kobayashi, K. Matsumoto, T. Vidick
- 雑誌名
  
  Proc. 23^<rd> Annual IEEE Conference on Computational Complexity
  
  ページ: 211-222
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Using Entanglement in Quantum Multi-Prover Interactive Proofs2008
- 著者名/発表者名
  J.Kempe, H.Kobayashi, K.Matsumoto, T.Vidick
- 雑誌名
  
  Proc.23rd Annual IEEE Conference on Computational Complexity (採録決定)
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[雑誌論文] Generalized Tsirelson Inequalities,Commuting-Operator Provers,and Multi-Prover Interactive Proof Systems2007
- 著者名/発表者名
  T.Ito, H.Kobayashi, D.Preda, X.Sun, A.C.-C.Yao
- 雑誌名
  
  Proc.23rd Annual IEEE Conference on Computational Complexity (採録決定)
- 査読あり
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Impossibility of classically simulating one-clean-qubit computation2015
- 著者名/発表者名
  藤井啓祐，小林弘忠，森前智行，西村治道，玉手修平，谷誠一郎
- 学会等名
  電子情報通信学会コンピューテーション研究会
- 発表場所
  信州大学，長野市
- 年月日
  2015-09-01
- データソース
  KAKENHI-PROJECT-24240001
[学会発表] Quantum interactive proofs with weak error bounds2012
- 著者名/発表者名
  T.Ito, H, Kobayashi J.Watrous
- 学会等名
  Innovations in Theoretical Computer Science 2012
- 発表場所
  Cambridge, MA, USA
- 年月日
  2012-01-09
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Quantum interactive proofs with weak error bounds2012
- 著者名/発表者名
  T. Ito, H. Kobayashi, J. Watrous
- 学会等名
  Innovations in Theoretical ComputerScience 2012 (ITCS 2012)
- 発表場所
  Cambridge, MA, USA
- 年月日
  2012-01-09
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Constructing quantum network coding schemes from classical nonlinear protocols2011
- 著者名/発表者名
  H. Kobayashi, F. Le Gall, H. Nishimura, M.Rotteler
- 学会等名
  2011 IEEE InternationalSymposium on Information Theory (ISIT2011)
- 発表場所
  St. Petersburg, Russia
- 年月日
  2011-08-01
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Constructing quantum network coding schemes from classical nonlinear Protocols2011
- 著者名/発表者名
  H.Kobayashi, F.Le Gall, H.Nishimura, M.Roetteler
- 学会等名
  The 14^<th> Workshop on Quantum Information Processing (QIP 2011)
- 発表場所
  Singapore
- 年月日
  2011-01-13
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Constructing quantum network coding schemes from classical nonlinear protocols2011
- 著者名/発表者名
  H. Kobayashi, F. Le Gall, H. Nishimura, M.Rotteler
- 学会等名
  The 14th Workshop on QuantumInformation Processing (QIP 2011)
- 発表場所
  Singapore
- 年月日
  2011-01-13
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Quantum interactive proofs with weak error bounds2011
- 著者名/発表者名
  T. Ito, H. Kobayashi, J. Watrous
- 学会等名
  The 14th Workshop on Quantum Information Processing (QIP 2011)
- 発表場所
  Singapore
- 年月日
  2011-01-10
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Quantum interactive proofs with weak error bounds2011
- 著者名/発表者名
  T.Ito, H.Kobayashi, J.Watrous
- 学会等名
  The 14^<th> Workshop on Quantum Information Processing (QIP 2011)
- 発表場所
  Singapore
- 年月日
  2011-01-10
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Constructing quantum network coding schemes from classical nonlinear protocols2011
- 著者名/発表者名
  H.Kobayashi, F.Le Gall, H.Nishimura, M.Rotteler
- 学会等名
  2011 IEEE International Symposium on Information Theory
- 発表場所
  St.Potersburg, Russia
- 年月日
  2011-08-01
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Perfect quantum network communication protocol based on classical network coding2010
- 著者名/発表者名
  H. Kobayashi, F. Le Gall, H. Nishimura, M.Rotteler
- 学会等名
  2010 IEEE International Symposium on Information Theory (ISIT2010)
- 発表場所
  Austin, Texas,USA
- 年月日
  2010-06-18
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Perfect Quantum Network Coding with Free Classical Communication2010
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
- 学会等名
  13^<th> Workshop on Quantum Information Processing, QIP 2010
- 発表場所
  Zurich, Switzerland
- 年月日
  2010-01-21
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Perfect quantum network communication protocol based on classical network coding2010
- 著者名/発表者名
  H.Kobayashi, F.Le Gall, H.Nishimura, M.Roetteler
- 学会等名
  2010 IEEE International Symposium on Informati on Theory
- 発表場所
  Austin, Texas, USA
- 年月日
  2010-06-18
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Perfect quantum network coding with free classical communication2010
- 著者名/発表者名
  H. Kobayashi, F. Le Gall, H. Nishimura, M.Rotteler
- 学会等名
  The 13th Workshop on Quantum InformationProcessing (QIP 2010)
- 発表場所
  Zurich, Switzerland
- 年月日
  2010-01-21
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies2009
- 著者名/発表者名
  Tsuyoshi Ito, Hirotada Kobayashi, Keiji Matsumoto
- 学会等名
  24^<th> Annual IEEE Conference on Computational Complexity
- 発表場所
  Paris, France
- 年月日
  2009-07-17
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Oracularization and two-prover one-round interactive proofs against nonlocal strategies2009
- 著者名/発表者名
  Tsuyoshi Ito, Hirotada Kobayashi, Keiji Matsumoto
- 学会等名
  The12th Workshop on Quantum Information Processing
- 発表場所
  Santa Fe, USA
- 年月日
  2009-01-14
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Oracularization and two-prover one-round interactive proofs against nonlocal strategies2009
- 著者名/発表者名
  T. Ito, H. Kobayashi, K. Matsumoto
- 学会等名
  The 24th Annual IEEE Conference on Computational Complexity (CCC 2009)
- 発表場所
  Paris, France
- 年月日
  2009-07-17
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] General Scheme for Perfect Quantum Network Coding with Free Classical Communication2009
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
- 学会等名
  36^<th> International Colloquium on Automata, Languages and Programming, ICALP 2009
- 発表場所
  Rhodes, Greece
- 年月日
  2009-07-07
- データソース
  KAKENHI-PROJECT-21300002
[学会発表] Generalized Tsirelson inequalities, commuting-operator provers, and multi-prover interactive proof systems2009
- 著者名/発表者名
  Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun, Andrew C.-C. Yao
- 学会等名
  Twenty-Third Annual IEEE Conference on Computational Complexity
- 発表場所
  College Park, Maryland, USA
- 年月日
  2009-06-25
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Oracularization and two-prover one-round interactive proofs against nonlocal strategies2009
- 著者名/発表者名
  T. Ito, H. Kobayashi, K. Matsumoto
- 学会等名
  The 12^<th> Workshop on Quantum Information Processing
- 発表場所
  Santa Fe, USA
- 年月日
  2009-01-14
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Using entanglement in quantum multi-prover interactive proofs2008
- 著者名/発表者名
  Julia KemPe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick
- 学会等名
  Twenty-Third Annual IEEE Conference on Computational Complexity
- 発表場所
  College Park, Maryland, USA
- 年月日
  2008-06-25
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Generalized Tsirelson Inequalities,Commuting-Operator Provers, and Multi-Prover Interactive Proof Systems2007
- 著者名/発表者名
  T. Ito, H. Kobayashi, D. Preda, X. Sun, A. C. -C. Yao
- 学会等名
  The 11th Workshop on Quantum Information Processing
- 発表場所
  New Delhi
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Using entanglement in quantum multi-prover interactive proofs2007
- 著者名/発表者名
  J. Kempe, H. Kobayashi, K. Matsumoto, T. Vidick
- 学会等名
  The 11^<th> Workshop on Quantum Information Processing
- 発表場所
  New Delhi, India
- 年月日
  2007-12-17
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Generalized Tsirelson inequalities, commuting-operator provers, and multi-prover interactiveproof systems2007
- 著者名/発表者名
  T. Ito, H. Kobayashi, D. Preda, X. Sun, A. C.-C. Yao
- 学会等名
  The 11^<th> Workshop on Quantum Information Processing
- 発表場所
  New Delhi, India
- 年月日
  2007-12-17
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Using Entanglement in Quantum Multi-Prover Interactive Proofs2007
- 著者名/発表者名
  J. Kempe, H. Kobayashi, K. Matsumoto, T. Vidick
- 学会等名
  The 11th workshop on Quantum Information Procesing
- 発表場所
  New Delhi
- データソース
  KAKENHI-PROJECT-18300002
[学会発表] Towards Perfect Completeness in QMA
- 著者名/発表者名
  Stephen P. Jordan, Hirotada Kobayashi, Francois Le Gall, Daniel Nagaj, and Harumichi Nishimura
- 学会等名
  The 16th Workshop on Quantum Information Processing (QIP 2013)
- 発表場所
  Tsinghua University, Beijing, China
- データソース
  KAKENHI-PROJECT-24240001
[学会発表] Stronger methods of making quantum interactive proofs perfectly complete
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, and Harumichi Nishimura
- 学会等名
  2013 ACM Conference on Innovations in Theoretical Computer Science (ITCS 2013)
- 発表場所
  UC Berkeley, Berkeley, CA, USA
- データソース
  KAKENHI-PROJECT-24240001
[学会発表] Stronger methods of making quantum interactive proofs perfectly complete
- 著者名/発表者名
  西村治道, 小林弘忠, Francois Le Gall
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  奈良女子大学, 奈良県
- データソース
  KAKENHI-PLANNED-24106009
[学会発表] Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete
- 著者名/発表者名
  Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  奈良女子大学記念館, 奈良
- データソース
  KAKENHI-PROJECT-24240001

1. 河内亮周 (00397035)

共同の研究課題数: 5件

共同の研究成果数: 4件
2. 小柴健史 (60400800)

共同の研究課題数: 4件

共同の研究成果数: 0件
3. 松本啓史 (60272390)

共同の研究課題数: 4件

共同の研究成果数: 16件
4. 田中圭介 (20334518)

共同の研究課題数: 3件

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

共同の研究課題数: 3件

共同の研究成果数: 8件
6. 西村治道 (70433323)

共同の研究課題数: 3件

共同の研究成果数: 13件
7. 安永憲司 (50510004)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 山下茂 (30362833)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 根本香絵 (80370104)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 村尾美緒 (30322671)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 堀山貴史 (60314530)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 中西正樹 (40324967)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 伊藤剛志

共同の研究課題数: 1件

共同の研究成果数: 0件

小林 弘忠 KOBAYASHI Hirotada

研究課題

研究成果

共同研究者

量子プロトコル理論の線的展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

量子プロトコル理論の深化

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

量子力学からの計算限界解明へのアプローチ

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

量子情報理論と量子計算量理論の融合技術の展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

量子情報理論と量子計算量理論の融合とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Generalized quantum Arthur-Merlin games2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Impossibility of Classically Simulating One-Clean-Qubit Model with Multiplicative Error2018

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Space-Efficient Error Reduction for Unitary Quantum Computations2016

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Power of Quantum Computation with Few Clean Qubits2016

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Generalized Arthur-Merlin games2015

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Generalized Quantum Arthur-Merlin Games2015

著者名/発表者名

雑誌名

データソース

[雑誌論文] Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete.2015

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Stronger methods of making quantum interactive proofs perfectly complete2013

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems2012

著者名/発表者名

雑誌名

データソース

小林弘忠 KOBAYASHI Hirotada