| 研究課題/領域番号 |
14J09418
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
情報学基礎理論
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
本多 健太郎 東京大学, 情報理工学系研究科, 特別研究員(DC2)
|
|---|
| 研究期間 (年度) |
2014-04-25 – 2016-03-31
|
| 研究課題ステータス |
完了 (2015年度)
|
| 配分額 *注記 |
1,700千円 (直接経費: 1,700千円)
2015年度: 800千円 (直接経費: 800千円)
2014年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | 量子プログラミング言語 / 量子もつれ / 量子秘匿計算 / 量子スタビライザー形式 / ゲーム意味論 / トポロジカル計算 |
|---|
| 研究実績の概要 |
昨年度の研究によって見出した量子非局所ゲームとゲーム意味論のつながりが言語の構築には不十分であった．そこで，本来の目的である量子もつれの解析へと立ち戻り，本年度は量子スタビライザー形式を用いて研究を行った．量子スタビライザー形式を用いた量子プログラムに対する量子もつれ解析手法を考案した．この手法により，従来の量子プログラムにおける量子もつれ解析では行うことのできなかった量子もつれの解ける遷移について解析することが可能となった．また，提案手法では量子スタビライザー形式の範疇に収まる遷移によるもつれの遷移しか解析できないことを踏まえ，解析に有用であるように量子スタビライザーを抽象化することで，範疇に収まらない遷移についても部分的に解析できるような改良を行い，より精緻な解析が可能となった．
また，昨年度に提案したブラインド量子計算に対する公衆検証可能性についても改良の研究を行った．昨年度に公衆検証可能性を持つブラインド量子計算プロトコルを提案したものの，このプロトコルでは，悪意のあるユーザが巧妙に委託する計算を選ぶことで秘密鍵に依存したメッセージを送り，実際には計算結果を得ながらも計算結果を得ていないかのように第三者を騙すことのできる可能性があった．そこで，このプロトコルに改良を加え，このような攻撃に対しても耐性を持つ公衆検証可能ブラインド量子計算プロトコルを提案した．
|
| 現在までの達成度 (段落) |
27年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
27年度が最終年度であるため、記入しない。
|
