AC2005 プログラム

11月15日 (火)

9:20-9:30
Opening
9:30-9:50
宮本泉(山梨大学)
"GAP のNormalizer 関数の性能の報告と改良の試み"
9:50-10:20
楢崎亮(大阪大学)
"Character values とDade 予想"
10:30-11:20
Gerhard Hiss (RWTH Aachen Univ.)
"The Modular Atlas Project"
11:30-12:00
坂内英一, 小島洸二, 三枝崎剛(九州大学)
"モンスター群の各元のThompson シリーズに付随するHecke 多項式の零点の位置について"
12:00-12:30
Ahmad Erfanian (Ferdowsi Univ. Mashhad)
"Probability of generating simple groups PSL(m,q)"
(昼休み)
14:00-14:30
Axel Kohnert (Univ. Bayreuth)
"Construction of two-weight codes"
14:30-14:50
堀口直之(千葉大学)
"平方剰余符号から得られる長さ44 のternary extremal self-dual code の分類"
15:00-15:50
田上真(九州大学)
"Musin による４次元kissing number の決定についての解説"
16:00-16:30
Mathieu DUTOUR(Institut Rudjer Boskovic), 伊藤栄明(統計数理研究所), Alexei POYARKOV(Moscow State Univ.)
"Cube packings, second moment and holes"
16:30-17:00
藤崎竜也(筑波大学), Jack Koolen (Postech)
"Twisted Grassmann graph の局所構造について"

11月16日 (水)

10:00-10:20
森川良三(首都大学東京)
"コンピュータによる数学的構造の探索"
10:20-10:40
河本進(東北文化学園大学), 渡辺透(上智大学), 和田秀男(上智大学)
"自然数42553 は合同数である"
10:40-11:00
我妻正也, 早田孝博(山形大学)
"三加法鎖について"
11:10-11:40
赤間陽二, 赤澤豊, 飯塚新司(東北大学)
"切断射影集合とそれに関するタイル張りの非対称性"
11:40-12:00
赤間陽二(東北大学)
"ラムダ計算のための計算論的学習理論とその応用"
(昼休み)
13:50-14:40
Aneesh Karve (Univ. Wisconsin-Madison)
"Graphical interfaces for computer algebra systems"
14:50-15:10
松井鉄史(首都大学東京)
"NZMATH - 開発のこれまでとこれから -"
15:10-15:40
Christine Abegail M. Antonio, 齋藤健太郎, 田中覚, Janice S. Asuncion, 中村憲(首都大学東京)
"数論システムNZMATH への有限素体上の楕円曲線, 超楕円曲線と虚二次体の実装"
15:40-16:00
Julius Basilla (Univ. Philippines)
"Computing the 2-part of the ideal class groups of a quadratic fields"
16:10-17:00
Claus Fieker (Univ. Sydney)
"Galois groups - a challenge for computer algebra"

11月17日 (木)

10:00-10:40
長尾孝一(関東学院大学)
"超楕円曲線のヤコビアン群の指数計算法について"
10:50-11:30
高島克幸(三菱電機)
"ある種数 2 超楕円曲線ヤコビ多様体上の効率的な実乗法計算法とその超楕円曲線暗号への応用"
11:30-12:00
西本啓一郎, 中村憲(首都大学東京)
"二次体上の量子公開鍵暗号系の鍵生成に関する計算機実験"
(昼休み)
13:50-14:40
Martijn Stam (Univ. Bristol)
"Black-box secret sharing from primitive sets in algebraic number fields"
14:50-15:20
後藤丈志(東京理科大学)
"楕円曲線のセルマー群と奇グラフ"
15:20-15:50
篠原直行(九州大学)
"Frobenius test における悪条件"
16:00-16:30
岡崎裕之(信州大学)
"署名者同一性検証についての考察"
16:30-17:00
松本眞(広島大学), 西村拓士(山形大学), 斎藤睦夫(広島大学), 萩田真理子(お茶の水女子大学)
"ストリーム暗号CryptMT"
18:00-
懇親会(予定)

11月18日 (金)

10:00-10:30
小松尚夫(弘前大学)
"長い周期の連分数"
10:30-11:00
鈴木晃(神戸大学)
"媒介変数を伴なうグレブナー基底とそれを計算する新しいアルゴリズム"
11:10-11:40
原本博史, 松本眞(広島大学), 西村拓士(山形大学)
"擬似乱数のコイン投げ検定への符号理論の応用"
11:40-12:10
鈴木登志雄, 川西暁夫(大阪府立大学)
"手描き曲線からの乱数抽出および， forcing complexity にもとづくそのセマンティクス"
(昼休み)
13:50-14:20
劉晨光, 田中一之(東北大学)
"ゲーム木の分布的複雑さ"
14:20-14:50
浜名誠(群馬大学)
"明示的代入と高階抽象構文の代数モデル"
15:00-15:50
佐藤雅彦(京都大学)
"数学を計算機の上で記述するための自然な枠組について"
15:50-16:00
Closing

リンク:

$Date: 2005/10/31 07:13:58 $+ 9:00:00 (JST)