Newsgroups: fj.org.jssst,fj.meetings,fj.ai,fj.comp.announce,fj.comp.misc,fj.comp.oops,fj.comp.parallel,fj.comp.theory
Path: galaxy.trc.rwcp.or.jp!coconuts.jaist!wnoc-tyo-news!news.iij.ad.jp!news.mri.co.jp!marrella.mri.co.jp!kiyokawa-jhs!news.ipc.chiba-u!eclnews!sinetnews!newssinet!hakata!kyu-cs!lab!gulag.ntt.jp!gulag!okuno
From: ishihata@cs.meiji.ac.jp (Kiyoshi Ishihata)
Subject: JSSST taikai program (text form)
Message-ID: <OKUNO.95Aug10181904@nuesun.brl.ntt.jp>
Sender: news@gulag.ntt.jp
Organization: NTT Basic Research Laboratories, Atsugi, Kanagawa, Japan.
Distribution: fj
Date: 10 Aug 1995 09:19:04 GMT
Lines: 414
Xref: galaxy.trc.rwcp.or.jp fj.org.jssst:4 fj.meetings:1346 fj.ai:3993 fj.comp.announce:1 fj.comp.misc:1779 fj.comp.oops:842 fj.comp.parallel:842 fj.comp.theory:51
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.misc&nb=1779&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

