電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2015-05-25 13:20
[ポスター講演]Robertson型不確定性関係の形式的検証
増原孝昭・○栗山十織吉田雅一程 俊同志社大
技報オンラインサービス実施中(通ソ/ISS/ESS/エレソのみ)
抄録 (和) 大規模な証明の正当性を検証する方法として,定理証明支援系を用いた形式的検証がある.本研究では,量子鍵配送の無条件安全性に関する証明の形式的検証に向け,定理証明支援系Coqを用いてRobertson型不確定性関係の形式的検証を行うことでその正当性を検証する. 
(英) Formal verification using interactive theorem provers have been noticed as a method of verification of proofs that are too big for humans to check the validity of them. In this work, we verify validity of Robertson-type uncertainty relation using proof assistant Coq toward verifying unconditional security of quantum key distributions.
キーワード (和) 形式的検証 / 定理証明支援系 / 不確定性関係 / / / / /  
(英) Formal verification / Proof assistant Coq / Uncertainty relation / / / / /  
文献情報 信学技報
資料番号  
発行日  
ISSN Print edition: ISSN 0913-5685  Online edition: ISSN 2432-6380

研究会情報
研究会 QIT  
開催期間 2015-05-25 - 2015-05-26 
開催地(和) 大阪大学 
開催地(英) Osaka University 
テーマ(和) 量子情報, 一般 
テーマ(英) Quantum Information 
講演論文情報の詳細
申込み研究会 QIT 
会議コード 2015-05-QIT 
本文の言語 日本語 
タイトル(和) Robertson型不確定性関係の形式的検証 
サブタイトル(和)  
タイトル(英) Formal Verification of Robertson-type Uncertainty Relation 
サブタイトル(英)  
キーワード(1)(和/英) 形式的検証 / Formal verification  
キーワード(2)(和/英) 定理証明支援系 / Proof assistant Coq  
キーワード(3)(和/英) 不確定性関係 / Uncertainty relation  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 増原 孝昭 / Takaaki Masuhara / マスハラ タカアキ
第1著者 所属(和/英) 同志社大学 (略称: 同志社大)
Doshisha University (略称: Doshisha Univ.)
第2著者 氏名(和/英/ヨミ) 栗山 十織 / Toru Kuriyama / クリヤマ トオル
第2著者 所属(和/英) 同志社大学 (略称: 同志社大)
Doshisha University (略称: Doshisha Univ.)
第3著者 氏名(和/英/ヨミ) 吉田 雅一 / Masakazu Yoshida / ヨシダ マサカズ
第3著者 所属(和/英) 同志社大学 (略称: 同志社大)
Doshisha University (略称: Doshisha Univ.)
第4著者 氏名(和/英/ヨミ) 程 俊 / Jun Cheng / テイ シュン
第4著者 所属(和/英) 同志社大学 (略称: 同志社大)
Doshisha University (略称: Doshisha Univ.)
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者
発表日時 2015-05-25 13:20:00 
発表時間 60 
申込先研究会 QIT 
資料番号  
巻番号(vol)  
号番号(no)  
ページ範囲  
ページ数  
発行日  


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会