AC2011 $B%W%m%0%i%`(B

11$B7n(B7$BF|(B ($B7n(B)

10:20-10:30

Opening

10:30-11:30

[$BFCJL9V1i(B] $B2,K\N6L@(B (NTT$B>pJsN.DL%W%i%C%H%U%)!<%`8&5f=j(B)
"$B4X?t7?0E9f$H$=$N1~MQ(B"

13:30-13:50

$B0BED5.FA(B ($B6e=#@hC<2J3X5;=Q8&5f=j(B), $B]/0f9,0l(B ($B6e=#@hC<2J3X5;=Q8&5f=j(B / $B6e=#Bg3X(B), $B9bLZ9d(B ($B6e=#Bg3X(B)
"Edwards$B6J@~$rMQ$$$?8zN(E*$J%Z%"%j%s%00E9f$N9=@.(B"

13:50-14:20

$BFbED9,42(B ($B5~ETBg3X(B)
"Hyperelliptic net$B$K$h$kD6BJ1_6J@~>e$N(BTate-Lichtenbaum$B%Z%"%j%s%0(B"

14:40-15:20

$B86@%?8(B ($BEl5~Bg3X(B)
"F2-$B@~7A5<;wMp?tH/@8K!$N:GE,2=$N$?$a$N9bB.3J;R4JLs%"%k%4%j%:%`(B"

15:40-16:10

$BI[EDM50l(B, $B2,:jM5G7(B, $B;U6L9/@.(B ($B?.=#Bg3X(B)
"Mizar$B$K$h$kAGBN>e$NBJ1_6J@~$N7A<02=(B"

16:10-16:30

$B2#;3=S0l(B ($B6e=#Bg3X(B)
"$B;j$k=jNI$$4T85$r;}$DBJ1_6J@~$K$D$$$F!'7W;;5!E*

10:00-10:40

$B;3B<7r(B ($BKI1RBg3X9;(B)
"$BBe?tBN$N=d2s3HBg$NITJ,4t(BGalois$B3HBg$N9=B$$K$D$$$F(B"

11:00-11:20

$B?9@nNI;0(B ($BD9:jBg3X!&L>M@65 "$B%o!<%j%s%0(B $B%?%$%W(B $B$NLdBj$rC55a$9$k0Y$N!"$$$/$D$+$N35G0$HJ}K!(B $B-7(B"

11:20-11:40

$B3aC+H~HA(B ($BElKLBg3X(B)
"5 $B

13:30-14:30

[$BFCJL9V1i(B] $B86ED>;98(B ($B;37ABg3X(B / $B#J#S#T$5$-$,$1(B)
"Self-dual codes -an introduction-"

14:50-15:30

$B;3EDM5M}(B ($B0l66Bg3X(B)
"$B%Q%i%U%'%k%_%*%sD:E@:nMQAGBe?t$N(B $C_2$ $BBe?t(B"

15:30-15:50

$BF~9>M$ "$BM-8~%0%i%U$N(B mutation $B$,@8@.$9$k72$K$D$$$F(B"

16:10-16:40

$B9b66K(;R(B ($B@iMUBg3X(B)
"$B=d2s%7%m!<(Bp-$BItJ,72$r$b$DM-8B72$N%9%3%C%H2C72(B"

16:40-17:00

$BOF9n;V(B ($B;37ABg3X(B)
"$J_4$$B$NI=8=9=@.$K$D$$$F(B"

11$B7n(B9$BF|(B ($B?e(B)

10:00-10:20

$BD9C+@nIpGn(B ($B9)3X1!Bg3X(B)
"$B4X?tBN$NEc$K4X$9$k(B Elkies $BM=A[$N?tCME*>Z5r(B II"

10:20-10:50

$B66K\N5B@(B ($B9a@n9bEy@lLg3X9;(B)
"$B4pK\C1?t$NHf3SE*Bg$-$JH=JL<0$NJ,N`$N;n$_(B"

11:10-11:40

$B_7@57{(B ($BL>8E20Bg3X(B)
"$B@0?t$NQQ>hOB$K4X$9$k91Ey<0$H5a@Q8x<0(B"

13:30-14:30

[$BFCJL9V1i(B] $BN)C+MNJ?(B ($B90A0Bg3X(B)
"$B%Q%?!<%s?tNs$N=t@-

14:40-15:10

$BCNG09(;J(B ($B6a5&Bg3X(B), $BEDB&6HBg3X9bEy3X9;(B)
"$BJ?J}>jM>$N>r7o$rIU2C$7$?(B a (mod p) $B$N>jM>0L?t$NJ,I[$K$D$$$F(B"

15:10-15:20

Closing

$B%j%s%/(B:

• $BBh(B 9 $B2s!VBe?t3X$H7W;;!W8&5f=82q(B
• $B!VBe?t3X$H7W;;!W%[!<%`%Z!<%8(B