9$B7n(B11$BF|!A(B14$BF|$KL@<#Bg3X$G3+$+$l$k!J(B11$BF|$O%A%e!<%H%j%"%k!K(B
$BF|K\%=%U%H%&%'%"2J3X2qBh(B12$B2sBg2q$N%W%m%0%i%`$G$9!#(B

$B%F%-%9%HHG$H(BTeX$BHG$,$"$j$^$9$,!"$3$l$O%F%-%9%HHG$G$9!#(B
WWW $B$N(B URL $B$O(B http://www.jssst.or.jp/jssst/jssst95-program.html $B$G$9(B. 

$BLd$$9g$o$;$O2<5-$K$I$&$>!#(B

$B@PH*(B  $B@6(B
$BL@<#Bg3XM}9)3XIt>pJs2J3X2J(B
ishihata@cs.meiji.ac.jp
-------------------------------------------------------------------------------
$BF|K\%=%U%H%&%'%"2J3X2qBh(B 12 $B2sBg2q(B

$BF|(B      $B;~!'(B 1995 $BG/(B 9 $B7n(B 12 $BF|!J2P!K!A(B 14 $BF|!JLZ!K(B

$B2q(B      $B>l!'(B $BL@<#Bg3XM}9)3XIt(B
                   $B=;=j!'(B $B@n:j;TB?K`6hEl;0ED(B 1-1-1
                   $BEEOC!'(B (044)934-7455$B!JBg2qCf$NLd$$9g$o$;@h!K(B

$BFC(B $BJL(B $B9V(B $B1i!'(B9 $B7n(B 12 $BF|!J2P!K(B13:00$B!A(B14:30  A $B2q>l(B
               $B!V%$%s%?!<%M%C%H$N8=>u$HF08~!W(B
                                       $B@PED(B $B@25W!JEl5~Bg3XBg7?7W;;5!%;%s%?!<!K(B
             9 $B7n(B 13 $BF|!J?e!K(B13:00$B!A(B14:30  A $B2q>l(B
               $B!V%$%s%?!<%M%C%H$rMQ$$$?%=%U%H%&%'%"3+H/4D6-$N9=C[!W(B
                                       $B:YC+(B $BN=0l!J(BNTT$B%=%U%H%&%'%"8&5f=j!K(B

$B;2(B  $B2C(B  $BHq!'(B $B0lHL2q0w(B 7,000$B1_(B   $B3X@82q0w(B 4,000$B1_(B   $BHs2q0w(B 10,000$B1_(B
             $B!J;22CHq$OEvF|?=$79~$_;~$K<uIU$K$F!K(B

$B:)(B  $B?F(B  $B2q!'(B 9 $B7n(B 12 $BF|!J2P!K%;%C%7%g%s=*N;8e!$>l=jL$Dj!$;22CHqL5NA(B

$B;~(B  $B4V(B  $B3d!'(B

+--------+----------------+----------------+----------------+----------------+
|  $BF|;~(B  | A$B2q>l(B(AV$B%[!<%k(B)|   B$B2q>l(B(0405)  |   C$B2q>l(B(0410)  |   D$B2q>l(B(0411)  |
+--+-----+----------------+----------------+----------------+----------------+
|  |10:00|                |B1       OS     |C1   $B%W%m%0%i%_(B |D1     $BO@M}(B(1)  |
|  |11:30|                |                |       $B%s%0(B(1)  |                |
|  +-----+----------------+----------------+----------------+----------------+
|$B#9(B|12:45|      $B0';"!$(B    |                |                |                |
|$B7n(B|14:30|    $BFCJL9V1i(B    |                |                |                |
|12+-----+----------------+----------------+----------------+----------------+
|$BF|(B|14:45|                |B2  $B%=%U%H%&%'%"(B|C2   $B%W%m%0%i%_(B |D2     $BO@M}(B(2)  |
|  |16:15|                |        $B9)3X(B    |       $B%s%0(B(2)  |                |
|  +-----+----------------+----------------+----------------+----------------+
|  |16:30|                |B3     $B1~MQ(B(1)  |C3   $BJBNs8@8l$N(B |D3     $BO@M}(B(3)  |
|  |18:00|                |                |        $B<BAu(B    |                |
+--+-----+----------------+----------------+----------------+----------------+
|  |10:00|                |B4  $B%*%V%8%'%/%H(B|C4    $B2D;k2=(B(1) |D4   $B;EMM5-=R(B(1)|
|  |12:00|                |       $B;X8~(B(1)  |                |                |
|  +-----+----------------+----------------+----------------+----------------+
|$B#9(B|13:00|    $BFCJL9V1i(B    |                |                |                |
|$B7n(B|14:30|                |                |                |                |
|13+-----+----------------+----------------+----------------+----------------+
|$BF|(B|14:45|                |B5  $B%*%V%8%'%/%H(B|C5    $B2D;k2=(B(2) |D5   $B;EMM5-=R(B(2)|
|  |16:15|                |       $B;X8~(B(2)  |                |                |
|  +-----+----------------+----------------+----------------+----------------+
|  |16:30|                |B6  $B%*%V%8%'%/%H(B|C6   $BJBNsO@M}7?(B |D6    $BB0@-J8K!(B  |
|  |18:00|                |       $B;X8~(B(3)  |        $B8@8l(B    |                |
+--+-----+----------------+----------------+----------------+----------------+
|  |10:00|                |B7      CSCW    |C7     $B:GE,2=(B   |D7    $B4X?t8@8l(B  |
|  |12:00|                |                |                |                |
|$B#9(B+-----+----------------+----------------+----------------+----------------+
|$B7n(B|13:00|                |B8  $B%M%C%H%o!<%/(B|C8   $B%3%s%Q%$%i(B |D8   $B%W%m%0%i%`(B |
|14|14:30|                |                |                |     $B9g@.!&F3=P(B |
|$BF|(B+-----+----------------+----------------+----------------+----------------+
|  |14:45|                |B9     $B1~MQ(B(2)  |C9   $BJBNs%*%V%8(B |D9   $BO@M}$HI=8=(B |
|  |16:45|                |                |     $B%'%/%H;X8~(B |                |
+--+-----+----------------+----------------+----------------+----------------+

$B0lHL9V1i!'(B 88 $B7o!J!{$OEPCE<T!K(B

9 $B7n(B 12 $BF|!J2P!K(B10:00$B!A(B11:30  B $B2q>l(B-1  OS
                                                         $B:BD9(B  $B>>K\(B $B>0!JElBg!K(B

  B1-1  Unix$B9T%3%^%s%I$N(BMacOS GUI$B>e$G$N<BAu5;K!(B
                                                         $B!{NS(B $B91=S!JN)L?4[Bg!K(B
  B1-2  $B%H!<%i%9%^%7%s>e$G$NJ,;66&M-%a%b%j$N<B8=$K$D$$$F(B
                                                $B!{F#K\(B $BE59,!$Gk86(B $B7s0l!J:eBg!K(B
  B1-3  $B%"%@%W%F%#%V%i%$%V%i%j%j%s%+!'(BOS$B5!G=$r<B8=$9$k$?$a$N?75;=Q(B
                                     $B!{:4F#(B $BD>G7!$:Y@n(B $BC#8J!$=j(B $B??M}M:!J7DBg!K(B

9 $B7n(B 12 $BF|!J2P!K(B10:00$B!A(B11:30  C $B2q>l(B-1  $B%W%m%0%i%_%s%0(B (1)
                                                     $B:BD9(B  $B2,ED(B $B9/<#!JEEAm8&!K(B

  C1-1  $BCj>]2r<a$K4p$E$/%=%U%H%&%'%"$NCJ3,E*6q>]2=K!(B---$B%G!<%?9=B$$NF3F~(B
                               $B!{5H2,(B $B?.OB!$NkLZ(B $B@5?M!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B
  C1-2  $B5!G=I=8=$rMQ$$$?%=!<%9%3!<%I8!:w(B
                                              $B!{;3ED(B $B9(G7!$Aj86(B $B91Gn!J0&I2Bg!K(B
  C1-3  $B%W%m%0%i%_%s%0$K$*$1$k%9%?%C%/%Q%i%@%$%`$NLdBjE@(B
                                              $B!{Gr0f(B $B@i7C;R!$FsB<(B $BNII'!JAaBg!K(B

9 $B7n(B 12 $BF|!J2P!K(B10:00$B!A(B11:30  D $B2q>l(B-1  $BO@M}(B (1)
                                                       $B:BD9(B  $B:4F#(B $B<~9T!J6eBg!K(B

  D1-1  $B4X78%0%i%UJQ497O$K$*$1$kLZ$H9`$NI=8=$K$D$$$F(B
                                      $B!{9B8}(B $B2B42!J6e9)Bg!K!$2O86(B $B9/M:!J6eBg!K(B
  D1-2  $B0lHL2=$5$l$?%9%1%C%A$K$h$k9=B$$r;}$D7w$N5-=R(B
                                                           $B!{;09%(B $BGnG7!J7DBg!K(B
  D1-3  $B%P%$%7%_%e%l!<%7%g%s$HO@M}E*4X78$NN`;w$K$D$$$F(B
                                                             $B!{F#86(B $BLw!JEl<G!K(B

9 $B7n(B 12 $BF|!J2P!K(B14:45$B!A(B16:15  B $B2q>l(B-2  $B%=%U%H%&%'%"9)3X(B
                                                       $B:BD9(B  $B0f>e(B $B9nO:!J:eBg!K(B

  B2-1  Scalable$B$J%=%U%H%&%'%"%W%m%;%95-=R%b%G%k(BHFSP/S
                                          $B!{NkLZ(B $B@5?M!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B
  B2-2  $B%f!<%6;X8~%=%U%H%&%'%"3+H/$N$?$a$NMW5a3MF@!?J,@OJ}K!(B
             $B!{JR;3(B $B2BB'!$K)Mi(B $B>09,!$EOIt(B $BM&!$EZ0f(B $B980l!$1`It(B $B@59,!JIY;NDL8&!K(B
  B2-3  $BAH9~$_%=%U%H%&%'%"3+H/MQ%7%_%e%l!<%7%g%s4D6-$N3+H/(B
                                                 $B!{:4F#(B $BD><y!$CfK\(B $B9,0l!J(BNEC$B!K!$(B
                                     $BBgDM(B $BAT0l!$LL@n(B $B98FA!J(BNEC$B>pJs%7%9%F%`%:!K(B

9 $B7n(B 12 $BF|!J2P!K(B14:45$B!A(B16:15  C $B2q>l(B-2  $B%W%m%0%i%_%s%0(B (2)
                                                       $B:BD9(B  $B6L0f(B $BE/M:!JElBg!K(B

  C2-1  $B=q$-49$(O@M}$K4p$E$/JB9T<+8JH?1G7W;;$K$D$$$F(B
                                 $B!{@P@n(B $BMN!$FsLZ(B $B8|5H!$EOIt(B $BBnM:!JKLN&@hC<Bg!K(B
  C2-2  $B@~7A:F5"%W%m%0%i%`$+$i$N:F5"=|5n$N8z2L(B
                                                $B!{BgC+(B $B7<5-!$FsB<(B $BNII'!JAaBg!K(B
  C2-3  $B%U%!%8%#%7%9%F%`5-=R8@8l$N@_7W(B
                            $B!{>.@n(B $B8&Fs!$@PH*(B $B@6!$BgDM(B $BOBI'!$8~EB(B $B@/CK!JL@Bg!K(B

9 $B7n(B 12 $BF|!J2P!K(B14:45$B!A(B16:15  D $B2q>l(B-2  $BO@M}(B (2)
                                                     $B:BD9(B  $B55;3(B $B9,5A!JElKLBg!K(B

  D2-1  $B8EE5E*ItJ,O@M}$KBP$9$k>ZL@9`$N3d$jEv$F$K$D$$$F(B
                                                         $B!{F#ED(B $B7{1Y!J6e9)Bg!K(B
  D2-2  $BHoJ$=89g$rMQ$$$?5"G<E*DjM}>ZL@K!$N2~NI(B
                              $B!{BgDM(B $B@5?M!$qH(B $BB.!$:dIt(B $B=S<y!$0p3@(B $B9/A1!JL>Bg!K(B
  D2-3  $B5"G<O@M}%W%m%0%i%_%s%0$K$*$1$kJ,3d%+%P!<@oN,$N3HD%$H$=$NI>2A(B
                                          $B!{4d:j(B $B9/I'!$IpED(B $B@5G7!JEl5~M}2JBg!K(B

9 $B7n(B 12 $BF|!J2P!K(B16:30$B!A(B18:00  B $B2q>l(B-3  $B1~MQ(B (1)
                                                       $B:BD9(B  $BCf=j(B $BIp;J!JL@Bg!K(B

  B3-1  $B%G!<%?$H>pJs$N:90[$K4p$E$/J8=q8!:w%7%9%F%`$NDs0F(B
                                                       $B!{K'2l(B $BGn1Q!JF1;V<RBg!K(B
  B3-2  $BJ88%4V$N0zMQ4X78$rMQ$$$?<gBjCj=P$H$=$N8!:w%7%9%F%`(B
                                                $B!{;0J?(B $BA1O:!$;3K\(B $B4n0l!J7DBg!K(B
  B3-3  $B0\F0%m%\%C%H$N$?$a$NBg6IE*7PO)@8@.%7%9%F%`$N@_7W(B
                             $B9B8}(B $BJ8M:!$!{D9C+It(B $B@5?.!$:4F#(B $B=_0l!JEl5~M}2JBg!K(B

9 $B7n(B 12 $BF|!J2P!K(B16:30$B!A(B18:00  C $B2q>l(B-3  $BJBNs8@8l$N<BAu(B
                                                     $B:BD9(B  $BEDCf(B $BFsO:!JC^GHBg!K(B

  C3-1  $BO"B3$JDL?.$r4pAC$H$7$?7?$D$-JB9T8@8l$N<BAu(B
                                       $B!{1nEO(B $BN42p!$5WJ](B $B@?!$=j(B $B??M}M:!J7DBg!K(B
  C3-2  $BJ,;6<B;~4V%7%9%F%`5-=R8@8l(BDROL$B$N(BRT-Mach$B>e$G$N<B8=(B
                                       $B!{<C(B $B=(5W!$9b<.(B $B0l5*!$=j(B $B??M}M:!J7DBg!K(B
  C3-3  $B$"$k6&M-%a%b%j7?JBNs7W;;5!$G$N%-%c%C%7%e$r9MN8$7$?%W%m%;%C%5(B
        $B3d$jEv$F$K$D$$$F(B
                                      $B!{_@ED(B $BIp;V!J:eBg!K!$:dK\(B $B7=!J;0I)EE5!!K!$(B
                                        $BF#K\(B $BE59,!$Gk86(B $B7s0l!J:eBg!K(B
         
9 $B7n(B 12 $BF|!J2P!K(B16:30$B!A(B18:00  D $B2q>l(B-3  $BO@M}(B (3)
                                                       $B:BD9(B  $BN6ED(B $B??!JElKLBg!K(B

  D3-1  Constructive Evaluation Logic
                                                           $B!{>.NS(B $BAo!JN6C+Bg!K(B
  D3-2  $B:F5"E*%G!<%?>e$G$N4X?t7?%G!<%?JBNs(Bcalculus
                                                    $B!{@>B<(B $B?J!$BgKY(B $B=_!J5~Bg!K(B
  D3-3  $BMMAjO@M}>ZL@$K$*$1$k<:GT>pJs$NMxMQ(B
                                              $B!{Gk86(B $BLP<y!$JF:j(B $BD><y!JEl9)Bg!K(B

9 $B7n(B 13 $BF|!J?e!K(B10:00$B!A(B12:00  B $B2q>l(B-4  $B%*%V%8%'%/%H;X8~(B (1)
                                                 $B:BD9(B  $BNkLZ(B $B7r;J!JEl5~9q:]Bg!K(B

  B4-1  $B%a%?%l%Y%k!&%"!<%-%F%/%A%c$rMxMQ$7$?%*%V%8%'%/%H4IM}%7%9%F%`$N(B
        $B%P!<%8%g%s4IM}5!9=$N9=@.K!(B
                                        $B!{F#;^(B $BOB9(!$Mn?e(B $B9@0lO:!JKLN&@hC<Bg!K(B
  B4-2  $B;~@)1JB3%*%V%8%'%/%H4IM}%7%9%F%`(BPOST/C++$B$N9=C[$H4pK\@-G=I>2A(B
                          $B!{NkLZ(B $B9'9,!$KL@n(B $BGnG7!$NS(B $B7C>-!$Lx@n(B $B;KI'!JC^GHBg!K(B
  B4-3  $B%*%V%8%'%/%H;X8~B0@-J8K!(BOOAG$B$K$h$k%*%V%8%'%/%H;X8~%G!<%?%Y!<%9$N(B
        $B%G!<%?4X78J]<i%3!<%I$N<+F0@8@.(B
                                $B!{Gk86(B $B0R;V!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B
  B4-4  $B%*%V%8%'%/%H;X8~B0@-J8K!(BOOAG$B$NJ#?t%f!<%64D6-$X$N3HD%(B
                                $B!{>>DM(B $B5.1Q!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B

9 $B7n(B 13 $BF|!J?e!K(B10:00$B!A(B12:00  C $B2q>l(B-4  $B2D;k2=(B (1)
                                                      $B:BD9(B  $BHxFb(B $BM}5*IW!J(BNTT$B!K(B

  C4-1  $BLZ9=B$7?%W%m%0%i%`N.$l?^$NI=8=K!$H=hM}7O$N<B8=(B
                       $B!{5\;{(B $BMGB$!$c7F#(B $B1Q9,!JEl5~EE5!Bg!K!$Lk5W(B $BC]IW!JF|Bg!K!$(B
                                                       $B6aC+(B $B1Q><!JEl5~EE5!Bg!K(B
  C4-2  NET/C$B$N$?$a$N%S%8%e%"%k%G%P%C%04D6-$N3+H/(B
                            $B!{EDCf(B $B5A0l!$4dED(B $BN50l!$>e86(B $BL-!$?9(B $B=(<y!JElMNBg!K(B
  C4-3  $B6I=jE*IA2h5,B'$rMxMQ$7$?<B9T>uBV;k3P2=(B
                                                $B!{AjED(B $B3X!$>.CS(B $B1Q<y!JEEDLBg!K(B

9 $B7n(B 13 $BF|!J?e!K(B10:00$B!A(B12:00  D $B2q>l(B-4  $B;EMM5-=R(B (1)
                                                       $B:BD9(B  $B7k1o(B $B>M<#!JL>Bg!K(B

  D4-1  $B<B;~4VO@M}(BRTL
           $B!{JF:j(B $BD><y!JEl9)Bg!K!$NkLZ(B $B9/?M!JKLN&@hC<Bg!K!$?\F#(B $BCiM4!JEl9)Bg!K(B
  D4-2  $B%j%"%/%F%#%V%7%9%F%`;EMM$NCJ3,E*5-=R%W%m%;%9$KBP1~$7$?8!>ZK!(B
                                   $B!{;0LZ(B $B0l=(!$M'@P(B $B@5I'!$JF:j(B $BD><y!JEl9)Bg!K(B
  D4-3  $B0z?t4V$N0MB84X78$r5v$9Be?t;EMM$N(Bparameterization$B$K$D$$$F(B
                                        $B!{C+DE(B $B900l!$Cf@n(B $BCf!$K\4V(B $B5#42!J(BIPA$B!K!$(B
                                            $B_7ED(B $B<w<B!$FsLZ(B $B8|5H!JKLN&@hC<Bg!K(B
  D4-4  CSP$B$N%7%9%F%`3+H/$X$NE,MQ(B
                                    $B!{DT%vF2(B $B?.!J9)3X1!Bg!K!$I%ED(B $B51M:!JL@Bg!K(B

9 $B7n(B 13 $BF|!J?e!K(B14:45$B!A(B16:15  B $B2q>l(B-5  $B%*%V%8%'%/%H;X8~(B (2)
                                                     $B:BD9(B  $BK\0LED(B $B??0l!JEl<G!K(B

  B5-1  $BE,1~2DG=$J%"%W%j%1!<%7%g%s$r9=C[$9$k$?$a$N%=%U%H%&%(%"%"!<%-%F%/%A%c(B
                                        $B!{J]LZK\(B $B9890!$CfEg(B $BC#IW!JKLN&@hC<Bg!K(B
  B5-2  $B%*%V%8%'%/%H;X8~3+H/$N$?$a$N(BCASE$B%"!<%-%F%/%A%c$N@_7W$H%W%m%H%?%$%W(B
                                                        $B!{KL;3(B $BJ8I'!JF|K\(BIBM$B!K(B
  B5-3  $B%*%V%8%'%/%H;X8~J,@O@_7W%W%m%;%9$K$*$1$kAOB$E*:n6H;Y1g%D!<%k(B
                                                  $B!{0f>e(B $B<y!$Cf=j(B $BIp;J!JL@Bg!K(B

9 $B7n(B 13 $BF|!J?e!K(B14:45$B!A(B16:15  C $B2q>l(B-5  $B2D;k2=(B (2)
                                                          $B:BD9(B  $BCfEg(B $B?L!J(BNEC$B!K(B

  C5-1  $B%S%8%e%"%k%W%m%0%i%_%s%0%7%9%F%`$K$*$1$kF~NOK!$N8zN(2=(B
                                   $B!{EDCf(B $BFsO:!$8eF#(B $BOB5.!$GO>l(B $B><9(!JC^GHBg!K(B
  C5-2  $BJBNs%"%k%4%j%:%`2r@O$r%W%m%;%C%54VDL?.>pJs$rMxMQ$7$F(B
        $B;Y1g$9$k$?$a$N0l<jK!(B
                            $B!{8E@n(B $B>!9/!$0f>e(B $B>!9T!$5{0f(B $B9(9b!$<sF#(B $B>!!J:eBg!K(B
  C5-3  AATT$B!'%"%k%4%j%:%`%"%K%a!<%7%g%s%7%9%F%`(B
                                                $B!{2,It(B $BL-:H!$;3K\(B $B4n0l!J7DBg!K(B

9 $B7n(B 13 $BF|!J?e!K(B14:45$B!A(B16:15  D $B2q>l(B-5  $B;EMM5-=R(B (2)
                                               $B:BD9(B  $B9SLZ(B $B7<FsO:!JF`NI@hC<Bg!K(B

  D5-1  $B<B;~4VO@M}$K$h$k%j%"%/%F%#%V%7%9%F%`;EMM$N30It%$%Y%s%H@)Ls<0(B
                                                $B!{?9(B $BN<Lw!$JF:j(B $BD><y!JEl9)Bg!K(B
  D5-2  Predicative Specifications of Real-time Communicating Processes
                               $B!{(BShoji Yuen$B!$(BKanako Shinohara$B!$(BToshiki Sakabe$B!$(B
                                                     Yasuyoshi Inagaki$B!JL>Bg!K(B
  D5-3  $BAj8_40A4DL?.O)$r$b$D(BLOTOS$B%W%m%;%9$NF0E*@8@.(B
                    $BE*>l(B $BAo90!J(BNTT$B%G!<%?DL?.!K!$!{F#_7(B $BOBG7!$I%ED(B $B51M:!JL@Bg!K(B

9 $B7n(B 13 $BF|!J?e!K(B16:30$B!A(B18:00  B $B2q>l(B-6  $B%*%V%8%'%/%H;X8~(B (3)
                                               $B:BD9(B  $BMn?e(B $B9@0lO:!JKLN&@hC<Bg!K(B

  B6-1  $B%(!<%8%'%s%H;X8~%"!<%-%F%/%A%c$NDs0F(B---
        $B3+J|7?J,;64D6-$K$*$1$kF0E*%9%/%j%W%H@8@.5!G=$N<B8=(B
               $B!{ED86(B $B9/G7!J(BIPA$B!K!$Bg?\2l(B $B><I'!$1J0f(B $BJ]IW!$K\0LED(B $B??0l!JEl<G!K(B
  B6-2  C++$B%W%m%0%i%`%Y!<%9$N3+H/(B
                                                $B!{Cf>>(B $BAa=U!$EZ5o(B $BHO5W!J7DBg!K(B
  B6-3  $B%*%V%8%'%/%H;X8~J,@O!&@_7W8@8l(BHoop$B$K$*$1$kJ,;66(D47?%b%G%k$NI=8=J}K!(B
                                                $B!{>.@>(B $BM5<#!$Cf=j(B $BIp;J!JL@Bg!K(B

9 $B7n(B 13 $BF|!J?e!K(B16:30$B!A(B18:00  C $B2q>l(B-6  $BJBNsO@M}7?8@8l(B
                                                       $B:BD9(B  $B>eED(B $BOB5*!JAaBg!K(B

  C6-1  $B%3%M%/%7%g%s%^%7%s$K$h$k(BMIMD$B%W%m%0%i%_%s%0$H$=$NI>2A(B
                                              $B!{8E@n(B $B1Q;J!$EDCf(B $BFsO:!JC^GHBg!K(B
  C6-2  Powerdomain$B$K$h$k(BGHC$B%W%m%0%i%`$NItJ,E*Ey2A@-H=Dj(B
                                              $B!{>.ED(B $B9,90!$B<>e(B $B>;8J!J2,;3Bg!K(B
  C6-3  $BL58B<B9T2DG=$J(BGHC$B%W%m%0%i%`$KBP$9$k(BOR$B9g@.2DG=$G(B
        $B%G%C%I%m%C%/%;%s%7%F%#%V$J0UL#O@(B
                                                $B!{2CF#(B $BD*!$B<>e(B $B>;8J!J2,;3Bg!K(B

9 $B7n(B 13 $BF|!J?e!K(B16:30$B!A(B18:00  D $B2q>l(B-6  $BB0@-J8K!(B
                                                     $B:BD9(B  $B:4!9(B $B@/9'!JEl9)Bg!K(B

  D6-1  $B%*%V%8%'%/%H;X8~B0@-J8K!(BOOAG$B$K$h$k%W%m%0%i%_%s%08@8l$NF0E*0UL#$N5-=R(B
                     $B!{8"F#(B $B9nI'!$NkLZ(B $B4uH~!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B
  D6-2  $BB0@-D6%0%i%UJ8K!$K$*$1$k:9J,E*B0@-I>2A%"%k%4%j%:%`(B
           $B!{;3K\(B $B98<#!JEl9)Bg!K!$Bg?9(B $B@5B'!JKLN&@hC<Bg!K!$FAED(B $BM:MN!JEl9)Bg!K(B
  D6-3  $BB0@-J8K!$K$h$k@)Ls5-=R$K$D$$$F(B
                                                         $B!{>>ED(B $BM59,!JEl9)Bg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B10:00$B!A(B12:00  B $B2q>l(B-7  CSCW
                                                           $B:BD9(B  $B@1(B $BE0!JF|N)!K(B

  B7-1  $B%$%s%F%j%8%'%s%H%+%a%i%7%9%F%`9=C[$K4X$9$k0l9M;!(B
                                    $B!{@DLx(B $B<"8J!$GkED(B $B5*Gn!$HxFb(B $BM}5*IW!J(BNTT$B!K(B
  B7-2  WISS$B!'%^%k%A%(!<%8%'%s%H$K$h$k9-0h>pJs6&M-%7%9%F%`(B
                                  $B!{3yED(B $BIRG7!J0&CN650iBg!K!$EZ5o(B $BHO5W!J7DBg!K(B
  B7-3  $B%M%C%H%o!<%/$r2p$7$?6&F1:n6H$K$*$1$kAK32MW0x$NJ,@O(B
                             $B!{B<1[(B $B9-5}!$3$C+(B $B<#I'!$Mn?e(B $B9@0lO:!JKLN&@hC<Bg!K(B
  B7-4  $B?t<0$r4^$`J8=q$rBP>]$K$7$?J8=q9;@5%7%9%F%`(B
                                                $B!{IYED(B $B=`Fs!$;3K\(B $B4n0l!J7DBg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B10:00$B!A(B12:00  C $B2q>l(B-7  $B:GE,2=(B
                                                         $B:BD9(B  $B>>2,(B $BAo!JElBg!K(B

  C7-1  $B%3%s%Q%$%i$N%P%C%/%(%s%I$K$*$1$k:GE,2=$N7A<0E*I=8=(B
                                  $B!{3$Ln(B $BMN!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B
  C7-2  $B%*%V%8%'%/%H;X8~8@8l$N<B9T;~:GE,2=(B
                                                      $B!{F#GH(B $B=g5W!J%=%K!<(BCSL$B!K(B
  C7-3  SPMD$B%3!<%I$K$*$1$k>iD9$J(BSENDMSG/READMSG$B$N=|5n(B
                                                  $B!{M{(B $B6G7f!$86ED(B $B8-0l!J7DBg!K(B
  C7-4  $B@)Ls=hM}8@8l$K$h$k6u4VG[CVLdBj$N8zN(E*2rK!(B---
        $B%3%k!<%A%s=hM}$K4p$E$/6u4VE*@)LsE,MQ$K$h$k%"%W%m!<%A(B
                                          $B!{K\B?(B $B0l2l!$9B8}(B $BJ8M:!JEl5~M}2JBg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B10:00$B!A(B12:00  D $B2q>l(B-7  $B4X?t8@8l(B
                                                       $B:BD9(B  $B4d:j(B $B1Q:H!JElBg!K(B

  D7-1  $B4X?t7?8@8l$K$*$1$k;2>HF)L@@-$rJ];}$9$k;2>H7?(B
                                              $B!{@P0f(B $BM50lO:!$Ip;T(B $B@5?M!JElBg!K(B
  D7-2  Shortcut Deforestation$B$K$*$1$k8zN($N2r@O(B
                                                $B!{Hx>e(B $BG=G7!$Ip;T(B $B@5?M!JElBg!K(B
  D7-3  $B9=@.E*%"%k%4%j%:%`O@$K4p$E$/%W%m%0%i%`M;9gJQ49(B
                                                           $B!{9bLn(B $BL@I'!JF|N)!K(B
  D7-4  Standard ML of New Jersey$B$K$*$1$k@)8f%9%?%C%/$N<BAu(B
                                                $B!{@iMU(B $BM:;J!$EZ5o(B $BHO5W!J7DBg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B13:00$B!A(B14:30  B $B2q>l(B-8  $B%M%C%H%o!<%/(B
                                                      $B:BD9(B  $B>eB<(B $BL3!JF|K\(BIBM$B!K(B

  B8-1  A Multicast Routing Method with Heuristic Source Discovery
                         $B!{(BPavlin Ivanov Radoslavov$B!$(BTakehiro Tokuda$B!JEl9)Bg!K(B
  B8-2  $B5"G<3X=,$rMQ$$$?EE;R%a!<%k%(!<%8%'%s%H$N@_7W(B
                             $B9B8}(B $BJ8M:!$!{LxED(B $B@5Gn!$BgOBED(B $BM&?M!JEl5~M}2JBg!K(B
  B8-3  wwHww$B!'(BAn Application Framework for End-User Computing
        in Multi-organizational Office Network Systems
                     $B!{(BTakeshi Chusho$B!$(BKazuaki Kashiwagi$B!$(BYasuo Kasama$B!JL@Bg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B13:00$B!A(B14:30  C $B2q>l(B-8  $B%3%s%Q%$%i(B
                                                         $B:BD9(B  $B@PH*(B $B@6!JL@Bg!K(B

  C8-1  1$B%Q%9B0@-I>2AK!$rMQ$$$?D6%0%i%UJ8K!$N9=J82r@OK!(B
                                              $B!{LZB<(B $B4n>;!$FAED(B $BM:MN!JEl9)Bg!K(B
  C8-2  LR$B9=J82r@O$K$*$1$k>uBVA+0\?^$N9=B$(B
                                                            $B!{?9K\(B $B??0l!J(BNEC$B!K(B
  C8-3  $B=[4DB0@-J8K!$K4p$E$/@8@.7O(BJun
                          $B!{:4!9LZ(B $B98!$FAED(B $BM:MN!$OFED(B $B7z!$:4!9(B $B@/9'!JEl9)Bg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B13:00$B!A(B14:30  D $B2q>l(B-8  $B%W%m%0%i%`9g@.!&F3=P(B
                                                       $B:BD9(B  $B9bLn(B $BL@I'!JF|N)!K(B

  D8-1  $B<B9T%H%l!<%9$+$i$N%W%m%0%i%`9g@.$K$`$1$F(B
                                      $B!{:48}(B $BBYG7!$0KCNCO(B $B9(!JIY;N%<%m%C%/%9!K(B
  D8-2  $BN`?d$rMQ$$$?O@M}%W%m%0%i%`$N9g@.$K$*$1$kN`;w@-$N(B
        $B;^4"$j$K4X$9$kM}O@E*9M;!(B
                                        $B!{:4EZ86(B $B7r!JEl9)Bg!K!$868}(B $B@?!JKLBg!K(B
  D8-3  $B=89gO@%W%m%0%i%_%s%0$K$*$1$k%0%i%U%"%k%4%j%:%`$N7OE}E*F3=P(B
                                                           $B!{LnLZ(B $B7sO;!JF|N)!K(B

9 $B7n(B 14 $BF|!JLZ!K(B14:45$B!A(B16:45  B $B2q>l(B-9  $B1~MQ(B (2)
                                                     $B:BD9(B  $B2,(B $B2F<y!J>>2<5;8&!K(B

  B9-1  $B3,AX2=$7$?%O%$%Q!<%F%-%9%H$K$h$k%"%k%4%j%:%`2r@b$N$?$a$N0l<jK!(B
                 $B!{CI>e(B $B>04u!$0f>e(B $B>!9T!$>eOBED(B $BE0!$5{0f(B $B9(9b!$<sF#(B $B>!!J:eBg!K(B
  B9-2  $B0\F0%m%\%C%H$N$?$a$N(B3$BJ}8~Js=7M=B,$K$h$k6/2=3X=,%7%9%F%`$N@_7W(B
                             $B9B8}(B $BJ8M:!$!{:4F#(B $B=_0l!$D9C+It(B $B@5?.!JEl5~M}2JBg!K(B
  B9-3  $B0dEAE*%"%k%4%j%:%`$rMQ$$$?(BSOFT$B$K$*$1$k%"%/%?3d$jIU$1%"%k%4%j%:%`(B
                            $B!{ED8}(B $B1Q?-!$6LLZ(B $B=_0l!$>e86(B $BL-!$?9(B $B=(<y!JElMNBg!K(B
  B9-4  $B5"G<O@M}%W%m%0%i%_%s%0$K$*$1$kAPJ}8~C5:w@oN,(B
                                        $B!{BgOBED(B $BM&?M!$9B8}(B $BJ8M:!JEl5~M}2JBg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B14:45$B!A(B16:45  C $B2q>l(B-9  $BJBNs%*%V%8%'%/%H;X8~(B
                                                  $B:BD9(B  $B2#<j(B $BLwI'!J%=%K!<(BCSL$B!K(B

  C9-1  $BJBNs%*%V%8%'%/%H;X8~8@8l!V$(!<$H$7!W(B
                                        $B!{0286(B $B1IEP;N!$;y6L(B $BLw;J!JEl5~M}2JBg!K(B
  C9-2  $BJBNs%*%V%8%'%/%H6(D45-=R8@8l(BProduce/1$B$K$D$$$F(B
                                     $B!{1-NS(B $B>0Lw!$BgLZ(B $BFXM:!$5WLn(B $BLw!JC^GHBg!K(B
  C9-3  $B%7%9%F%`5-=R8@8l$H$7$F$NJBNs%*%V%8%'%/%H;X8~8@8l(B
                                                     $B!{;y6L(B $BLw;J!JEl5~M}2JBg!K(B
  C9-4  $BJB9T%*%V%8%'%/%H;X8~7W;;$KBP$9$kItJ,7W;;(B
                                          $B!{?{86(B $BB@O:!$EOIt(B $BBnM:!JKLN&@hC<Bg!K(B

9 $B7n(B 14 $BF|!JLZ!K(B14:45$B!A(B16:45  D $B2q>l(B-9  $BO@M}$HI=8=(B
                                                         $B:BD9(B  $BHSEg(B $B@5!J7DBg!K(B

  D9-1  $B!J<h>C!K(B
  D9-2  $B%/%i%9$HItJ,9=B$$r;}$DBP>]$NI=8=$H7W;;(B
                         $B!{@n8}(B $BM:0l!JFQ>.KR9b@l!K!$@V4V(B $B@6!$5\K\(B $B1R;T!JKLBg!K(B
  D9-3  $BF0E*4D6-2<$K$*$1$k%(!<%8%'%s%H$N?.G0$N0UL#O@(B
                                      $B!{G_B<(B $B989-!$0k:j(B $B=(<y!$>!Ln(B $BM5J8!J(BNTT$B!K(B
  D9-4  $BO":?5,B'$K4p$E$/H]DjI=8=$rF3F~$7$?CN<1I=8=%7%9%F%`(BDOT
                                     $B!{@6(B $B0lN4!$DMK\(B $B>;I'!$@>Hx(B $B>O<#O:!J:eBg!K(B


$B8rDL0FFb!'(B
  1.  $B>.ED5^@~@8ED1X$+$iELJb!JLs(B10$BJ,!K!#@8ED1X$K$O3FDd$H=`5^$,Dd<V!#(B
      $B?7=I$+$i5^9TMxMQ$N>l9g$O!$8~%v5VM71`1X$G>h49$(!#(B
      $B@8ED1X$+$i$O!$Fn8}!J?7=I$+$i8+$F:8B&!K$K=P$F!$@~O)$K1h$C$F(B
      $B?7=I$KLa$kJ}8~$KJb$/!#(B
  2.  $B>.ED5^@~8~%v5VM71`1XKL8}$+$i%P%9L@<#Bg3X@5Lg9T$-!JLs(B20$BJ,!K=*E@2<<V!#(B
      $B%P%9$O!$(B9$B;~Bf$+$i(B15$B;~Bf$^$GKh;~(B10$BJ,!$(B30$BJ,!$(B50$BJ,H/!#(B
      $B?7=I$+$i8~%v5VM71`$^$G$O5^9T$G(B22$B!A(B25$BJ,!#(B


$BF|K\%=%U%H%&%'%"2J3X2qBh(B12$B2sBg2qLr0w(B

$BBg2q0Q0wD9(B   $BCf=j(B $BIp;J(B    ($BL@<#Bg3X(B)

$B1?1D0Q0w2q(B
    $B0Q0wD9(B   $B@PH*(B $B@6(B      ($BL@<#Bg3X(B)
    $B0Q(B  $B0w(B   $BCf=j(B $BIp;J(B    ($BL@<#Bg3X(B) 
             $BI%ED(B $B51M:(B    ($BL@<#Bg3X(B)

$B%W%m%0%i%`0Q0w2q(B
    $B0Q0wD9(B   $BI%ED(B $B51M:(B    ($BL@<#Bg3X(B) 
    $B0Q(B  $B0w(B   $B9SLZ(B $B7<FsO:(B  ($BF`NI@hC<2J3X5;=QBg3X1!Bg3X(B) 
             $B@PH*(B $B@6(B      ($BL@<#Bg3X(B) 
             $B>eED(B $BOB5*(B    ($BAa0pEDBg3X(B) 
             $BMn?e(B $B9@0lO:(B  ($BKLN&@hC<2J3X5;=QBg3X1!Bg3X(B) 
             $BHxFb(B $BM}5*IW(B  (NTT) 
             $B:y0f(B $B5.J8(B    ($B@iMUBg3X(B) 
             $B9bLn(B $BL@I'(B    ($BF|N)@=:n=j(B) 
             $BC]Fb(B $B>40l(B    ($B%=%K!<%3%s%T%e!<%?%5%$%(%s%98&5f=j(B) 
             $BEDCf(B $BFsO:(B    ($BC^GHBg3X(B) 
             $BCf=j(B $BIp;J(B    ($BL@<#Bg3X(B) 
             $BCfEg(B $B=(G7(B    ($BEE;R5;=QAm9g8&5f=j(B) 
             $BCfEg(B $B?L(B      ($BF|K\EE5$(B) 
             $BGk86(B $B7s0l(B    ($BBg:eBg3X(B) 
             $B66ED(B $B9@0l(B    ($BEE;R5;=QAm9g8&5f=j(B) 
             $BJ?2l(B $B>y(B      ($B?^=q4[>pJsBg3X(B) 
             $BJ?LZ(B $B7I(B      ($BEl5~Bg3X(B) 
             $BK\0LED(B $B??0l(B  ($BEl<G(B) 
             $B;01:(B $B9'IW(B    ($B;:G=Bg3X(B) 
             $B2#<j(B $BLwI'(B    ($B%=%K!<%3%s%T%e!<%?%5%$%(%s%98&5f=j(B)

