電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 2件中 1~2件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
IPSJ-SLDM, IPSJ-ARC
(共催)
RECONF, VLD, CPSY
(共催)
(連催) [詳細]
2019-01-30
10:55
神奈川 慶応義塾大学 日吉キャンパス 来往舎 拡張ユークリッド互除法におけるLeading Zeroを利用した計算回数削減手法の提案
荻野政樹田中勇樹魏 書剛群馬大VLD2018-73 CPSY2018-83 RECONF2018-47
剰余乗算逆数は,離散対数問題による解析のされにくさから公開鍵暗号方式の秘密鍵の生成に利用されており,従来から高速な計算手... [more] VLD2018-73 CPSY2018-83 RECONF2018-47
pp.7-12
ISEC, LOIS
(共催)
2011-11-14
15:35
大阪 大阪電気通信大学 Mizarによる数論アルゴリズムの形式化と検証
青木祥希岡崎裕之師玉康成信州大ISEC2011-44 LOIS2011-38
本稿では数論アルゴリズムからユークリッドの互除法と拡張ユークリッドの互除法を取り上げ,
プルーフチェッカMizarを用... [more]
ISEC2011-44 LOIS2011-38
pp.69-74
 2件中 1~2件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.
(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会