🚀 go-pugleaf

SWoPP'92 $BF|8~Fg$N%W%m%0%i%`$,$G$-$^$7$?!%$^$@!$JQ99(B
$B$,$"$k$+$bCN$l$^$;$s!%$=$N;]!$8f>5CN$*$-2<$5$$!%$J$*!$(B
$B;22C?=$79~$_Ey$K4X$7$F$O(B <1992Jun14.145956.8924@etl.go.jp>
SWoPP'92 Hyuganada: Call For Participation $B$r;2>H$7$F2<$5$$!%(B

                    $B4X8}CR;L!wEEAm8&!J$*@$OCLr$N$R$H$j!K(B
----------------------------------------------------------

                             ADVANCE  PROGRAM
                        $B!](B5th Annual Workshop$B!](B
                          $B#S#W#o#P#PF|8~Fg(B'$B#9#2(B

$B#1#9#9#2G/(B $BJBNs!?J,;6!?6(D4=hM}$K4X$9$k!XF|8~Fg!Y%5%^!<!&%o!<%/%7%g%C%W(B
         1992 ``HYUGA-NADA'' Summer United Workshops on Parallel,
                 Distributed, and Cooperative Processing
                 $B#1#9#9#2G/#87n#1#9F|!J?e!K(B-$B#2#1F|!J6b!K(B
                   $B%7!<%5%$%I%[%F%k%U%'%K%C%/%9!J5\:j!K(B

               $BEE;R>pJsDL?.3X2q(B $B%3%s%T%e!<%?%7%9%F%`8&5f2q(B
                $BEE;R>pJsDL?.3X2q(B $B?M9)CNG=$HCN<1=hM}8&5f2q(B
           $BEE;R>pJsDL?.3X2q(B $B%&%'!<%O%9%1!<%k=8@Q%7%9%F%`8&5f2q(B
                 $B>pJs=hM}3X2q(B $B7W;;5!%"!<%-%F%/%A%c8&5f2q(B
              $B>pJs=hM}3X2q(B $B%*%Z%l!<%F%#%s%0!&%7%9%F%`8&5f2q(B
                       $B>pJs=hM}3X2q(B $B?tCM2r@O8&5f2q(B
          $B>pJs=hM}3X2q(B $B%W%m%0%i%_%s%0!]8@8l!&4pAC!&<BA)!]8&5f2q(B
                  $B?M9)CNG=3X2q(B $BCN<1%Y!<%9%7%9%F%`8&5f2q(B

------------------------------------------------------------------------
                           SCHEDULE AT A GLANCE

$B!!!!!!!!!!!!!!!!!!!!!!!!!!#A2q>l!!!!!!!!(B $B#B2q>l!!!!!!(B $B!!(B $B#C2q>l(B
$B#1#9F|!J?e!K(B8:45-10:15  ARC-1[3$B7o(B]       OS-1[3$B7o(B] 
           10:30-12:30  ARC-2[4$B7o(B]       OS-2[3$B7o(B] 
           13:30-15:30  ARC-3[4$B7o(B]       OS-3[4$B7o(B]       CPSY-1[4$B7o(B]
           15:45-17:45  ARC-4[4$B7o(B]       OS-4[4$B7o(B]       CPSY-2[4$B7o(B]
           19:00-21:00  --------------- $B%Q%M%kF$O@(B ----------------
 
$B#2#0F|!JLZ!K(B8:45-10:15  NA-1[2$B7o(B]        ARC-5[2$B7o(B]      CPSY-3[3$B7o(B]
           10:30-12:30  NA-2[4$B7o(B]        PRG-1[4$B7o(B]      CPSY-4[4$B7o(B]
           13:30-15:30  WSI-1[4$B7o(B]       PRG-2[4$B7o(B]      CPSY-5[4$B7o(B]
           15:45-17:45  WSI-2[4$B7o(B]       PRG-3[4$B7o(B]      AI-1[4$B7o(B]
$B!!!!!!!!!!(B 19:00-20:30  ---------------  $B:)?F2q(B  ------------------

$B#2#1F|!J6b!K(B8:45-10:15  CPSY-6[3$B7o(B]      PRG-4[3$B7o(B]      AI-2[3$B7o(B]
           10:30-12:30  CPSY-7[4$B7o(B]      PRG-5[4$B7o(B]      AI-3[3$B7o(B]
           13:30-15:30  CPSY-8[4$B7o(B]      PRG-6[4$B7o(B]      AI-4[4$B7o(B]
           15:45-17:45  CPSY-9[3$B7o(B]      PRG-7[4$B7o(B]      AI-5[3$B7o(B]
------------------------------------------------------------------------

$B"#7W;;5!%"!<%-%F%/%A%c8&5f2q(B(ARC)
$B!!%F(B $B!<(B $B%^!'JBNs!?J,;6!?6(D4%7%9%F%`!&%"!<%-%F%/%A%c(B
$B!!!!!!!!!!(B  $B!]<BNc$K$*$1$kDjNLE*@-G=I>2A!](B
$B!!9V1i7o?t!'#1#77o(B
$B!!F|(B $B!!;~(B $B!'#87n#1#9F|!J?e!K(B8:45-17:45
        $B!!(B      $B#2#0F|!JLZ!K(B9:15-10:15
$B!~%;%C%7%g%s(B ARC-1$B!L(B19$BF|(B8:45-10:15$B!M!'?7%^%7%s(B
$B!!!&J,;66&M-%a%b%j7?%^%k%A%W%m%;%C%5!V#A#S#U#R#A!W$N3,AX@-$H$=$NI>2A(B
                        $B>k(B $BOB5.!$Lx86(B $B<i!$%G%S%C%I!&%U%l%$%6!<!$EDCf9b;N!$(B
                 $B?7EDGnG7!J%/%\%?!K!$?9(B $BbC0lO:!$c7F#=(<y!$IYEDbC<#!J5~Bg!K(B
$B!!!&%$%Y%s%HBP1~7?%-%c%C%7%e!&%3%R!<%l%s%9@)8fJ}<0$H$=$N%P%j%"F14|$X$N1~MQ(B
              $Bc7F#=(<y!$?9(B $BbC0lO:!J5~Bg!K!$>k(B $BOB5.!$%G%S%C%I!&%U%l%$%6!<!$(B
                                      $BEDCf9b;N!J%/%\%?!K!$IYEDbC<#!J5~Bg!K(B
$B!!!&JBNs%^%7%s(BCenju2$B$N%"!<%-%F%/%A%c(B
                            $B>>2<(B $BCR!$;3Fb(B $B=!!$CfEDEP;VG7!$>.CS@?I'!JF|EE!K(B

$B!~%;%C%7%g%s(B ARC-2$B!L(B19$BF|(B10:30-12:30$B!M!'Aj8_7k9gLV$NI>2A(B
$B!!!&D6JBNs7W;;5!$N%M%C%H%o!<%/$N<B8=2DG=@-$H@-G=I>2A(B
      $B@FF#E/Li!$?9K\5.G7!$0L<i90=<!$KQ(B $BBYM4!$CfB<(B $B9(!$Cf_74n;0O:!JC^GHBg!K(B
$B!!!&%H!<%i%9!&%j%s%0!&%P%93,AX7?%"!<%-%F%/%A%c(B
                                  $B0KF#Bs!$>.H*@55.!$5\3@2ELi!J2,;3M}2JBg!K(B
$B!!!&%0%k!<%W6&M-%a%b%j$r;}$C$?=@Fp$J3J;R7k9g7?%^%k%A%^%$%/%m%W%m%;%C%5(B
 $B!!!J#F#M#M!K(B
                            $BDM869(5|!$4d:,2mI'!J6e9)Bg!K!$1::jD>I'!JEl<G!K(B
$B!!!&?.9f=hM}$K$*$1$k%P%97k9g7?$HB?CJ7k9gLV7?$NJBNs7W;;5!$N@-G=Hf3S(B
                         $B?eLn@/<#!$5\EDM59T!$0k@>E0L@!$?{(B $BN4;V!J;0I)EE5!!K(B

$B!~%;%C%7%g%s(B ARC-3$B!L(B19$BF|(B13:30-15:30$B!M!'DL?.J}<0$NI>2A(B
$B!!!&%M%C%H%o!<%/$rMQ$$$?9bB.%9%L!<%W5!9=(B
                                          $BB<ED9@<y!$@6?eLPB'!JF|K\#I#B#M!K(B
$B!!!&7W;;5!%M%C%H%o!<%/$NE,1~7PO)@)8fJ}<0(BP-ROUTING
                      $BBgDm?.G7!JF|K\#I#B#M!K!$>.NS9-L@!$CfB<0]CK!JElKLBg!K(B
$B!!!&%a%C%;!<%8%l%Y%k%7%_%e%l!<%?(B
                                                      $BKY9>7r;V!JIY;NDL8&!K(B
$B!!!&3,AX9=B$$r$b$DJ,;6%a%b%j7?D6JBNs7W;;5!#M#A#N#D#A#L#A$N@_7W(B
          $B2CG<BnLi!$9-ED>!5W!$F#K\LP71!$(BAndrew Flavell$B!$9b665AB$!JFAEgBg!K(B

$B!~%;%C%7%g%s(B ARC-4$B!L(B19$BF|(B15:45-17:45$B!M!'%7%9%F%`I>2A(B
$B!!!&(BAP1000$B$N@-G=I>2A(B
                                                      $B@6?e=S9,!JIY;NDL8&!K(B
$B!!!&(BNormal Hypercube Algorithm Performance on the AP1000
                                                     I. Chuang$B!JIY;NDL8&!K(B
$B!!!&(BFortran$B%W%m%0%i%`$N3,AXE*%^%/%m%G!<%?%U%m!<=hM}<jK!(B
                           $B2,K\2mL&!$9gED7{?M!$Hx7A(B $B9R!$5HEDL@@5!JAaBg!K!$(B
                                      $BK\B?90<y!J;3M|Bg!K!$3^86GnFA!JAaBg!K(B
$B!!!&2J3X5;=Q7W;;MQ%G!<%?6nF07W;;5!(BSIGMA-1$B$K$*$1$k:GE,2=5;K!$NI>2A(B
                     $BJ?LZ(B $B7I!JElBg!?EEAm8&!K!$EgED=SIW!$4X8}CR;L!JEEAm8&!K(B

$B!~%;%C%7%g%s(B ARC-5$B!L(B20$BF|(B9:15-10:15$B!M!'#D#B%^%7%s!?#S#I#M#D%^%7%sI>2A(B
$B!!!&%9!<%Q!<%G!<%?%Y!<%9%3%s%T%e!<%?(B(SDC)$B$N%P%1%C%HJ?C32=%M%C%H%o!<%/$K(B
$B!!!!$*$1$k=LB`F0:n;Y1g%"%k%4%j%:%`$H$=$NI>2A(B
                            $BEDB<9'G7!$CfB<(B $BL-!$4nO"@n(B $BM%!$9bLZ44M:!JElBg!K(B
$B!!!&#S#I#M#D7?D6JBNs7W;;5!#S#M!]#1!J2>>N!K$N35MW$H$=$N@-G=(B
                              $B>>ED85I'!J=;M'6bB0!K!$Er@uB@0l!JK-665;2JBg!K(B


$B"#%*%Z%l!]%F%#%s%0!&%7%9%F%`8&5f2q(B(OS)
  $B%F(B $B!<(B $B%^!'JBNs!?J,;6!?6(D4%*%Z%l!]%F%#%s%0!&%7%9%F%`(B
  $B9V1i7o?t!'#1#47o(B
$B!!F|!!(B $B;~(B $B!'#87n#1#9F|!J?e!K(B8:45-17:45

$B!~%;%C%7%g%s(B OS-1$B!L(B19$BF|(B8:45-10:15$B!M!'JBNs!?J,;6%7%9%F%`(B
$B!!!&J,;6%7%9%F%`$K$*$1$kAw?.%G!<%?M=LsJ}<0$K$h$kE>AwJ}K!!!(B
                                $B;3:,5A9'!J;M9q2=9)5!!K!$9b665AB$!JFAEgBg!K(B
$B!!!&J,;6%H%i%s%6%/%7%g%s%7%9%F%`(BIXI$B$K$*$1$k%H%i%s%6%/%7%g%s4IM}J}<0(B
             $B1|B<9/CK!$Bg5WJ]1Q;L!$BgLn(B $BK-!JN)L?4[Bg!K!$Gr@nMN=<!J6a5&Bg!K(B
$B!!!&1i;;;~4V5Z$SDL?.NLI>2A$r2DG=$H$9$kJBNs7W;;5!%7%_%e%l!<%?$N9=C[(B
                                            $BB<ED1QL@!$IMB<1QI'!J;0I)=E9)!K(B
    
$B!~%;%C%7%g%s(B OS-2$B!L(B19$BF|(B10:30-12:00$B!M!'%*%Z%l!]%F%#%s%0!&%7%9%F%`9=@.K!(B
$B!!!&JBNs%*%Z%l!]%F%#%s%0!&%7%9%F%`(B"K1"$B!]%a%C%;!<%8%W!<%k5!9=!]!!(B
                             $B5\:j51<y!$7,;32m9T!$:G=j7=;0!$J!ED(B $B98!J6eBg!K(B
$B!!!&(B64$B%S%C%H%"%I%l%96u4V$rMQ$$$?6(D4E*%7%9%F%`$N9=C[!!(B
                                      $BCv86LPOB!$2CF#OBI'!$1WEDN4;J!JElBg!K(B
$B!!!&1JB3%*%V%8%'%/%H$K$h$k%*%Z%l!<%F%#%s%0%7%9%F%`$N9=@.(B
             $BJ?@%5HLi!$Bg5WJ]1Q;L!$BgLn(B $BK-!JN)L?4[Bg!K!$Gr@nMN=<!J6a5&Bg!K(B

$B!~%;%C%7%g%s(B OS-3$B!L(B19$BF|(B13:30-15:30$B!M!'%W%m%;%94IM}(B
$B!!!&B??t%W%m%;%9@8@.$N9bB.2=<jK!(B 
                                        $B2#;3OB=S!$C+8}=(IW!J#N#T#T%G!<%?!K(B
$B!!!&%*%V%8%'%/%H;X8~%*%Z%l!<%F%#%s%0%7%9%F%`(BOzone$B$N%W%m%;%94IM}It$N<B8=(B
           $B0KF&EDOBLi!$Bg5WJ]1Q;L!$BgLn(B $BK-!JN)L?4[Bg!K!$Gr@nMN=<!J6a5&Bg!K(B
$B!!!&(BA Two-level Scheduling Scheme for Shared Memory Multiprocessors
                                        Joe A. Uemura$B!$?{(B $BN4;V!J;0I)EE5!!K(B
$B!!!&(BDatarol$B%"!<%-%F%/%A%c$K$*$1$k%9%l%C%I<B9T5!9=$K4X$9$k9M;!(B
               $B@nLnE/@8!$@1=P9b=(!$F|2<It(B $BLP!$C+8}NQ0lO:!$1+5\???M!J6eBg!K(B

$B!~%;%C%7%g%s(B OS-4$B!L(B19$BF|(B15:45-17:45$B!M!'I>2A$*$h$S%O!<%I%&%'%"!&%5%]!<%H(B
$B!!!&(BMP UNIX$B$K$*$1$k%G%P%$%9%"%/%;%9<jK!$NHf3S(B
                            $B2OFbC+@65W?N!$GrD;IR9,!$;3:jHk:=!JF|K\#I#B#M!K(B
$B!!!&<B;~4VMQAj8_7k9gLV$NI>2A!!!!(B
                          $B8MED8-Fs!$@>ED7r<!!$FbKY5A?.!$EgED=SIW!JEEAm8&!K(B
$B!!!&6(D4%?%9%/%P%C%/%"%C%WJ}<0$N%j%"%k%?%$%`@-G=I>2A!!!!(B
                                                      $B?@M>9@IW!J;0I)EE5!!K(B
$B!!!&%W%m%;%94VDL?.$r%5%]!<%H$9$k%*%s!&%a%b%j(B FIFO $B5!9=(B
                                     $B8^Eg@5M5!$?9(B $B?50lO:!$IYEDbC<#!J5~Bg!K(B


$B"#%3%s%T%e!<%?%7%9%F%`8&5f2q(B(CPSY)
  $B%F(B $B!<(B $B%^!'JBNs=hM}0lHL(B
  $B9V1i7o?t!'#3#37o(B
$B!!F|(B   $B;~(B $B!'#87n#1#9F|!J?e!K(B13:30-17:45
$B!!!!!!!!!!!!!!!!#2#0F|!JLZ!K(B 8:45-15:30
$B!!!!!!!!!!!!!!!!#2#1F|!J6b!K(B 8:45-17:15

$B!~%;%C%7%g%s(B CPSY-1$B!L(B19$BF|(B13:30-15:30$B!M!'(B $B%K%e!<%i%k%M%C%H%o!<%/$H(BPDP$B%b%G%k(B
$B!!!&3NN)E*J,;65-21K!(B - $B%K%e!<%i%k%M%C%H$N9)3XE*<B8=(B - 
               $B8EC+N)H~!$EDCfIRM:!$Hu8}E/Li!$?7ED(B $BE0!$C01)N5:H!JEEAm8&!K!$(B
                                           $B0KEl=(9b!J?@F`@n8)9)6H;n83=j!K(B 
$B!!!&JBNs7W;;5!$K$h$k3NN(E*J,;65-21$N<B8=(B  
                        $B0KEl=(9b!J?@F`@n8)9)6H;n83=j!K!$8EC+N)H~!JEEAm8&!K(B
$B!!!&%K%e!<%i%k%M%C%H%o!<%/$rMQ$$$?:GE,2=%"%k%4%j%:%`$NJBNs7W;;5!$X$N<BAu$H(B
$B!!!!I>2A(B 
                         $BBgOB=c0l!$NkMh(B $B6AB@O:!$E7Ln1Q@2!$IpF#2B63!J7DBg!K(B
$B!!!&LH1V%M%C%H3X=,%"%k%4%j%:%`$H$=$N%W%m%;%9?GCG$X$N1~MQ(B 
          $B@PED9%51!J5~Bg!K!$(BFrancois Mizessyn ( Lafarge Coppee Recherche )

$B!~%;%C%7%g%s(B CPSY-2$B!L(B19$BF|(B15:45-17:45$B!M!'1~MQ(B
$B!!!&JBNs7W;;5!(BSymmetry$B$K$h$k5$>]1R@1(BNOAA$B2hA|$NJd@5=hM}(B 
                                     $B:,K\Mx90!$4nO"@n(B $BM%!$9bLZ44M:!JElBg!K(B
$B!!!&JBNs7W;;5!$rMQ$$$?AH9g$;O@M}2sO)$N%F%9%H@8@.(B 
                         $BL,86(B $BN4!$0KF#>4IR!$>eLnMN0lO:!$EvKc4n90!JEl9)Bg!K(B
$B!!!&D>@\7k9gLV7?%^%k%A%W%m%;%C%5%7%9%F%`>e$G$NJBNs(BRete$B%"%k%4%j%:%`(B 
                                               $B@n8}(B $B9d!$K\ED1YO/!J5\:jBg!K(B
$B!!!&JBNs?dO@%^%7%s$K$*$1$k8N>c%7%_%e%l!<%7%g%s(B
                                             $BCfEg(B $B9@!$:4F#Na;R!J;0I)EE5!!K(B

$B!~%;%C%7%g%s(B CPSY-3$B!L(B20$BF|(B8:45-10:15$B!M!'(BOS($B%9%1%8%e!<%j%s%0(B)
$B!!!&AB7k9g7?%^%k%A%W%m%;%C%5>e$N3H;67?Ii2YJ,;6$N0lJ}<0(B 
                                                      $B:4F#Na;R!J;0I)EE5!!K(B
$B!!!&Hs6Q<AJBNs%W%m%;%C%5$X$N%9%1%8%e!<%j%s%0$N2<8B7W;;J}<0(B
                                     $BM{(B $BE$D6!$M-EDN4Li!$A>OB>-MF!JL>9)Bg!K(B
$B!!!&J,;6%M%C%H%o!<%/4D6-$K$*$1$k%^%k%A%?%9%/(BOS$B$r9MN8$7$?%9%1%8%e!<%j%s%0J}(B
$B!!!!<0(B
                                        $BEDB<(B $B=$!$;3K\(B $B44!$2,EDGnH~!J:eBg!K(B

$B!~%;%C%7%g%s(B CPSY-4$B!L(B20$BF|(B10:30-12:30$B!M!'%3%s%Q%$%i(B
$B!!!&6&M-%a%b%j7?%^%k%A%W%m%;%C%5$K$*$1$k6&M-%a%b%j%"%/%;%96%9g4KOB$N$?$a$N(B
$B!!!!0l<jK!(B
                                                $B;3L>Aa?M!$B<2,MN0l!JAaBg!K(B
$B!!!&(BFortran$B%^%/%m%G!<%?%U%m!<=hM}$N%^%k%A%W%m%;%C%5%9!<%Q!<%3%s%T%e!<%?>e$G(B
$B!!!!$NI>2A(B
                          $B9gED7{?M!$>>K\(B $B7r!$2,K\2mL&!$5HEDL@@5(B $B!JAaBg!K!$(B
                          $BK\B?90<y!J;3M|Bg!K!$3^86GnFA!$@.ED@?G7=u!JAaBg!K(B
$B!!!&:YN3EYJBNs7W;;5!$N<+F0JBNs2=%3%s%Q%$%k5;K!(B
                                        $B8E@n9@;K!$>>K\(B $B>0!$J?LZ(B $B7I!JElBg!K(B
$B!!!&J,;6%a%b%j7?JBNs7W;;5!$K$*$1$k(BDO$B%k!<%W=hM}J}<0$NDs0F(B
                 $BGk86=c0l(B $B!$0B9>=SL@!$6b;R@565!$;3L>Aa?M!$B<2,MN0l!JAaBg!K(B

$B!~%;%C%7%g%s(B CPSY-5$B!L(B20$BF|(B13:30-15:30$B!M!'1~MQ;X8~%^%7%s(B
$B!!!&:YN3EY(BSIMD$B%W%m%;%C%5$N@-G=I>2A(B 
                                                $B9b66??;K!$F#0fMN=E!JEl<G!K(B
$B!!!&O"A[%a%b%j$rMQ$$$??^7A=hM}MQ%O!<%I%&%'%"%(%s%8%s(B
               $B7,86BYM:!$CfB<7C2p!$5WJ]ED(B $BOB?M!$:4F#@/@8!$BgImC$IW!JAaBg!K(B
$B!!!&O"A[%a%b%j$H(BDSP$B$rMQ$$$?%9%Q!<%99TNs=hM}%W%m%;%C%5(B 
                          $B5WJ]ED(B $BOB?M!$LZB<(B $B8y!$:4F#@/@8!$BgImC$IW!JAaBg!K(B
$B!!!&(B3MPRT$B!J(B3-stage Macropipelined Ray Tracing$B!K%^%7%s(B 
$B!!!!!!!]J*BNC5:wK!$N9bB.2=$K4X$9$kI>2A!](B 
                                       $B\^(B $B8^K1!$B<ED@?<#!$B<>eOB>4!J6eBg!K(B

$B!~%;%C%7%g%s(B CPSY-6$B!L(B21$BF|(B8:45-10:15$B!M!'%"!<%-%F%/%A%c(B-1
$B!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(B($B%W%m%;%C%5%"!<%-%F%/%A%c(B(1))
$B!!!&9b@-G=%W%i%C%H%U%)!<%`MWAG%^%$%/%m%W%m%;%C%5!&%"!<%-%F%/%A%c(B
$B!!!!!!!]DL?.%b%G%k$K4X$9$k8!F$!](B
                                       $BFA1J>0:H!$B<>eOB>4!$;32H(B $BM[!J6eBg!K(B
$B!!!&%^%$%/%m%Y%/%H%k%W%m%;%C%5!&%"!<%-%F%/%A%c(B
$B!!!!!!!]1i;;%9%k!<%W%C%H$H%a%b%j!&%P%s%I6R$H$N4X78!](B
                             $B66K\(B $BN4!$B<>eOB>4!$90CfE/IW!$0B1:42?M!J6eBg!K(B
$B!!!&B?=EL?NaN.JBNs5!$K$*$1$k<B9T2DG==gL?NaN.5/F0J}<0(B
                                    $B1J>>NiIW!$=P8}(B $B8w0lO:!$?92<(B $BV^!JElBg!K(B

$B!~%;%C%7%g%s(B CPSY-7$B!L(B21$BF|(B10:30-12:30$B!M!'%"!<%-%F%/%A%c(B-2 (MPP)
$B!!!&D6JBNs7W;;5!$N@_7W86M}(B 
                          $B:d0f=$0l!$;y6LM41Y!$:4F#;05W!$;38}4n65!JEEAm8&!K(B
$B!!!&;0<!85<BAu$K4p$E$/%^%k%A%Q%i%@%$%`D6JBNs%F%i%U%m%C%W%9%^%7%s$N%"!<%-%F(B
$B!!!!%/%A%c(B
                                                  $BEDn4(B $B>:!$>.Lx(B $B<"!JEl<G!K(B
$B!!!&8w%$%s%?%3%M%/%7%g%s8~$-%a%b%j7k9g7?D6JBNs%W%m%;%C%5%"!<%-%F%/%A%c(B 
               $B0$9>(B $BCi!$F#ED(B $BAo!$Aj86NhFs!$;3Cf(B $BB@;TO:!$<r5o7I0l!J9-EgBg!K(B
$B!!!&D6JBNs7W;;5!>e$N6&M-%a%b%j%"!<%-%F%/%A%c(B
                                                  $B>>K\(B $B>0!$J?LZ(B $B7I!JElBg!K(B

$B!~%;%C%7%g%s(B CPSY-8$B!L(B21$BF|(B13:30-15:30$B!M!'%"!<%-%F%/%A%c(B-3
$B!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(B($B%^%k%A%W%m%;%C%5%7%9%F%`(B)
$B!!!&(BSSS-MIN$B$rMQ$$$?%^%k%A%W%m%;%C%5%W%m%H%?%$%W(BSNAIL 
                     $B<~(B $BMl!$E7Ln1Q@2!$:{86@5;J!$;{ED=c7D!$>.L:N$7D!J7DBg!K(B
$B!!!&(BMesh+: $BJ|Aw5!G=$r;}$C$?9b?.Mj%a%C%7%e7?%M%C%H%o!<%/(B
                                        $BIpK\=<<#!$>>K\(B $B>0!$J?LZ(B $B7I!JElBg!K(B
$B!!!&2>A[%O!<%I%&%'%"$K4p$E$/%G!<%?6nF07?7W;;5!$N<B8=2DG=@-(B 
                                                 $BN?(B $B6GhL!$E7Ln1Q@2!J7DBg!K(B
$B!!!&<B9T8zN($r=E;k$7$?%G!<%?%U%m!<%b%G%k$K$D$$$F(B
                                    $B9bLZ9@8w!$M-EDN4Li!$A>OB>-MF!JL>9)Bg!K(B

$B!~%;%C%7%g%s(B CPSY-9$B!L(B21$BF|(B15:45-17:15$B!M!'%"!<%-%F%/%A%c(B-4
$B!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(B(VLIW$B$H(BSuper-scalar)
$B!!!&L?Na%l%Y%kJBNs=hM}%"!<%-%F%/%A%c8~$1%k!<%WE83+$K$*$1$k(B GIFT$B$NM-8z@-(B 
                        $B8E4X(B $Bfb!$NkLZ1Q=S!$!JAaBg!K!$>.>>=(><!JF|K\(BIBM$B!K!$(B
                                                $B?<_7NI>4!$LgARIRIW!JAaBg!K(B
$B!!!&%9!<%Q!<%9%+%i%W%m%;%C%5$K$*$1$k%k!<%W:GE,2=(B
                                     $B:Y8+3Y@8!$?9(B $B?50lO:!$IYEDbC<#!J5~Bg!K(B
$B!!!&%9!<%Q%9%+%i%W%m%;%C%5$K$*$1$k@h9TJ,4t=hM}J}<0(B
                                                      $BLZB<9@;0!J>>2<EE4o!K(B


$B"#?tCM2r@O8&5f2q(B(NA)
$B!!%F(B $B!<(B $B%^!'JBNs!?J,;6!?6(D4=hM}$H%9!<%Q!<%3%s%T%e!<%F%#%s%0(B
$B!!9V1i7o?t!'#67o(B
$B!!F|!!(B $B;~(B $B!'#87n#2#0F|!JLZ!K(B 9:15-12:30

$B!~%;%C%7%g%s(B NA-1$B!L(B20$BF|(B9:15-10:15$B!M!'?tCME*%"%k%4%j%:%`(B 
$B!!!&A0=hM}$D$-%,%&%9(B-$B%6%$%G%kH?I|K!$K$h$k%8%g%<%U%=%sO@M}%2!<%H$N2sO)%7(B
$B!!!!%_%e%l!<%7%g%s(B
                                                  $B?\EDNi?N!$>.Lx5AIW(B($BElBg(B)
$B!!!&%^%k%A%0%j%C%IA0=hM}IU6&Lr8{G[K!(B
                                                  $B7zIt=$8+!$>.Lx5AIW(B($BElBg(B)

$B!~%;%C%7%g%s(B NA-2$B!L(B20$BF|(B10:30-12:30$B!M!'JBNs2=5;K!$HI>2A(B 
$B!!!&(BAP1000$B$K$*$1$k(BN$B<!85DL?.%i%$%V%i%j$N;n:n!$8!F$(B          
                            $B<FED0l:H(B ($BIY;NDL@D?9%7%9%F%`%(%s%8%K%"%j%s%0(B) 
$B!!!&EENOD,N.7W;;$NJBNs=hM}$K$*$1$kIi2Y$N:GE,2=(B
                                       $BKY@nOBM:!$?9(B $B?50lO:!$IYEDbC<#(B($B5~Bg(B)
$B!!!&%W%m%;%C%56%9gJ}<0$K$h$kJBNsG[@~=hM}(B $B!=!!%i%s%@%`0z$-Gm$,$7K!(B
                                      $B:4Ln2mI'!$2,(B $B7=;J!$9b665AB$(B ($BFAEgBg(B)
$B!!!&NX3TFCD'$K4p$E$/<j=q$-4A;zG'<1%7%9%F%`$N#S#I#M#D7W;;5!$K$h$k<B8=(B
                                             $B:4!9LZ0lM[!$9b665AB$(B ($BFAEgBg(B)


$B"#%&%'!<%O%9%1!<%k=8@Q%7%9%F%`8&5f2q(B(WSI)
$B!!%F(B $B!<(B $B%^!'D6JBNs%7%9%F%`!?(BWSI$B%7%9%F%`0lHL(B
$B!!9V1i7o?t!'8=:_H/I=?=9~<uIUCf$G$9!J(B6/26$B8=:_(B6$B7o!$Dy@ZF|!'(B7/4$B!K!%(B
$B!!F|!!(B $B;~(B $B!'#2#0F|!JLZ!K(B13:30-17:45


$B"#%W%m%0%i%_%s%0!]8@8l!&4pAC!&<BA)!]8&5f2q(B(PRG)
$B!!%F(B $B!<(B $B%^!'JBNs!?J,;6!?6(D4%W%m%0%i%_%s%0!]8@8l!&4pAC!&<BA)!](B
$B!!9V1i7o?t!'#2#77o(B
$B!!F|!!(B $B;~(B $B!'#87n#2#0F|!JLZ!K(B10:30-17:45
$B!!!!!!!!(B        $B#2#1F|!J6b!K(B 8:45-17:45

$B!~%;%C%7%g%s(B PRG-1$B!L(B20$BF|(B10:30-12:30$B!M!'4pACM}O@(B
$B!!!&(BDeriving denotational models for nonuniform concurrency from
$B!!!!(Bstructured operational semantics
                                                           $BKYED1Q0l!J(BNTT$B!K(B
$B!!!&DL?.%5!<%S%95-=R$N$?$a$NCN<1$HF0:n$K4p$E$/MMAjO@M}(B SSL
                                                 $BFj:j=$Fs!$KYED1Q0l!J(BNTT$B!K(B
$B!!!&(BDependence-Based Representations of Concurrent Programs
                                                           $BDx(B $B5~FA!J6eBg!K(B
$B!!!&%j%"%/%F%#%V;~AjO@M}(B
                              $BFbJ?D>;V!$K\0LED??0l!J>pJs=hM}?66=;v6H6(2q!K(B

$B!~%;%C%7%g%s(B PRG-2$B!L(B20$BF|(B13:30-15:30$B!M!'J,;6!&6(D4!&%^%k%A%(!<%8%'%s%H8@8l!!(B
$B!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!J#1!K(B
$B!!!&%^%k%A%(!<%8%'%s%H%7%9%F%`$N$?$a$N3,AX7?%j%"%/%F%#%V!&%W%i%s%K%s%0(B
                                               $BIw4V0lMN!$HxFbM}5*IW!J(BNTT$B!K(B
$B!!!&%^%k%A%*%V%8%'%/%H$N%H%]%m%8%+%k$J9=B$$K4p$E$/=P8=E*7W;;(B
                                                           $B9bEDIR90!J(BNTT$B!K(B
$B!!!&H/@87?%=%U%H%&%'%"$N%W%m%;%9Be?t$K$h$k5-=R$K$D$$$F(B
                              $BBgNS@5@2!$K\0LED??0l!J>pJs=hM}?66=;v6H6(2q!K(B
$B!!!&%(!<%8%'%s%H4V$N6&M-CN<1$r<B8=$7$?(BProlog$B$K4p$E$/6(D4=hM}8@8l(B
                                  $B@nB<>0@8!$:XF#A1FA!$6bEDM*5*IW!J?@8MBg!K(B

$B!~%;%C%7%g%s(B PRG-3$B!L(B20$BF|(B15:45-17:45$B!M!'J,;6!&6(D4!&%^%k%A%(!<%8%'%s%H8@8l(B
                                       $B!J#2!K(B
$B!!!&6(D47W;;%b%G%k(B Cellula $B$ND6JBNs=hM}7O$N9=A[(B
                                                          $B5HED5*I'!J6eBg!K(B
$B!!!&J,;6(BLinda$B$K$*$1$k%U%)!<%k%H%H%l%i%s%H@-(B
                                             $BLnN$5.?N!$?yK\(B $BL@!J;0I)EE5!!K(B
$B!!!&J,;67?4X?t7?8@8l(BCmex$B$N9=@.$H$=$N1~MQ$K$D$$$F(B
                                 $BW"ED<~8c!$Bg5WJ]1Q;L!$BgLn(B $BK-!JN)L?4[Bg!K(B
                                                        $BGr@nMN=<!J6a5&Bg!K(B
$B!!!&%M%C%H%o!<%/JBNs%"%W%j%1!<%7%g%s$N$?$a$N%W%m%0%i%_%s%0;Y1g(B
                                     $BEr@u(B $B7I!$(BPradeep K. Sinha$B!J>>2<EE4o!K(B

$B!~%;%C%7%g%s(B PRG-4$B!L(B21$BF|(B8:45-10:15$B!M!'JBNsO@M}7?8@8l(B
$B!!!&JB9TO@M}7?8@8l$K$*$1$k4QB,%W%m%0%i%`$N9g@.(B
                                                          $BKYFb8,Fs!J(BICOT$B!K(B
$B!!!&9bJBNs8@8l(B fleng $B$K$*$1$k7?%7%9%F%`$NF3F~(B
                                                $BCfED=(4p!$EDCf1QI'!JElBg!K(B
$B!!!&(BPortable$B$J(BKL1$B=hM}7O$N9=A[(B
                                     $B4XEDBg8c!J;0I)Am8&!K!$6a;3(B $BN4!J(BICOT$B!K(B

$B!~%;%C%7%g%s(B PRG-5$B!L(B21$BF|(B10:30-12:30$B!M!'%W%m%0%i%`4D6-!&%G%P%C%,(B
$B!!!&JBNsO@M}7?8@8l(B KL1 $B$N%G%P%C%,(B
                                                      $BCfHx9@0l!J1~MQ5;=Q!K(B
                                     $B6a;3(B $BN4!$OBED5WH~;R!$@686NI;0!J(BICOT$B!K(B
$B!!!&JBNsO@M}7?8@8l(BFleng$B$N%Q%U%)!<%^%s%9!&%G%P%C%.%s%0(B $B!!!](B Toward 
$B!!!!(Ba Programming Environment for Efficient Highly Parallel Programs
                            $B4\B<=c0l!$GrLZD9Ip!$>.CSHFJ?!$EDCf1QI'!JElBg!K(B
$B!!!&9bJBNs%W%m%0%i%`$N%Q%U%)!<%^%s%9!&%G%P%C%.%s%0!&%D!<%k(B paf
                            $BGrLZD9Ip!$4\B<=c0l!$>.CSHFJ?!$EDCf1QI'!JElBg!K(B
$B!!!&JBNs%*%V%8%'%/%H;X8~8@8l(BA-NETL$B$N%G%P%C%.%s%0%7%9%F%`(B
                                    $BJRJ?(B $BF)!$5H1J(B $BEX!$GO>l7I?.!J1'ET5\Bg!K(B

$B!~%;%C%7%g%s(B PRG-6$B!L(B21$BF|(B13:30-15:30$B!M!'<BAu5;=Q!&1~MQ(B
$B!!!&(BScheme$B8@8l$K$*$1$k%W%m%;%94IM}(B
                                  $B8M@nFXG7!$Bg5WJ]1Q;L!$BgLnK-!JN)L?4[Bg!K(B
                                                        $BGr@nMN=<!J6a5&Bg!K(B
$B!!!&5!<o$K0MB8$7$J$$MxMQ<T(Bthreads$B%i%$%V%i%j(B
                                                        $BB?ED9%9n!JEEDLBg!K(B
$B!!!&%H%i%s%9%T%e!<%?JBNs7W;;5!$K$h$k@8J*=8CD$N9TF0%7%_%e%l!<%7%g%s(B
                            $BLp8M?.<!!$0B869@=U!$G_HxGn;J!JBg:eEE5$DL?.Bg!K(B
$B!!!&%H%i%s%9%T%e!<%?JBNs7W;;5!>e$G$NJBNs(B DCT $BJQ49%"%k%4%j%:%`$N@-G=I>2A(B
                                      $B0B869@=U!$G_HxGn;J!JBg:eEE5$DL?.Bg!K(B

$B!~%;%C%7%g%s(B PRG-7$B!L(B21$BF|(B15:45-17:45$B!M!'%9%1%8%e!<%j%s%0!&Ii2YJ,;6!&(B
                                        $B;q8;3dIU(B
$B!!!&(BIterative-Deepening A*$B%"%k%4%j%:%`$N%9%?%C%/J,3dF0E*Ii2YJ,;6J}<0$K$h$k(B
$B!!!!JBNs2=$HJBNs%^%7%s(BPIM/m$B>e$N@-G=I>2A(B
                                                          $BOBED@542!J(BICOT$B!K(B
$B!!!&JBNs%*%V%8%'%/%H;X8~%H!<%?%k%"!<%-%F%/%A%c(BA-NET$B$K$*$1$k%*%V%8%'%/%H(B
$B!!!!%"%m%1!<%7%g%s(B
                                   $B74;JL@?M!$GO>l7I?.!$5H1J(B $BEX!J1'ET5\Bg!K(B
$B!!!&3HD%M-8B>uBV5!3#%b%G%k$rMQ$$$?J,;6%7%9%F%`$NA4BN5-=R$+$i3F%N!<%I$NF0:n(B
$B!!!!5-=R$N<+F0@8@.(B
                            $B2,Ln9@;0!$:#>k9-;V!$ElLn51IW!$C+8}7r0l!J:eBg!K(B
$B!!!&(BOR$BJBNs(BProlog$B$K$*$1$k%W%i%$%*%j%F%#@)8f5!9=$H$=$N1~MQ(B
                                  $B>>ED=(M:!$Nk</=EM:!$6bEDM*5/IW!J?@8MBg!K(B


$B"#?M9)CNG=$HCN<1=hM}8&5f2q(B(AI)$B!$CN<1%Y!<%9%7%9%F%`8&5f2q(B(KBS)$B!J6&:E!K(B
$B!!%F!<%^!'JBNs!?J,;6!?6(D4$H?M9)CNG=(B
$B!!9V1i7o?t!'#1#77o(B
$B!!F|;~!'#87n#2#0F|!JLZ!K(B15:45-17:45
$B!!!!!!!!(B    $B#2#1F|!J6b!K(B 8:45-17:15

$B!~%;%C%7%g%s(B AI-1$B!L(B20$BF|(B15:45-17:45$B!M!'(BAI$B$K$*$1$kJBNs=hM}(B(1)
$B!!!&%=%1%C%H%$%s%?!<%U%'!<%9$rMxMQ$7$?(BProlog$B1~MQ%W%m%0%i%`$NJBNs=hM}(B
                                        $BLp?aF;O:(B($B>eCRBg(B)$B!$1WED@?Li(B($B6L@nBg(B)
$B!!!&(BCBR$B$K$*$1$k;vNc%k!<%k$rMQ$$$?JBNsItJ,>H9g(B
                                                            $BA0ED(B $BLP(B (ICOT)
$B!!!&HFMQJBNsO"A[%7%9%F%`(B WAVE
                                                  $B3QEDC#I'!$EDCf1QI'(B($BElBg(B)
$B!!!&6/$5$N35G0$rMQ$$$?JBNs0UL#2r@O(B
                                                             $BJw(B $B917{(B($B6eBg(B)

$B!~%;%C%7%g%s(B AI-2$B!L(B21$BF|(B8:45-10:15$B!M!'(BAI$B$K$*$1$kJBNs=hM}(B(2)
$B!!!&0dEA;R%k!<%k$K$h$kJBNs%k!<%k%Y!<%9%H!&%"%K!<%j%s%0(B
                           $B4VF#N40l!$9SLZ(B $B6Q!$2CF#Ey!$LnEg?8Fs!J>>2<EE4o!K(B
$B!!!&%k!<%k%Y!<%96(D45!9=$K$*$1$k%k!<%k%3%s%Q%$%kJ}<0$D$$$F(B
                                                      $B?7C+8W>>!JIY;NDL8&!K(B
$B!!!&=i?G45<TLd?G;~$N<@452>@b@8@.%W%m%;%9%?%9%/JBNs2=$K$D$$$F(B
                        $B>.;3>HIW!J3X=Q>pJs%;%s%?!<!K!$Bg9>OBI'!JElBgIB1!!K(B

$B!~%;%C%7%g%s(B AI-3$B!L(B21$BF|(B10:30-12:00$B!M!'%(!<%8%'%s%H(B
$B!!!&0\F0L\I8C5:w$X$NCN@-$NF3F~(B
                                                            $B@PED(B $B5|!J(BNTT$B!K(B
$B!!!&=@Fp$J6(D4$r9T$&%(!<%8%'%s%H$N9=C[$K8~$1$F(B
                                                        $BBg_70lO:!JEEAm8&!K(B
$B!!!&%(!<%8%'%s%H4V$NCN<18r49$K4X$9$k9M;!(B
                                                          $B>>K\0l65!JEl<G!K(B

$B!~%;%C%7%g%s(B AI-4$B!L(B21$BF|(B13:30-15:30$B!M!'J,;67?LdBj2r7h(B
$B!!!&J,;63X=,$H6(D43X=,(B
                                $BJ!1J??H~!J(B($B3t(B)$B3X=,>pJsDL?.%7%9%F%`8&5f=j!K(B
$B!!!&>uBV6u4VI=8=$K$h$kJ,;67?LdBj2r7h$NDj<02=(B
                                $BKLB<BYI'!$C$L&><<#!$1|K\N4><!JBg:e;TN)Bg!K(B
$B!!!&LdBj2r7h$K$*$1$k<gF38"$KCeL\$7$?J,;66(D4%7%9%F%`(B
                                                $B2CF#(B $B7r(B, $BEOJU(B $B>0!J@E2,Bg!K(B
$B!!!&%M%4%7%(!<%7%g%s$K$h$kJ,;6?.G04IM}(B
                                                          $BFbF#9d?M!J7DBg!K(B

$B!~%;%C%7%g%s(B AI-5$B!L(B21$BF|(B15:45-17:15$B!M!'(BAI$B$K$*$1$k6(D4=hM}(B
  $B!&J,;67?%(%-%9%Q!<%H%7%'%k$NMxMQ<B83!]6(D4$N%3%9%H!&8z2L!](B
                           $B>>K\0lB'!$;38}E5CK!$66K\OBIW!$@u8+(B $BE0(B ($B#K#D#D!K(B
$B!!!&J,;67?LdBj2r7h%7%9%F%`$H$=$N<B8=(B
                                    $B>.@n(B $B6Q(B, $B>.Eh(B $B>0(B, $B:#@.J8L@!JN)L?4[Bg!K(B
                 $B0pNS>;Fs(B, $BBgLZ=!0l(B, $B0f>e9@0l(B $B!J%7%9%F%`An9g3+H/3t<02q<R!K(B
  $B!&6(D4E*>-4}%W%m%0%i%`$N9=A[(B
                                                         $B>>86(B $B?N!JEEAm8&!K(B


$B"#%Q%M%kF$O@(B
$B!!%F(B $B!<(B $B%^!!!'!VJBNs!?J,;6!?6(D4=hM}!&9,J!$C$F$J$s$@$C$1!)!W!J2>Bj!K(B
$B!!F|!!!!;~!!!'#87n#1#9F|!J?e!K(B19:00-21:00
$B!!%b%G%l!<%?!'4X8}CR;L!JEEAm8&!K(B
$B!!%Q%M%j%9%H!'8=:_8r>DCf$G$9!%(B