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

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

$BMm$_L\$N%[%b%m%8!<$H%+%F%4%j%U%#%1!<%7%g%s(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-05-14$B!A(B2007-05-18
$BBeI=$BCfEg!!7<(B($B5~ETBg3XM}3X8&5f2J(B)

$B4v2?3XE*C1MU4X?tO@$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-05-16$B!A(B2007-05-18
$BBeI=$BHxOB!!=E5A(B($B6a5&Bg3XM}9)3XIt(B)

$BHs@~7AGHF05Z$SJ,;67?J}Dx<0$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-05-21$B!A(B2007-05-24
$BBeI=$BCf@>!!8-

$BJQ4972$NM}O@$H$=$N1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-05-28$B!A(B2007-06-01
$BBeI=$BD9:j!!@88w(B($B5~ETI\N)0e2JBg3X0e3XIt(B)

$B%P%J%C%O6u4V!"4X?t6u4V5Z$SITEy<0$N8&5f$H$=$N1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-06-06$B!A(B2007-06-08
$BBeI=$Bc7F#!!5H=u(B($B?73cBg3XM}3XIt(B)

$BNO3X7O$H$=$N1~MQ$K$*$1$k?7E83+(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-06-11$B!A(B2007-06-15
$BBeI=$B6MLZ!!?B(B($B5~ET650iBg3X650i3XIt(B)

$BAH9g$;E*%G%6%$%sM}O@$H$=$N1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-06-11$B!A(B2007-06-13
$BBeI=$BF#86!!NI=G(B($BC^GHBg3X%7%9%F%`>pJs9)3X8&5f2J(B)

$BM-8B
$BIt20!'(B$B#1#1#5!!(B $B4|4V!'(B2007-06-18$B!A(B2007-06-21
$BBeI=$Bc7F#!!63;J(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

$BJQJ,LdBj$H$=$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-06-19$B!A(B2007-06-21
$BBeI=$BCfEg!!

$B9b
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-07-02$B!A(B2007-07-05
$BBeI=$B:4F#!!1I0l(B($B6e=#Bg3X?tM}3X8&5f1!(B)

$B?t<0=hM}8&5f$N?7$?$JH/E8(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-07-04$B!A(B2007-07-06
$BBeI=$BKLK\!!BnLi(B($B;38}Bg3X650i3XIt(B)

$BD4OB2r@O3X$HHs@~7AJPHyJ,J}Dx<0(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-07-09$B!A(B2007-07-11
$BBeI=$BDi!!M@;VM:(B($B5~ETBg3XM}3X8&5f2J(B)

$BN.BN$H5$BN$N(B$B?t3X2r@O(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-07-11$B!A(B2007-07-13
$BBeI=$B@>H*!!?-Li(B($BEl5~9)6HBg3X>pJsM}9)3X8&5f2J(B)

$BItJ,B?MMBNO@$H2D@QJ,7O$*$h$S4v2?2r@O$H$N$D$J$,$j(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-07-11$B!A(B2007-07-13
$BBeI=$B1'ED@n!!@?0l(B($BF|K\Bg3X0e3XIt(B)

$B?tCM:GE,2=$NM}O@$H
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-07-18$B!A(B2007-07-20
$BBeI=$BEDCO!!9(0l(B($BL>8E20Bg3XBg3X1!9)3X8&5f2J(B)

$B%7%s%W%l%/%F%#%C%/4v2?3X$N8&5f(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-07-23$B!A(B2007-07-27
$BBeI=$B?

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

$BHs2CK!$N?tM}$H>pJs!'Hs@~7A@-!&Hs2D49@-$H$N@\(B$BE@(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-08-13$B!A(B2007-08-15
$BBeI=$B<

$B2D@QJ,?tM}$N?7D,N.(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-08-20$B!A(B2007-08-22
$BBeI=$BM3NI!!J89'(B($B8xN)$O$3$@$FL$MhBg3X%7%9%F%`>pJs2J3XIt(B)

Borsuk-Ulam$B7?DjM}$NJQ4972O@E*%"%W%m!<%A(B
$BIt20!'(B102$B!!(B $B4|4V!'(B2007-08-20$B!A(B2007-08-22
$BBeI=$BF#ED!!N<2p(B($BOB2N;39)6H9bEy@lLg3X9;0lHL2JL\(B)

$B?t3X;K$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-08-21$B!A(B2007-08-24
$BBeI=$B>.NS!!N6I'(B($BA0669)2JBg3X9)3XIt(B)

$BM-8B72$N%3%[%b%m%8!
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-08-27$B!A(B2007-08-31
$BBeI=$B:4!9LZ!!MN>k(B($B?.=#Bg3XA43X650i5!9=(B)

$B?t<0=hM}$H650i(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-08-27$B!A(B2007-08-29
$BBeI=$B@6?e!!9nI'(B($BEl5~M}2JBg3XM}3X8&5f2J(B)

$B?7$7$$@8J*?t3X$N8&5f8rN.%W%m%8%'%/%H(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2007-08-27$B!A(B2007-08-31
$BBeI=$B@%Ln!!M5H~(B($B9-EgBg3XM}3X8&5f2J(B)

$BHs@~7A2r@O3X$HFL2r@O3X$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-09-03$B!A(B2007-09-05
$BBeI=$BL@@P!!=ECK(B($BEl5~M}2JBg3XM}9)3XIt(B)

$BJ#AGNO3X7O$H$=$N<~JUJ,Ln$N8&5f(B
$BIt20!'(B$BM}3X(B2$B9f4[!!(B120$B9V5A<$B4|4V!'(B2007-09-03$B!A(B2007-09-06
$BBeI=$B<5AR!!8w9-(B($B5~ETBg3XM}3X8&5f2J(B)

$B72$NI=8=$HEye$ND4OB2r@O(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-09-03$B!A(B2007-09-06
$BBeI=$B5FCS!!9nI'(B($B5~ETBg3XM}3X8&5f2J(B)

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

$B:nMQAG4DO@$N?7E83+(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-09-10$B!A(B2007-09-12
$BBeI=$B>>K\!!7r8c(B($B2#IM;TN)Bg3X9q:]Am9g2J3XIt(B)

$B7+$j9~$_72$N?tM}2J3X$G$N1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-09-12$B!A(B2007-09-14
$BBeI=$B0KEl!!7C0l(B($B@]FnBg3X9)3XIt(B)

$BNO3X7O$HHyJ,4v2?3X(B
$BIt20!'(B202$B!!(B $B4|4V!'(B2007-09-12$B!A(B2007-09-14
$BBeI=$B4d0f!!IRMN(B($B5~ETBg3X>pJs3X8&5f2J(B)

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

$BHs@~7AGHF08=>]$N?tM}$H1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-09-18$B!A(B2007-09-20
$BBeI=$BLpLn!!LT(B($BKL3$F;Bg3X9)3X8&5f2J(B)

$B2D@QJ,7O$K4X$o$k4v2?3X$N8&5f(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-09-25$B!A(B2007-09-28
$BBeI=$B5\2,!!Ni;R(B($B6e=#Bg3X?tM}3X8&5f1!(B)

$B=E$_$D$-%0%i%U$N4v2?$H2r@O(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-10-01$B!A(B2007-10-05
$BBeI=$BHu8}!!M:2p(B($B>

$BHyJ,J}Dx<0$H40A4#W#K#B2r@O(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-10-09$B!A(B2007-10-12
$BBeI=$BC]0f!!5A

$BHs2D492r@O$H%_%/%m!&%^%/%mAPBP@-(B
$BIt20!'(B115(10/17PM$B$N$_#2#0#2!K!!(B $B4|4V!'(B2007-10-15$B!A(B2007-10-17
$BBeI=$B>.Eh!!@t(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

$B?tO@$H3NN(O@(B
$BIt20!'(B202(10/16$B$O9q:]9b(B$BEy8&5f=j!K!!(B $B4|4V!'(B2007-10-15$B!A(B2007-10-16
$BBeI=$B?yED!!MN(B($BBg:eBg3XM}3X8&5f2J(B)

$B0lHL$*$h$S4v2?3XE*%H%]%m%8!<$N8=>u$H=tLdBj(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-10-17$B!A(B2007-10-19
$BBeI=$B2,!!?8J?(B($B9a@nBg3X650i3XIt(B)

$B2r@OE*@0?tO@$H$=$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-10-17$B!A(B2007-10-19
$BBeI=$B@nED!!9@0l(B($B4d

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

$BAH9g$;O@E*I=8=O@$N3H$,$j(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-10-23$B!A(B2007-10-26
$BBeI=$BHx3Q!!@5?M(B($BBg:eBg3X4pAC9)3X8&5f2J(B)

$B@8J*?t3X$NM}O@$H$=$N1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-10-29$B!A(B2007-11-02
$BBeI=$B3a86!!5#(B($B2,;3Bg3X4D6-3X8&5f2J(B)

$B%b%G%kM}O@$N
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-10-29$B!A(B2007-11-01
$BBeI=$BCSED!!9(0lO:(B($BK!@/Bg3X7P1D3XIt(B)

$B4X?tJ}Dx<0O@$K$*$1$k%b%G%j%s%0$HJ#AG2r@O(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-11-05$B!A(B2007-11-08
$BBeI=$BNkLZ!!KcH~(B($B:yH~NSBg3X%j%Y%i%k%"!<%D3X72(B)

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

$BIT3Nu67$K$*$1$k0U;W7hDj$NM}O@$H1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-11-12$B!A(B2007-11-14
$BBeI=$B>.Lx!!=_Fs(B($BD;

$B7W;;2J3X$N4pHW5;=Q$H$7$F$N9bB.%"%k%4%j%:%`$H$=$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-11-14$B!A(B2007-11-16
$BBeI=$BD%!!>RNI(B($BL>8E20Bg3X9)3X8&5f2J(B)

$B%U%!%$%J%s%9$N?tM}2r@O$H$=$N1~MQ(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-11-19$B!A(B2007-11-21
$BBeI=$BLZB

$BL58B
$BIt20!'(B202$B!!(B $B4|4V!'(B2007-11-19$B!A(B2007-11-22
$BBeI=$BF#@n!!1Q2Z(B($B@iMUBg3XM}3X8&5f2J(B)

$B=`<~4|9=B$$N%9%Z%/%H%k2r(B$B@O$H4XO"$9$kOCBj(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-11-19$B!A(B2007-11-21
$BBeI=$B0KF#!!=S

$BBhFs2sF|9k
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-11-26$B!A(B2007-11-29
$BBeI=$B>.CS!!IR;J(B($BJ<8K650iBg3X3X9;650i8&5f2J(B)

$B8xM}E*=89gO@$H=89gO@E*0LAj6u4VO@(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-11-28$B!A(B2007-11-30
$BBeI=$B2EED!!>!(B($BBg:eI\N)Bg3XM}3X7O8&5f2J(B)

$B%H%]%m%8!<$H$=$N1~MQ9q:]2q5D(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-12-03$B!A(B2007-12-07
$BBeI=$B2OLn!!L@(B($B5~ETBg3XM}3X8&5f2J(B)

$B%_%i!N@-$K$*$1$kBe?t4v2?3X$N7wO@E*B&LL(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-12-03$B!A(B2007-12-07
$BBeI=$B|b66!!FF;K(B($BBg:eBg3XM}3X8&5f2J(B)

$BN%;672$HAP6J6u4V$N2r@O3X$H%H%]%m%8!<(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2007-12-10$B!A(B2007-12-14
$BBeI=$BF#0f!!F;I'(B($B5~ETBg3XM}3X8&5f2J(B)

$BBe?tE*@0?tO@$H$=$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-12-10$B!A(B2007-12-14
$BBeI=$BD+ED!!jL(B($B5~ET9)7]A!0]Bg3X9)7]2J3X8&5f2J(B)

$BM-8B72O@$HBe?tE*AH9g$;O@(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2007-12-17$B!A(B2007-12-20
$BBeI=$B86ED!!>;98(B($B;37ABg3XM}3XIt(B)

$BBe?t4v2?3X(B,$B!!2D@QJ,7O(B,$B!!%_%i!N@-$N?7$7$$E83+(B
$BIt(B$B20!'(B420$B!!(B $B4|4V!'(B2008-01-07$B!A(B2008-01-11
$BBeI=$Bc7F#!!@/I'(B($B?@8MBg3XBg3X1!M}3X8&5f2J(B)

$B%9%Z%/%H%k!&;6MpM}O@$H$=$N<~JU(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-01-15$B!A(B2008-01-17
$BBeI=$B0KF#!!9((B($B0&I2Bg3X9)3XIt(B)

$BMpN.8&5f$NE8K>!'%V%l!<%/%9%k!<$r5a$a$F(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-01-16$B!A(B2008-01-18
$BBeI=$BF#!!Dj5A(B($B5~ETBg3XM}3X8&5f2J(B)

$BJ]7?I=8=!&J]7?7A<0$H(BL$B4X?t$N<~JU(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-01-21$B!A(B2008-01-25
$BBeI=$BJ?2l!!0j(B($B5~ETBg3XM}3X8&5f2J(B)

$B:nMQAG4D$H?tM}J*M}3X$N8&5f(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-01-23$B!A(B2008-01-25
$BBeI=$B2OEl!!BYG7(B($BEl5~Bg3X?tM}2J3X8&5f2J(B)

$BM}O@7W;;5!2J3X$N?<2=!'?7$?$J7W;;@$3&4Q$r5a$a$F(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-01-28$B!A(B2008-01-30
$BBeI=$BEOJU!!<#(B($BEl5~9)6HBg3X>pJsM}9)3X8&5f2J(B)

$B@~7A:nMQAG$K4XO"$9$kITEy<0$H$=$N1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-01-30$B!A(B2008-02-01
$BBeI=$BBg5WJ]!!OB5A(B($BKL3$F;650iBg3X650i3XIt(B)

$BN.BN7W;;$K$*$1$k9bB.%"%k%4%j%`$NM}O@$H$=$N1~MQ(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-02-18$B!A(B2008-02-20
$BBeI=$B:d>e!!5.G7(B($BKL3$F;Bg3XM}3X8&5f1!(B)

$BBe?t!"8@8l$N%"%k%4%j%:%`$H7W;;M}O@(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-02-20$B!A(B2008-02-22
$BBeI=$BJFED!!FsNI(B($B?@F`@n9)2JBg3X4pAC!&?tM}%;%s%?!<(B)

$B@8L?8=>]$H4XO"$7$?Hs@~7ALdBj$N?tM}(B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-03-05$B!A(B2008-03-07
$BBeI=$BBg@>!!M&(B($B9-EgBg3XM}3X8&5f2J(B)

$B
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-03-10$B!A(B2008-03-12
$BBeI=$B@VJ?!!>;J8(B($BC^GHBg3X?t3X7O(B)

$B?tM}N.BNNO3X!'Cj>]O@$H7W;;NO3XE*
$BIt20!'(B$B?@8M%$%s%9%F%#%A%e!<%H!!(B $B4|4V!'(B2008-03-15$B!A(B2008-03-18
$BBeI=$B2,K\!!5W(B($B5~ETBg3X?tM}2r@O8&5f=j(B)

$B%2!<%8M}O@!"=ENOM}O@!"D689M}O@!"$*$h$S4XO"$9$k?t3X$N=tLdBj(B
$BIt20!'(B420$B!!(B $B4|4V!'(B2008-03-17$B!A(B2008-03-19
$BBeI=$BBg7*!!Gn;J(B($B%+%j%U%)%k%K%"9)2JBg3X(B)

$B.9=B$>e$G$N
$BIt20!'(B115$B!!(B $B4|4V!'(B2008-03-17$B!A(B2008-03-19
$BBeI=$BEDCf!!9-;V(B($B0$Fn9)6H9bEy@lLg3X9;0lHL652J(B)

$BD9(B$B4|8&5f0w(B

$BB??t$NM-M}E@$r;}$DBe?t6J@~$N8&5f5Z$SId9fM}O@$X$N1~MQ(B
$BIt20!'(B$B!!(B $B4|4V!'(B2007-04-01$B!A(B2008-03-31
$B8&5f$B@nKL!!AG;R(B($B<"2l0e2JBg3X@8L?2J3X9V:B(B)

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

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

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

$BD9(B$B4|8&5f0w(B

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

$BD9(B$B4|8&5f0w(B