2012年 日本応用数理学会
研究部会連合発表会

「数論アルゴリズムとその応用」 (JANT) セッション

プログラム

13:30 ～ 13:45

代数曲面上の求セクション問題に対する Wu のアルゴリズムの適用
○小椋 直樹(首都大学東京 D3), 三原 千穂((株)東芝), 秋山 浩一郎((株)東芝), 三宅 秀享((株)東芝), 内山 成憲(首都大学東京)

13:45 ～ 14:00

平方Weilペアリングと簡約Tateペアリングの計算量評価と数値実験
○平野　正樹(首都大学東京 M2),中村　憲(首都大学東京)

14:00 ～ 14:15

ナップサック暗号の数体を利用した鍵生成法の改良と考察
○宮本 泰徳(首都大学東京 M2), 中村 憲(首都大学東京)

14:15 ～ 14:30

既定値埋め込み型RSAの既定値長と鍵生成時間の関係について
○北原 基貴(九州大学 B4), 西出 隆志(九州大学), 櫻井 幸一(九州大学)

14:30 ～ 14:50

2次形式の同型写像を用いた多変数多項式署名の構成
○安田 貴徳（九州先端科学技術研究所), 高木 剛(九州大学), 櫻井 幸一(九州大学）

14:50 ～ 15:10

指数計算法の線形代数ステップにおけるLanczos法とWiedemann法の比較実験
○林 卓也(九州大学 D2), 篠原 直行(情報通信研究機構), 高木 剛(九州大学)

15:10 ～ 15:30

休憩

15:30 ～ 15:45

An exhaustive search algorithm for finding all small solutions of a multivariate modular linear equation
○ Hui Zhang(九州大学 D2), 高木 剛(九州大学)

15:45 ～ 16:00

形式化数学システム Mizar による数論アルゴリズムの検証
○水島 大地(信州大学 M1), 青木 祥希(信州大学 M1), 岡崎 裕之(信州大学), 師玉 康成(信州大学）

16:00 ～ 16:20

奇標数有限体の３次拡大体上, 種数２曲線の被覆曲線の構成
○橋本　拓(中央大学 M2), 飯島　努(中央大学), 趙　晋輝(中央大学), 志村 真帆呂(東海大学)

16:20 ～ 16:40

On the number of Fp-valued points of elliptic curves
○奥村　伸也(九州大学 M2)

16:40 ～ 16:55

Magma による p 進体の Galois 群の高速計算
○横山 俊一(九州大学D2), 吉田 学(九州大学 D3)

問い合わせ先

青木美穂 (島根大学総合理工学部)
aoki(at)riko.shimane-u.ac.jp