| 10:00 〜 10:30 | 内山 成憲 (NTT) |
| PRIMES is in P | |
| アブストラクト | |
| 10:30 〜 11:00 | 中尾 寿康 |
| (x+y+z)(1/x+1/y+1/z)=nの有理点の計算 | |
| (Computing rational points on (x+y+z)(1/x+1/y+1/z)=n) | |
| アブストラクト , 講演資料 (Magic Point, html) | |
| 11:10 〜 11:40 | 田谷 久雄 (東北大学) 福田 隆 (日本大学) |
| 岩澤不変量の計算 | |
| (Computation of Iwasawa Invariants) | |
| アブストラクト , 講演資料 (dvi) | |
| 11:40 〜 12:10 | 野村 明人 (金沢大学工学部) |
| ２次体上の不分岐拡大の存在に関するLemmermeyerの問題について | |
| (Lemmermeyer's problem on the existence of unramified extensions over quadratic fields) | |
| アブストラクト , 配布資料(pdf) , 講演資料 (pdf) | |
| 13:30 〜 14:00 | 木村 巌 (富山大学) |
| A Scheme binding for Pari library | |
| アブストラクト | |
| 14:00 〜 14:30 | 中村 憲, 松井 鉄史,小林 大輔,阿部 瑞穂 (東京都立大学・理) |
| 都立大での SIMATH の開発について | |
| (SIMATH at TMU) | |
| アブストラクト | |
| 14:40 〜 15:40 | Michael Pohst (Berlin TU) |
| Factoring polynomials over global fields | |
| アブストラクト | |
| 16:00 〜 16:30 | 桶屋勝幸 (日立製作所システム開発研究所) 後藤丈志 (九州大学大学院数理学府) |
| 調和数を求めるアルゴリズムとその高速化 | |
| (Algorithms to compute harmonic numbers) | |
| アブストラクト | |
| 16:30 〜 17:00 | 荻野大助 (山形大学・理) 澤田秀樹 (山形大学・理) |
| On group structure of the BBS Generator | |
| アブストラクト | |
| 17:00 〜 17:30 | 桶屋 勝幸 (日立製作所) 宮崎 邦彦 (日立製作所) 櫻井 幸一 (九州大学大学院システム情報科学研究院) |
| 暗号利用に対する楕円曲線の存在数と脆弱性の関係に関する考察 | |
| (An Analysis on Relations between Cardinalities and Vulnerabilities of Elliptic Curves for Cryptosystems) | |
| アブストラクト |