第4回「代数学と計算」研究集会(AC2001)プログラム

以下の要領で標記の研究集会を開催します。

プログラムを作成するにあたって、いくつかの曜日で講演枠以上の申込が
ありましたため、一般講演について希望されました時間を５分から10分程度
縮小するという対応をとらせていただきました。該当されます講演者の皆様
には大変申し訳ありませんが御了承けますと幸いです。


----------------------------------------------------------------------
	日程:	2001年11月5日 (月曜日) --- 9日 (金曜日)
	場所:	東京都立大学 国際交流会館
	主催者:	小関 道夫 (山形大学 理学部)
		中村 憲 (東京都立大学 大学院理学研究科)
		倉田 俊彦 (東京都立大学 大学院理学研究科)
----------------------------------------------------------------------
                     プログラム （*は入門講義）

１１月５日（月）

10:50−11:00   オープニング
11:00−12:30 * 渡辺治（東京工業大学）
　　　　　　　 計算の複雑さの理論

　　　　　　　 昼食

14:00−14:30　 倉田俊彦（東京都立大学）
　　　　　　　 Combinatory Representations of λ-Calculus
14:30−15:00　 赤間陽二（東北大学）
　　　　　　　 極限操作を用いた計算と構成的論理

　　　　　　　 休憩

15:30−16:15　 坂本伸幸・田中一之（東北大学）
　　　　　　　 ヒルベルトの零点定理と２階算術
16:15−16:55　 藤崎 竜也 (九州大学)
               有限射影空間 PG(3,q) から出来る Strongly regular graph

----------------------------------------------------------------------
１１月６日（火）

10:00−10:50   小山陽一（金沢工業大学）・吉野健一（金沢医科大学）
               実円分体の類数の素因子の計算

               休憩

11:20−11:50　 近藤通朗（島根大学）
　　　　　　　 weak interlaced bilattice の構造について
11:50−12:20   Hatem M. Bahig（東京都立大学）
               Generating Minimal Addition chains

　　　　　　　 昼食

14:00−15:00 * 田村明久（京都大学）
　　　　　　　 離散最適化

　　　　　　　 休憩

15:30−16:15   石関隆幸（東京大学）
               有向グラフの standard pair 分解と最小費用流問題
16:15−16:45   荻野大助・澤田秀樹（山形大学）
　　　　　　　 暗号系に現れる群構造

----------------------------------------------------------------------
１１月７日（水）

10:00−10:45   脇克志（弘前大学）
               Construction of the finite groups by a given
               centralizer of an involution

 　　　　　　　休憩

11:15−11:45   足立智子・上原啓明・神保雅一（慶応大学）
               線形符号から生成されるBIBデザインによるquorum systemの
　　　　　　　 failure polynomial
11:45−12:15   佐藤秀・大原幸多・神保雅一（慶応大学）
               BIBデザイン生成のための推論システム

               昼食

14:00−15:30 * 宗政昭弘（九州大学）
               有限幾何とデザイン

               休憩

16:00−16:30   島倉裕樹（東京大学）
               $4A$元に関するMcKay-Thompson級数の計算
16:30−17:10   小関道夫（山形大学）
               Covering radius problem for non self-dual binary codes

----------------------------------------------------------------------
１１月８日（木）

10:00−10:40   岸康弘（東京都立大学）
               基本単数を根に持つ３次巡回多項式の族について

               休憩

11:10−11:40   中原徹（佐賀大学）
               On the 2th power-class ranks of quadratic fields
               (二次体の類群の 2巾階数について)
11:40−12:15   小松啓一（早稲田大学）・福田隆（日本大学）
               虚２次体の非円分 Z_p 拡大の岩澤不変量について

               昼食

14:00−15:30 * 西野哲朗（電気通信大学）
               量子計算

               休憩

16:00−16:30   知念宏司（大阪工業大学）・村田玲音（明治学院大学）
               a (mod p) の剰余位数の分布について
16:30−17:10   横山和弘（九州大学）・野呂正行（神戸大学）
               小さい標数の有限体上の多項式イデアルの準素分解について

----------------------------------------------------------------------
１１月９日（金）

10:00−10:30   宮本泉（山梨大学）
            　 Zimmermann のGMP-ECMによる円分数の素因子分解の報告
10:30−11:00   小林大輔・阿部瑞穂・中村憲（東京都立大学）
               Some computation on the odd covering problem

               休憩

11:30−12:00   橋本竜太（名古屋大学）
　　　　　　　 媒介変数を含む代数的無理数の連分数展開のアルゴリズムの実装
12:00−12:30   金山直樹(早稲田大学)・長尾孝一(関東学院大学)・内山成憲(NTT)
               Generating Hyperelliptic Curves Suitable for Cryptography

               昼食

14:00−14:30   竹内良平（東京都立大学）
               楕円曲線のmod pでの周期性と計算機実験
14:30--15:00   桶屋勝幸（日立製作所）
               モンゴメリ型楕円曲線By^2=x^3+Ax^2+xにおけるスカラー倍計算の
　　　　　　　 高速化について

               休憩

15:30−17:00 * 佐藤孝和（埼玉大学）
               楕円曲線の有理点に関する計算
17:00−17:10   クロージング

リンク:

第4回「代数学と計算」研究集会

「代数学と計算」ホームページ