• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

量子対話知識証明の分析と量子暗号への応用

研究課題

研究課題/領域番号 19500015
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 情報学基礎
研究機関福井大学 (2009)
会津大学 (2007-2008)

研究代表者

山上 智幸  福井大学, 大学院・工学研究科, 教授 (80230324)

研究期間 (年度) 2007 – 2009
研究課題ステータス 完了 (2009年度)
配分額 *注記
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2008年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2007年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
キーワード量子暗号 / 量子計算 / 量子オートマトン / 量子ゼロ知識証明 / 量子リスト復号 / アドバイス / 量子ハードコア関数 / 計算量理論 / 量子証明 / 量子状態 / 計算量 / 量子対話証明 / 量子計算モデル / 量子アルゴリズム / 安全性 / 高速通信ネットーワーク / 量子記憶
研究概要

量子力学の原理に基づく新しい通信形態が量子通信である。安全な量子通信を行うためには、現在の情報処理技術で実現可能な量子暗号システムを構築する必要がある。そのためにより現実的な量子デバイスを用い、量子暗号の基本暗号系の一つである量子ゼロ知識証明暗号系を分析する。また、量子通信の誤り訂正を行う量子リスト復号化法と、量子デバイスの能力を高める外部補助情報であるアドバイスの分析も行う。

報告書

(4件)
  • 2009 実績報告書   研究成果報告書 ( PDF )
  • 2008 実績報告書
  • 2007 実績報告書
  • 研究成果

    (15件)

すべて 2010 2009 2008 2007 その他

すべて 雑誌論文 (6件) (うち査読あり 5件) 学会発表 (6件) 備考 (3件)

  • [雑誌論文] Theory of one tape linear time Turing machines2010

    • 著者名/発表者名
      K.Tadaki, T.Yamakami, J.C.H.Lin
    • 雑誌名

      Theoretical Computer Science 411

      ページ: 22-43

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Quantum hardcore functions by complexity-theoretical list decoding2010

    • 著者名/発表者名
      A.Kawachi, T.Yamakami
    • 雑誌名

      SIAM Journal on Computing 39

      ページ: 2941-2969

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] The roles of advice to one-tape linear-time Turing machines and finite automata. Accepted for publication at International Journal of Foundations of Computer Science, 20102009

    • 著者名/発表者名
      T. Yamakami
    • 雑誌名

      A conference version appeared in ISAAC 2009, Lecture Notes in Computer Science Vol. 5878

      ページ: 933-942

    • 関連する報告書
      2009 研究成果報告書
  • [雑誌論文] Quantum Merlin-Arthur proof systems : are multiple Merlins more helpful to Arthur?2009

    • 著者名/発表者名
      H.Kobayashi, K.Matsumoto, T.Yamakami
    • 雑誌名

      Chicago Journal of Theoretical Computer Science 2009

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] An application of quantum finite automata to interactive proof systems2009

    • 著者名/発表者名
      Harumichi Nishimura, Tomoyuki Yamakami
    • 雑誌名

      Journal of Computer and System Sciences 75(4)

      ページ: 255-269

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] The efficiency of quantum identity testing of multiple states2008

    • 著者名/発表者名
      Masaru Kada, Harumichi Nishimura, Tomoyuki Yamakami
    • 雑誌名

      Journal of Physics A : Mathematical and Theoretical 41(3)

      ページ: 395309-395309

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [学会発表] The role of advice to linear-time Turing machines and finite automata2009

    • 著者名/発表者名
      Tomoyuki Yamakami
    • 学会等名
      Proc.20th International Symposium on Algorithms and Computing(ISAAC 2009)
    • 発表場所
      Honolulu, Hawaii, USA
    • 年月日
      2009-12-18
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Quantum finite automata with advice2009

    • 著者名/発表者名
      Tomoyuki Yamakami
    • 学会等名
      情報処理学会 第127回アルゴリズム研究会
    • 発表場所
      名古屋大学
    • 年月日
      2009-11-27
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Quantum finite automata with advice2009

    • 著者名/発表者名
      T. Yamakami
    • 学会等名
      情報処理学会、第127回アルゴリズム研究会
    • 発表場所
      名古屋大学
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Self-Correcting Quantum Programs2007

    • 著者名/発表者名
      Francois Le Gall
    • 学会等名
      The Seventeenth Quantum Information Technology Symposium (QIT 17)
    • 発表場所
      岡山市
    • 年月日
      2007-11-22
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Multiple Quantum Zero-Knowledge Proofs with Constant Space Verifiers2007

    • 著者名/発表者名
      Tomoyuki Yamakami
    • 学会等名
      The Fourth Central European Quantum Information Processing Workshop (CEQIP 2007)
    • 発表場所
      Valtice, Czech Republic
    • 年月日
      2007-06-27
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Quantum list decoding from quantumly corrupted codewords for classical block codes of polynomially small rate2007

    • 著者名/発表者名
      T. Yamakami
    • 学会等名
      Proceedings of the Thirteenth Computing : The Australasian Theory Symposium (CATS 2007)
    • 発表場所
      Ballarat, Australia
    • 関連する報告書
      2009 研究成果報告書
  • [備考]

    • URL

      http://TomoyukiYamakami.ORG

    • 関連する報告書
      2009 研究成果報告書
  • [備考]

    • URL

      http://TomoyukiYamakami.ORG

    • 関連する報告書
      2009 実績報告書
  • [備考]

    • URL

      http://tomoyukiyamakami.com/

    • 関連する報告書
      2007 実績報告書

URL: 

公開日: 2007-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi