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

  2003年10月2日(木)版(最終)
          =================================================
          第5回「代数学と計算」研究集会 (AC2003) プログラム
          =================================================
      2003年10月6日(月) -- 10日(金)     東京都立大学 国際交流会館

                    主催者: 中村 憲   (東京都立大学 大学院理学研究科)
                            倉田 俊彦 (東京都立大学 大学院理学研究科)
                            津村 博文 (東京都立短期大学 経営情報学科)
                            小関 道夫 (山形大学 理学部)

  * は入門講義もしくはサーベイを表します.

  ------------------------------------------------------------------
10月6日 (月)

10:30--10:45 オープニング

10:45--11:30 On Systems of Polynomial Equations
		with Indeterminate Exponents
             横山和弘 (九州大学)

11:30--12:00 スクリプト言語による計算数論システムの開発
             松井鉄史 (東京都立大学)

   (昼食)

14:00--15:00 統計学にあらわれる代数計算 *
             竹村彰道 (東京大学)

   (休憩)

15:30--16:20 A new algorithm for computing ideal class groups
                of abelian number fields
             青木美穂 (東京都立大学), 福田隆 (日本大学)

16:20--17:05 非斉次有理近似アルゴリズムについて
             安富真一 (鈴鹿工業高等専門学校)

  ------------------------------------------------------------------
10月7日 (火)

10:30--12:00 素数判定について *
             (1) 擬素数, Euler 擬素数, 強擬素数に関する幾つかの注意
             (2) 拡張フェルマテストあるいは円分環テストの展開
             諏訪紀幸 (中央大学), 中村憲 (東京都立大学)

   (昼食)

14:00--15:00 Miller-Rabinの素数判定テストについて
             石川徳子 (東京女子大学), 近藤武

   (休憩)

15:10--15:50 Computation of integral and S-integral points on curves
                of genus one, especially of elliptic curves I *
             Attila Pethoe (Univ. of Debrecen)

   (休憩)

16:00--16:30 Non-Supersingular Elliptic Curves
                for Pairing-based Cryptosystems
             齊藤泰一, 星野文学, 内山成憲, 小林鉄太郎 (NTT)

16:30--17:00 ヴェイユペアリングを用いたグループ署名
             岡崎裕之 (京都工芸繊維大学), 境隆一 (大阪電気通信大学),
             柴山潔 (京都工芸繊維大学), 笠原正雄 (大阪学院大学)

  ------------------------------------------------------------------
10月8日 (水)

10:00--10:50 On Optimal Superimposed Codes
             金賢光 (Kim Hyun Kwang) (浦項工大 POSTECH)

   (休憩)

11:10--11:50 Computation of integral and S-integral points on curves
                of genus one, especially of elliptic curves II *
             Attila Pethoe (Univ. of Debrecen)

   (昼食)

13:50--14:50 Elliptic curves --- the cross-roads
	        of theory and computation
             John H. Coates (Univ. of Cambridge)

   (休憩)

15:10--15:40 Computing in the Jacobian of a $C_{34}$ curve
             金順徳 (東北大学), 森田康夫 (東北大学)

15:40--16:00 巡回的なFp-有理点群をもつ楕円曲線の
                パラメトリックな構成について
             中澤直也 (大阪府立大学)

   (休憩)

16:10--16:40 効率的なモンゴメリ型楕円曲線のスカラ倍演算
             布田裕一 (松下電器), 大森 基司 (松下電器)

### (懇親会) ###

  ------------------------------------------------------------------
10月9日 (木)

10:00--10:40 ユークリッド空間の tight 4-デザインについて
             坂内悦子 (九州大学)

10:40--11:10 貫通直線探索法による実射影平面上
                8直線アレンジメントの生成実験
             福井哲夫 (武庫川女子大学), 関口次郎 (東京農工大学)

   (休憩)

11:40--12:20 Complete coset weight distributions
                of non-self dual binary code
             小関道夫 (山形大学)

   (昼食)

14:00--15:00 形式的検証技術: Logical Framework と Modal Logic *
             萩谷昌己 (東京大学)

   (休憩)

15:30--16:10 Modal Logics for Coalgebras -- A Survey
             蓮尾一郎 (東京工業大学)

16:10--16:40 A preliminary study on domains excluding
		weak-extensionality
             倉田俊彦 (東京都立大学)

16:40--17:10 A bijective CPS-translation between
                classical and intuitionistic proofs
             藤田憲悦 (島根大学)

  ------------------------------------------------------------------
10月10日 (金)

10:00--10:30 数列の添加によるブロックサイファーの強化
             田上恵洋 (広島大学), 萩田真理子 (名古屋工業大学),
             松本眞 (広島大学), 西村拓士 (山形大学)

   (休憩)

10:40--12:10 Explicit upper bounds for |L(1,χ)|
		for primitive characters χ *
             Stephane Louboutin (Luminy 数学研究所)

   (昼食)

13:30--14:20 連分数展開の無限和表現アルゴリズム II
             小松尚夫 (弘前大学)

14:20--14:45 Fundamental systems of units
                for some families of number fields
             Claude Levesque (Univ. Laval)

14:45--15:00 クロージング

リンク:

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

AC2003 報告集

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