$B5~ETBg3X?tM}2r@O8&5f=j(B

$B8&5f=82q%j%9%H(B

$BJQ4972$N4v2?$H$=$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-05-19$B!A(B2008-05-23
$BBeI=$B86!!Lw9@(B($BBg:eBg3XM}3X8&5f2J(B)

$BHs2r@OE*C1MU4X?t$H$=$N1~MQ$K$D$$$F$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-05-21$B!A(B2008-05-23
$BBeI=$BHxOB!!=E5A(B($B6a5&Bg3XM}9)3XIt(B)

$BHs@~7AAP6J7?$*$h$SJ,;67?J}Dx<0$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-05-26$B!A(B2008-05-29
$BBeI=$B:=@n!!=(L@(B($BBg:eBg3XM}3X8&5f2J(B)

$B40A4(BWKB$B2r@O$HD66I=j2r@O(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-05-26$B!A(B2008-05-30
$BBeI=$B>.CS!!C#Li(B($B?@8MBg3XM}3X8&5f2J(B)

$B?t3X65;U$KI,MW$J?t3XG=NO7A@.$K4X$9$k8&5f!J#12sL\!K(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2008-05-27$B!A(B2008-05-29
$BBeI=$B3*9>!!9,Gn(B($B;0=EBg3X650i3XIt(B)

Bergman$B3K$HBe?t4v2?$X$N1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-06-04$B!A(B2008-06-06
$BBeI=$BBgBt!!7rIW(B($BL>8E20Bg3XB?85?tM}2J3X8&5f2J(B)

$B%P%J%C%O6u4V5Z$S4X?t6u4VO@$N:G6a$N?JE8$H$=$N(B$B1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-06-04$B!A(B2008-06-06
$BBeI=$B:XF#!!5H=u(B($B?73cBg3XM}3XIt(B)

$BAH9g$;:GE,2=$HN%;6%"%k%4%j%:%`(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-06-09$B!A(B2008-06-13
$BBeI=$B4dED!!3P(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

moduli$B6u4V$HAPM-M}4v2?(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-06-09$B!A(B2008-06-13
$BBeI=$B>>2

$BItJ,B?MMBN$NHyJ,4v2?3X$*$h$S$=$N<~JUNN0h$N8&5f(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-06-23$B!A(B2008-06-25
$BBeI=$B2,0B!!N4(B($B0q>kBg3X650i3XIt(B)

$BJQJ,LdBj$H$=$N<~JU(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-06-23$B!A(B2008-06-25
$BBeI=$B%t%!%$%9!!%2%*%0(B($BEl5~Bg3X?tM}2J3X8&5f2J(B)

$B%Q%?!<%s%@%$%J%_%/%9$N?tM}$H$=$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-06-25$B!A(B2008-06-27
$BBeI=$B1I!!?-0lO:(B($B6e=#Bg3X?tM}3X8&5f1!(B)

$BHyJ,J}Dx<0$NG4@-2r$H$=$N<~JU(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-06-25$B!A(B2008-06-27
$BBeI=$B@P0f!!?N;J(B($BAa0pEDBg(B$B3X650i!&Am9g2J3X3X=Q1!(B)

$B7W;;5!%7%9%F%`$N8!>Z$K$*$1$kBe?tE*!&M>Be?tE*9=B$(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2008-06-30$B!A(B2008-07-02
$BBeI=$BO!Hx!!0lO:(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

L$B4X?t$NCMJ,I[$H4X78$9$k?tO@E*$J=t4X?t$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-07-01$B!A(B2008-07-04
$BBeI=$B>>K\!!9LFs(B($BL>8E20Bg3XB?85?tM}2J3X8&5f2J(B)

$BD4OB2r@O$HHs@~7AJPHyJ,J}Dx<0(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-07-07$B!A(B2008-07-09
$BBeI=$B>._7!!E0(B($BKL3$F;Bg3XM}3X8&5f1!(B)

$B3NN(?tCM2r@O$K1w$1$k=tLdBj$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-07-07$B!A(B2008-07-09
$BBeI=$B>.@n!!=E5A(B($BN)L?4[Bg3XM}9)3XIt(B)

$BN.BN$H5$BN$N?t3X2r@O(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-07-09$B!A(B2008-07-11
$BBeI=$B1#5o!!NI9T(B($B6e=#Bg3X?tM}3X8&5f1!(B)

$B%*%$%i!
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-07-16$B!A(B2008-07-18
$BBeI=$BJ!K\!!9/=((B($B6e=#Bg3X?tM}3X8&5f1!(B)

$B#2#1@$5*$N?tM}7W2h!':GE,2=%b%G%k$H%"%k%4%j%:%`(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-07-23$B!A(B2008-07-25
$BBeI=(B$B$B5WLn!!M@?M(B($BC^GHBg3X%7%9%F%`>pJs9)3X8&5f2J(B)

$BAH9g$;:GE,2=%;%_%J!<(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-07-28$B!A(B2008-07-30
$BBeI=$BF#=E!!8g(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

$B%/%m!<%sM}O@$HN%;6?t3X(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-07-28$B!A(B2008-07-30
$BBeI=$BD.ED!!85(B($B0l66Bg3X>&3X8&5f2J(B)

$B?t3X;K$N8&5f(B
$BIt20!'(B$BG@3XIt9V5A<<(B W-102$B!!(B $B4|4V!'(B2008-08-04$B!A(B2008-08-06
$BBeI=$B>.NS!!N6I'(B($BA0669)2JBg3X9)3XIt(B)

$B2D@QJ,?tM}$N3H$,$j(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-08-11$B!A(B2008-08-13
$BBeI=$BLnn4!!8|(B($BBg:eBg3X4pAC9)3X8&5f2J(B)

$BAP6J6u4V>e$NHyJ,J}Dx<0$KBP$9$kD66I=j2r@O$H4v2?2r@O(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-08-11$B!A(B2008-08-13
$BBeI=$Bd*!!CNG7(B($BC^GHBg3X?tM}J*

$BAH9g$;O@E*=89gO@$H5-=R=89gO@(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-08-25$B!A(B2008-08-29
$BBeI=$B%V%l%s%I%l!!%h!<%0(B($B?@8MBg3X9)3X8&5f2J(B)

$BHs2CK!@-$N?tM}$H>pJs!'Hs2CK!@-$HFL2r@O(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-08-25$B!A(B2008-08-27
$BBeI=$B2,:j!!1YL@(B($B6e=#9)6HBg3X>pJs9)3XIt(B)

$B?t<0=hM}$H650i!'?t3X650i$K$*$1$k?t<0=hM}%7%9%F%`$N8z2LE*MxMQ$K4X$9$k8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-08-27$B!A(B2008-08-29
$BBeI=$B@6?e!!9nI'(B($BEl5~M}2JBg3XM}3X8&5f2J(B)

$BHs@~7A2r@O3X$HFL2r@O3X$N8&5f(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-09-01$B!A(B2008-09-03
$BBeI=$B9b66!!>D(B($BEl5~9)6HBg3X>pJsM}9)3X8&5f2J(B)

$B5*MW$NEE;R2=$H<~JU$NOCBj(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-09-02$B!A(B2008-09-03
$BBeI=$B9TLZ!!9'IW(B($BKL3$F;Bg3XM}3X8&5f1!(B)

$B>ZL@O@$HO@M}!&7W;;$N9=B$(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-09-08$B!A(B2008-09-10
$BBeI=$BARED!!=SI'(B($BK!@/Bg3X7P1D3XIt(B)

$B:nMQAG4DO@$K$*$1$k=tLdBj(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-09-10$B!A(B2008-09-12
$BBeI=$B;3%NFb!!5#I'(B($BKL3$F;Bg3XM}3X8&5f1!(B)

$B:F@83K$N1~MQ$K$D$$$F$N8&5f(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-09-10$B!A(B2008-09-12
$BBeI=$Bc7F#!!;0O:(B($B72GOBg3X9)3X8&5f2J(B)

$BI=8=O@$HHs2D49D4OB2r@O$K$*$1$k?7$7$$;kE@(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-09-16$B!A(B2008-09-19
$BBeI=$B0KF#!!L-(B($B

$B<+8JAj;w9=B$$H<+8JAH?%2=$K4X$9$kA26a2r@O(B
$BIt20!'(B$BG@3XIt9V5A<$B4|4V!'(B2008-09-16$B!A(B2008-09-18
$BBeI=$B>.@n!!Bn9n(B($BElKLBg3XM}3X8&5f2J(B)

$BNs5sLdBj$KBP$9$k7W;;$N9bB.2=$H2D;k2=(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-09-29$B!A(B2008-09-30
$BBeI=$B1J;}!!?N(B($B5~ETBg3X>pJs3X8&5f2J(B)

$Br7o$H0x;R$,;YG[$9$k%0%i%U$N4v2?$H2r@O(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2008-09-29$B!A(B2008-10-03
$BBeI=$BHu8}!!M:2p(B($B>

$BAP6J@-$rD6$($?0LAjNO3X7O$N?7E83+(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-09-29$B!A(B2008-10-03
$BBeI=$B6MLZ!!?B(B($B5~ET650iBg3X?t3X2J(B)

$B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-10-01$B!A(B2008-10-03
$BBeI=$B0KF#!!=S

$B0lHL!&4v2?3XE*%H%]%m%8!<$N8&5fF08~$H=tLdBj(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-10-07$B!A(B2008-10-09
$BBeI=$B0KF#!!=!I'(B($B9bCNBg3XM}3XIt(B)

$BAH9g$;O@E*I=8=O@$N3H$,$j(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-10-07$B!A(B2008-10-10
$BBeI=$B5\CO!!J<1R(B($BL>8E20Bg3XB?85?tM}2J3X8&5f2J(B)

$BBe?tE*Id9fM}O@$HAH9g$;%G%6%$%s(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-10-14$B!A(B2008-10-16
$BBeI=$B>kK\!!7<2p(B($B0&CN8)N)Bg3X>pJs2J3XIt(B)

$B7W;;4v2?3X$HN%;6?t3X%o!<%/%7%g%C%W(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-10-16$B!A(B2008-10-19
$BBeI=$BFA;3!!9k(B($BElKLBg3X>pJs2J3X8&5f2J(B)

$BHs@~7AGHF08=>]$N?tM}$H1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-10-21$B!A(B2008-10-23
$BBeI=$BLpLn!!LT(B($BBg:eBg3X9)3X8&5f2J(B)

$BE}7WE*?dB,$X$N%Y%$%:E*%"%W%m!<%A$H$=$l$K4XO"$9$kOCBj(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-10-22$B!A(B2008-10-24
$BBeI=$B@VJ?!!>;J8(B($BC^GHBg3X?tM}J*

$B2r@OE*@0?tO@$N?7$7$$E83+(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-10-27$B!A(B2008-10-29
$BBeI=$B>.>>!!>0IW(B($B90A0Bg3XM}9)3X8&5f2J(B)

$B%&%'!<%V%l%C%H$N9=@.K!$HM}9)3XE*1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-10-27$B!A(B2008-10-28
$BBeI=$B;3ED!!F;IW(B($B5~ETBg3X(B$B?tM}2r@O8&5f=j(B)

$B:nMQAGO@$X$N4v2?3X$N1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-10-29$B!A(B2008-10-31
$BBeI=$BF#0f!!@5=S(B($BBg:e650iBg3X650i3XIt(B)

$BHs2D492r@O$H%_%/%m!&%^%/%mAPBP@-(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-11-04$B!A(B2008-11-06
$BBeI=$B>.Eh!!@t(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

$B4X?tJ}Dx<0$N%@%$%J%_%/%9$H?tM}%b%G%k(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-11-04$B!A(B2008-11-07
$BBeI=$B>.C+!!7r;J(B($B0&CN650iBg3X?t3X650i9V:B(B)

$BIT3N
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-11-10$B!A(B2008-11-12
$BBeI=$BBgoI!!;KCK(B($BL>8E209)6HBg3X9)3X8&5f2J(B)

$B%b%G%kM}O@$H$=$NBe?t$X$N1~MQ(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2008-11-10$B!A(B2008-11-12
$BBeI=$BEDCf!!9n8J(B($B2,;3Bg3X%"%I%_%C(B$B%7%g%s%;%s%?!<(B)

$B?tCM2r@O$K$*$1$kM}O@!&
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-11-12$B!A(B2008-11-14
$BBeI=$B5FCO!!J8M:(B($BEl5~Bg3X?tM}2J3X8&5f2J(B)

$BHs@~7AH/E8J}Dx<0$H8=>]$N?tM}(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-11-17$B!A(B2008-11-19
$BBeI=$B;3ED!!5AM:(B($BAa0pEDBg3XM}9)3X=Q1!(B)

$BM-8B72$HBe?t$NI=8=O@$*$h$S$=$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-11-20$B!A(B2008-11-21
$BBeI=$B1[C+!!=EIW(B($B@iMUBg3XM}3X8&5f2J(B)

Computer Algebra-Design of Algorithms, Implementations and Applications
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-11-25$B!A(B2008-11-27
$BBeI=$BF#K\!!8w;K(B($BJ!2,650iBg3X650i3XIt(B)

$B7P:Q$N?tM}2r@O(B
$BIt20!'(B$B5~Bg2q4[!!(B $B4|4V!'(B2008-11-28$B!A(B2008-11-30
$BBeI=$B4];3!!E0(B($B7DXf5A=NBg3X7P:Q3XIt(B)

$BFC0[E@2r>C$K$D$$$F(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-12-01$B!A(B2008-12-05
$BBeI=$B?9!!=EJ8(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

$B?t3X65;U$KI,MW$J?t3XG=NO7A@.$K4X$9$k8&5f!J#22sL\!K(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2008-12-01$B!A(B2008-12-04
$BBeI=$B3*9>!!9,Gn(B($B;0=EBg3X650i3XIt(B)

$B%9%Z%/%H%k!&;6MpM}O@$H$=$N<~JU(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-12-03$B!A(B2008-12-05
$BBeI=$BF#2H!!@cO/(B($BJ<8K8)N)Bg3XJ*

$BBe?tE*@0?tO@$H$=$N<~JU(B
$BIt(B$B20!'(B420$B!!(B $B4|4V!'(B2008-12-08$B!A(B2008-12-12
$BBeI=$BCfB<(B($B2,;3Bg3XM}3XIt(B)

$BHyJ,J}Dx<0$HHyJ,4v2?3X$X$N1~MQFC0[E@O@(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-12-08$B!A(B2008-12-11
$BBeI=$B9b66!!2mJ~(B($B<

$B@8J*8=>]$KBP$9$k%b%G%j%s%0$N?tM}(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2008-12-08$B!A(B2008-12-12
$BBeI=$B@%Ln!!M5H~(B($B9-EgBg3XM}3X8&5f2J(B)

$BMUAX$NHyJ,4v2?$H%Y%k%0%^%s3K(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-12-15$B!A(B2008-12-17
$BBeI=$BBgBt!!7rIW(B($BL>8E20Bg3XB?85?tM}2J3X8&5f2J(B)

$BE_3X9;!'%0%i%U$H%"%k%4%j%:%`(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-12-17$B!A(B2008-12-22
$BBeI=$B2O86NS!!7r0l(B($B9qN)>pJs3X8&5f=j(B)

$BN%;6NO3X7O$NJ,;R:YK&@8J*3X$X$N1~MQ?tM}(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2009-01-05$B!A(B2009-01-09
$BBeI=$B2CF#!!5#(B($B5~ETBg3XM}3X8&5f2J(B)

$BM-8B72!&D:E@:nMQAGBe?t$HAH9g$;O@(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2009-01-06$B!A(B2009-01-09
$BBeI=$B;3ED!!M5M}(B($B0l66Bg3X7P:Q3X8&5f2J(B)

$B@8J*?t3X$NM}O@$H$=$N1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2009-01-13$B!A(B2009-01-16
$BBeI=$B:YLn!!M:;0(B($B5~ET;:6HBg3XM}3XIt(B)

$BMpN.$NB?=E@-!&3,AX@-$H$=$N?tM}E*9=B$(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2009-01-14$B!A(B2009-01-16
$BBeI=$BF#!!Dj5A(B($B5~ETBg3XM}3X8&5f2J(B)

$BJ]7?I=8=$HJ]7?(BL-$B4X?t$N?tO@E*8&5f(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2009-01-19$B!A(B2009-01-23
$BBeI=$B@P@n!!2B90(B($B2,;3Bg3X<+A32J3X8&5f2J(B)

$BM}O@7W;;5!2J3X$N?<2=$H1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2009-02-02$B!A(B2009-02-04
$BBeI=$B4d4V!!0lM:(B($B5~ETBg3X>pJs3X8&5f2J(B)

$BHyJ,J}Dx<0$N%b%N%I%m%_!<$r$a$0$k=tLdBj(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2009-02-03$B!A(B2009-02-06
$BBeI=$BLZB

$BL5(B$B8B3,5
$BIt20!'(B115$B!!(B $B4|4V!'(B2009-02-13$B!A(B2009-02-14
$BBeI=$B@DLZ!!5.;K(B($B6a5&Bg3XM}9)3XIt(B)

$BBe?t7O%"%k%4%j%:%`$H8@8l$*$h$S7W;;M}O@(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2009-02-16$B!A(B2009-02-18
$BBeI=$BJFED!!FsNI(B($B?@F`@n9)2JBg3X4pAC!&65M\650i%;(B$B%s%?!<(B)

$B%]%F%s%7%c%kO@$H$=$N4XO"J,Ln(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2009-02-16$B!A(B2009-02-18
$BBeI=$B@>Hx!!>;<#(B($BBg:e;TN)Bg3XM}3X8&5f2J(B)

$BD94|8&5f0w(B

$B%Q%s%k%t%'J}Dx<0$NFC
$BIt20!'(B$B!!(B $B4|4V!'(B2008-04-01$B!A(B2009-03-31
$B8&5f$B6b;R!!OBM:(B()

$B6RNm2r@O$NE83+$HHyJ,J}Dx<0$N4v2?3XE*72O@E*8&5f(B
$BIt20!'(B$B!!(B $B4|4V!'(B2008-04-01$B!A(B2009-03-31
$B8&5f$B?9K\!!E0(B()

$B2a5n$N8&5f=82q(B

$B5~ETBg3X?tM}2r@O8&5f=j(B

$B8&5f=82q%j%9%H(B

$BD94|8&5f0w(B

$B8&5f=82q%j%9%H(B

$BD94|8&5f0w(B