From: yasumura@sfc.keio.ac.jp (Yasumura Michiaki)
Subject: JSSST'92 Program & Call for Participation
Organization: Keio University Shonan Fujisawa Campus.
Distribution: fj
Date: Mon, 24 Aug 1992 03:47:05 GMT


  $BF|K\%=%U(B$B%H%&%'%"2J3X2q(B 92$BG/EYBg2q$N%W%m%0%i%`$r(B
$B$*CN$i$;$7$^$9!#$U$k$C$F$4;22C2<$5$$!#(B

					$B0BB<(B@$B7DXfBg3X(BSFC

  $B$J$*!"%[%F%k$rMxMQ$NJ}$O<!$N%[%F%k$,$4MxMQ$G$-$^$9(B
$B!J%=%U%H%&%'%"2J3X2q;22C$H9p$2$FD>@\?=$79~$_2<(B$B$5$$(B):

 $B!&(B $BK!2Z%/%i%VF#Bt(B(Tel:0466-27-6101)	
 $B!&(B $BF#Bt%0%i%s%I%[%F%k(B(Tel:0466-22-1311)

********************************************************

	$BF|K\%=%U%H%&%'%"2J3X2qBh(B9$B2sBg2q$N$40FFb(B

$BF|;~!'(B  1992$BG/(B9$B7n(B16$BF|(B($B?e(B) --- 9$B7n(B18$BF|(B($B6b(B) 
$B2q>l!'(B  $B7DXf5A=NBg3X>EFnF#Bt%-%c%s%Q%9(B (SFC)
$B8rDL!'(B	$B>.ED5^9>%NEg@~>EFnBf(B$B1X$+$i%P%9$GLs(B12$BJ,(B
	($B$^$?$O(BJR$BEl3$F;@~DTF21X$+$i%P%9$GLs(B20$BJ,(B)	

$BBg2q0Q0wD9!'(B        $BAj0k!!=(IW(B($B7DXf5A=N(B$BBg3X4D6->pJs3XIt(B)
$B%W%m%0%i%`0Q0wD9!'(B  $BEZ5o!!HO5W(B($B7DXf5A=NBg3XM}9)3XIt(B) 
$B;22CHq!'(B    $B0lHL2q0w(B   6,000$B1_(B 
            $B3X@82q0w(B   4,000$B1_(B 
              $BHs2q0w(B  10,000$B1_(B 

$BJ;@_%A%e!<%H%j%"%k!'(B 9$B7n(B14$BF|(B ($BEl5~(B$B9)6HBg3X(B)
			$B!VK\Ev$N%W%m%0%i%^$O(BML$B$r;H$&$h$&$K$J$k!=$+!)!W(B
				$BBgKY(B $B=_(B($B2-EE5$4X@>Am8&(B) 
$B>7BT9V1i(B: 9$B7n(B16$BF|(B 13:30$B!A(B14:30 $B!V?M4V$N;k3P>pJs=hM}86M}!W(B  $B&H4[(B
					$B4%IRO:!J5~ETBg3XJ83XIt(B)
	  9$B7n(B17$BF|(B 14:00$B!A(B15:00 $B!V1GA|;:6H$K$*$1$k(BCG$BMxMQ:GA0@~!W(B $B&H4[(B
					$B6b;RK~!J7DXf5A=NBg3X4D6->pJs3XIt(B)
$B:)?F2q!'(B  9$B7n(B16$BF|(B($B?e(B)17:30$B!A!!7DXf5A=NBg3X>EFnF#Bt%-%c%s%Q%9(B $B&24[(B
			      $B0lHL(B 4000$B1_(B  $B3X@8(B 3000$B1_(B


$B0lHLH/I=%W%m%0%i%`!J(B127$B7o(B):
9$B7n(B16$BF|(B($B?e(B) 10:00$B!A(B12:00 
$B%;%C%7%g%s(BA: $BJB9T!&JBNs8@8l(B ($B:BD9(B:$BEDCfFsO:(B($BIY;NDL9q:]8&(B))

$B!&Cj>]EY(B$B$N9b$$%"%k%4%j%:%`5-=R$H%W%m%0%i%`$NJB9T<B9T(B
  $B!{EDCf5WH~;R(B, $BIp;T@5?M(B, $B4d:j1Q:H(B($BElBg(B)
$B!&4X?t!&O@M}7?8@(B$B8l$NJBNs2=!"!{NkLZBgO:(B, $B0fEDE/M:(B($BC^GHBg(B)
$B!&<+8JH?1GE*JB9T%W%m%0%i%_%s%08@8l(BACT/R+$B$H$=$ND6JBNs7W;;5!>e(B$B$X$N<BAuJ}<0(B
  $B$K$D$$$F!"!{EOItBnM:(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B) 
$B!&9b%l%Y%k%Z%H%j%M%C%H$K4p$E$/JB9T%W%m%0%i(B$B%_%s%08@8l$H$=$N3+H/;Y1g4D6-(B
  $B!{FbJ?D>;V(B, $BK\0LED??0l(B($BEl<G(B) 


9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BB: $B%*(B$B%V%8%'%/%H%G!<%?%Y!<%9(B ($B:BD9(B: $B>eNSLoI'(B($B5~Bg(B))

$B!&%0%i%U7k9g%*%V%8%'%/%H$N7?$H$=$N1~MQ$K$D$$$F!"!{9bED(B$BIR90(B(NTT)
$B!&%a%b%j%*%V%8%'%/%H$H%G%#%9%/%*%V%8%'%/%H$N0lMM2=$rL\;X$7$?%*%V%8%'%/%H;X8~(B
  $B%G!<%?%Y!<%9(B$B%7%9%F%`$N5-219=B$!"!{5H@nAO(B, $BL'86C$IW(B, $B=j??M}M:(B($B7DBg(B) 
$B!&%*%V%8%'%/%H;X8~%G!<%?%Y!<%9$K$*$1$k;kE@$r9M(B$BN8$7$?%J%t%#%2!<%7%g%s(B
  $B!{EO<"(B, $BK\ED9/98(B($B%=%K!<(BCSL) 
$B!&(BMAC$B%b%G%k!'J#?t4QE@$+$i$NJ,N`$,2DG=$J%*%V%8%'(B$B%/%H!"!{DMED@2;K(B(NTT)


9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BC: $B@)Ls(B($B:BD9(B: $B9B8}J8M:(B($BM}2JBg(B))

$B!&1ieh%G!<(B$B%?%Y!<%9$X$N@)Ls4KOB5!G=$NF3F~!"!{DiIY;NM:(B, $B<D86Lw;V(B($BEENOCf8&(B) 
$B!&JBNs@)LsO@M}7?8@8l$K$*$1$k@)Ls6a;w$r(B$BMQ$$$?7hDj@-2r@O(B
  $B!{>.NSD><y(B, $B>>2,Ao(B, $BJF_7L@7{(B($BElBg(B) 
$B!&(BDuo:$BJ,;64D6-$KE,$7$?@)Ls=<B-5!9=!"!{EhED5.IW(B, $B=j??M}M:(B($B7DBg(B)
$B!&@)Ls%J%m!<%$%s%07W;;$NDs0F!"!{:4!9LZ=EM:(B, $B0fEDE/M:(B($BC^GHBg(B)


9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BD: $B%=%U%H%&%'%"9)3X(B(1)($B:BD9(B: $BJF:jD><y(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B))

$B!&JB9T=hM}%W%m%0%i%`$N%F%9(B$B%H%1!<%9@8@.$K$*$1$k%?%9%/7?$K4X$9$k0l9M;!(B
  $B!{JR;3E0O:(B, $B8E@nA18c(B, $B8VEDIR9T(B, $B5mEgOBIW(B($B6eBg(B) 
$B!&@$Be$r(B$B$^$?$,$k%=%U%H%&%'%"?J2=%W%m%;%9(B---$B%=%U%H%&%'%"$N<wL?$H:n$jD>$7$K(B
  $B4X$9$k9M;!(B,$B!{6L0fE/M:(B($BC^GHBg(B), $BD;(B$B8wM[2p(B($BF|@P>pJs%7%9%F%`(B) 
$B!&$a$m$s!';EMM$K4X$9$k5DO@$N%U%'!<%:$r0U<1$7$?%=%U%H%&%'%";EMM5DO@;Y1g%7%9%F(B$B%`(B
  $B!{?b?e9@9,(B, $B5HI\8&<#(B($BF|EE(B) 
$B!&6(D4%(!<%8%'%s%H$K$h$k%*%V%8%'%/%H;X8~J,@O%W%m%;%9$N%b%G%k2=$N;n$_(B
  $B!{>.9b?.?M(B, $B4_K\K'E5(B(IPA), $BK\0LED??0l(B($BEl<G(B) 


9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BE: $B%^%k%A%(!<%8%'(B$B%s%H%b%G%k(B(1)($B:BD9(B: $BK\0LED??0l(B($BEl<G(B))

$B!&%^%k%A%(!<%8%'%s%H$K$*$1$k%W%i%s$N0QBw$K$h$k6(D4!"!{>>NS7D(B, $B=j??M}M:(B($B7DBg(B) 
$B!&<+N'%(!<%8%'%s%H$N=8CDE*@oN,JQ99!"!{>B2,@iN$(B($B%=%K!<(BCSL)
$B!&%^%k%A%(!<%8%'%s%H4V$N>u67(B$B0MB8@-$r9MN8$7$?6&DLMQ8l$N3MF@!"(B
  $B!{?y9>7r;J(B, $B=j??M}M:(B($B7DBg(B) 
$B!&6(D4E*LdBj2r7h$KBP$9$k@)Ls=hM}!"!{86(B$BEDBs(B, $B9B8}J8M:(B($BM}2JBg(B)


9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
$B%;%C%7%g%s(BA: $BJBNsO@M}%W%m%0%i%_%s%0(B($B:BD9(B: $B>eEDOB5*(B(ICOT))

$B!&(BTransputer $B%M%C%H%o!<%/>e$N5-9f=hM}MQJ,;6%+!<%M%k!"(B
  $B!{C]Fb44M:(B, $B4d:j1Q:H(B, $BIp;T@5?M(B($BElBg(B) 
$B!&(BCommitted Choice$B$K$h$k4X?t%W%m%0%i%`$NJBNs<B9T!"(B
  $B!{EDCfE/O/(B, $B4d:j1Q:H(B, $BIp;T@5?M(B($BElBg(B) 
$B!&(BFGHC$B%W%m(B$B%0%i%`$K$*$1$k%W%m%;%9$H%a%C%;!<%8$N8r49(B---$B<B9T%9%l%C%I$KCeL\$7$?(B
  $B8zN(2~A1<jK!(B---$B!"!{5WLg9L0l(B, $BJ?ED(B$B7=Fs(B(ICOT) 
$B!&(BFGHC$B%W%m%0%i%`$K$*$1$k%W%m%;%9$H%a%C%;!<%8$NAPBP@-!"(B
  $B!{J?ED7=Fs(B, $B5WLg9L0l(B(ICOT) 
$B!&<A(B$BLd%3%s%Q%$%kK!(B---KL1$B$K$h$kA42rC5:w$N?7$7$$%Q%i%@%$%`(B---$B!"(B
  $B!{8E@n9/0l(B($B7DBg(B), $BF#ED@59,(B(ICOT), $BF#EDGn(B($B;0I)EE5!(B), $BD9C+@nN4;0(B, $BJ%0lGn(B(ICOT) 


9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
$B%;%C%7%g%s(BB: $B%*%V%8%'%/%H;X8~8@8l!&4D6-(B($B:BD9(B: $BHxFbM}5*IW(B(NTT))

$B!&(BEnbeddable PROLOG Interpreter and its Application to Program Browser$B!"(B
  $B!{(B$BCfB<9(L@(B($BF|K\(BIBM) 
$B!&%@%$%J%_%C%/8@8l%7%9%F%`$H(BC++$B3+H/4D6-$X$NE,MQ!"!{:4<#?.G7(B, $B7J;3C$O:(B($BF|EE(B) 
$B!&(BC$B%Y(B$B!<%9$N%*%V%8%'%/%H$N$?$a$NJ#<L<02s<}4o!"!{>.Ln;{L1Li(B($BF|K\(BIBM)
$B!&(BSmalltalk $B$K$*$1$k%/%i%9?dDj!"!{EDCfN4(B$B0lO:(B, $BEZ5oHO5W(B($B7DBg(B)
$B!&%/%i%9Fb%j%=!<%9$N(BSmalltalk$B$K$*$1$k<B8=!"!{@P4V9(G7(B, $BI%ED51M:(B($BL@Bg(B)


9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
$B%;%C%7%g%s(BC: $B&K7W;;$H%+%F%4%j!<(B($B:BD9(B: $BIp;T@5?M(B($BElBg(B))

$B!&6&DL7?BN7O$N7??dO@$X$N1~MQ!"(B$B!{2#Fb42J8(B($BF|K\(BIBM)
$B!&4D6-$r07$&%W%j%_%F%#%V$r;}$D&K7W;;!"!{@>:j??Li(B($BElBg(B)
$B!&BeF~$r;}$D7W;;7O$H$3$l$K(B$B$h$k%*%V%8%'%/%H;X8~7W;;$N%b%G%k2=!"!{BgC]OBM:(B($BF|EE(B) 
$B!&&K(Bf--$B7W;;!"!{5HEDE8;R(B, $B=j??M}M:(B($B7DBg(B)
$B!&4X789=(B$BB$$N7wO@E*JQ49$K$D$$$F!"!{9B8}2B42(B($B6e9)Bg(B), $B2O869/M:(B($B6eBg(B)


9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
$B%;%C%7%g%s(BD: $B<+A3(B$B8@8l(B($B:BD9(B: $BEDCfJf@Q(B($BEl9)Bg(B))

$B!&%A%c!<%H7?9=J82r@O!&@8@.$NE}0lE*OHAH!"!{EA9/@2(B(ATR/$B5~Bg(B)
$B!&J8K!<gF3$K(B$B$h$k6(D4E*J8@8@.!"(B
  $B!{=ULn2mI'(B($B5~Bg(B), $BEA9/@2(B(ATR/$B5~Bg(B), $B>>K\M5<#(B, $BD9Hx??(B($B5~Bg(B) 
$B!&JB9T7?<+A38@8l=hM}(B$B%7%9%F%`$K$*$1$k%a%?%l%Y%k=hM}5!9=!"!{>>K\M5<#(B($B5~Bg(B) 
$B!&F|K\8l%W%m%0%i%_%s%04D6-$N9=C[!AF|K\8l%3%s%Q%$(B$B%i$N3+H/!"(B
  $B!{Mn9gBg(B, $BKL@n2mLi(B($BAaBg(B) 
$B!&%W%m%0%i%`JQ49$K$h$k0UL#7W;;!"!{LnB<M4;N(B, $B@V4V@6(B, $B5\K\1R;T(B($BKL(B$BBg(B)


9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
$B%;%C%7%g%s(BE: $B%^%k%A%(!<%8%'%s%H%b%G%k(B(2)($B:BD9(B: $BC]Fb>40l(B($B%=%K!<(BCSL))

$B!&(B$B%^%k%A%(!<%8%'%s%H7?LdBj2r7h;Y1g%7%9%F%`$K4X$9$k9M;!!"!{CfB<9'(B($BBg:e;:6HBg(B) 
$B!&AOH/E*7W;;%b%G%k$K$h$kH/(B$B@<8@8lM}2r%7%9%F%`$X$N4D6-2;$NAH$_9~$_!"(B
  $B!{1|G5Gn(B, $BGpLnKRIW(B, $B2,EDH~CRCK(B, $BCfC+CR9-(B(NTT) 
$B!&(BFRECS:$B<+N)(B$B0\F0%m%\%C%H$N%U%'%$%kI|5"$N$?$a$N%R%e!<%^%s!]%m%\%C%H!&(B
  $B%$%s%?%U%'!<%9%7%9%F%`!"!{CfFbLw(B, $B:4F#=<(B, $B;3K\5H?-(B, $B0B@>M40lO:(B($B7DBg(B) 
$B!&%Q!<%=%J%k%9%Z!<%9$K4p$E$/%*!<%J!<%7%C%W%b%G%k$N%^%k%A%m%\%C%H$X$N<BAu!"(B
  $B!{Lp8~9b90(B, $B:0EDOB@k(B, $BHSED9@Fs(B, $B?{86CR5A(B, $B0B@>M40lO:(B($B7DBg(B) 
$B!&%K%e!<%m%(!<%8%'%s%H$NJ,;63X=,$H6(D4(B$B3X=,!"!{;32<2m90(B, $B@8E7L\>O(B($BKIBg(B) 


9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BA: $B;~AjO@M}(B($B:BD9(B: $BFbJ?D>;V(B($BEl<G(B))

$B!&;~Aj%*%Z%l!<%?$NE}0l2=$rMQ$$$k;~AjO@M}>ZL@K!!"(B
  $B!{M'@P@5I'(B($BEl9)Bg(B), $BJF:jD><y(B($BKLN&@hC<2J5;Bg(B/$BEl(B$B9)Bg(B) 
$B!&L?Bj$N@.N)2s?t$K4X$9$k;~Aj1i;;;R$K4p$E$/;~AjO@M}(BMTL$B$N7hDj2DG=@-$K$D$$$F!"(B
  $B!{5H1:5*98(B($BEl9)Bg(B), $BJF:jD><y(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B) 
$B!&;~AjB0@-J8K!$K$h$k(BGUI$B$N5-=R!"!{;32<5A9T(B, $BCfED0iCK(B($BC^GHBg(B)


9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BB: $B?M9)CNG=(B($B:BD9(B: $B0B@>M40lO:(B($B7DBg(B))

$B!&(BEntailment as the First-Principles of Knowledge Representation and 
  Reasoning$B!"!{Dx5~FA(B($B6eBg(B) 
$B!&CN<1%Y!<%9%7%9%F%`(BDOT$B$K$*$1$kCN<1(B$B$N=>B0@-$H99?7=hM}!"(B
  $B!{DMK\>;I'(B($B%7%c!<%W(B), $B@>Hx>O<#O:(B($B:eBg(B) 
$B!&0x2L4X78$H9T0Y$NM}O@!"!{CfEg=(G7(B($BEEAm(B$B8&(B)
$B!&(BGenetic Algorithm$B$rF3F~$7$?%[%C%W%U%#!<%k%I%M%C%H%o!<%/$K$h$kAH9g$;(B
  $B:GE,2=LdBj!"!{>k8MN4(B($B7DBg(B) 


9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BC: $B%R%e!<%^%s%$%s%?!<%U%'%$%9(B($B:BD9(B: $BBgLn5AIW(B($B7DBg(B))

$B!&%"%K%a!<(B$B%7%h%s%7%9%F%`9=C[$N$?$a$N%D!<%k%-%C%H$K4X$9$k9M;!!"(B
  $B!{OBEDM5Fs(B, $BA0ED=!B'(B($BIY;NDL9q:]8&(B) 
$B!&Cj>]E*%G(B$B!<%?$KBP$9$kD>@\A`:n%$%s%?!<%U%'%$%9$NNc$K$h$k<B8=!"(B
  $B!{5\2<7r(B, $B>>2,Ao(B, $B9b66?-(B, $BJF_7L@7{(B($BElBg(B), $B3yED(B$BIY5W(B(ACCESS) 
$B!&%f!<%6%b%G%k$K4p$E$/%X%k%W%7%9%F%`!"!{Bg;3N40lO:(B, $B;3K\4n0l(B($B7DBg(B)
$B!&JB9T%W%m%0%i%`$N;k(B$B3PE*@_7W;Y1g!"!{>.@>E0(B, $B;3K\4n0l(B($B7DBg(B)


9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BD: $B%=%U%H%&%'%"9)3X(B(2)($B:BD9(B: $B0$Ap@6<"(B($BL>Bg(B))

$B!&%(!<%8%'%s%H%b%G%k$K$*$1$k!VCj>]2=!&6qBN2=$K$h$k;EMM2=%W%m%;%9!W$NDj<02=!"(B
  $B!{>>(B$B1::49>;R(B(IPA), $BK\0LED??0l(B($BEl<G(B) 
$B!&Be?t7?8@8l$N=g=x%=!<%H5!G=$rMQ$$$?I=8=K!$K$D$$$F(B---OSI$B4IM}$N4IM}BP(B$B>]$N(B
  $BDj5A$rNc$K!"!{2,ED9/<#(B, $BFsLZ8|5H(B($BEEAm8&(B) 
$B!&%=%U%H%&%'%"%W%m%;%9$K$*$1$k:F<B9T$N7A<0E*%b%G%k!"(B
  $B!{4d0f=_(B($BEl9)Bg(B), $BNkLZ@5?M(B($BKLN&@hC<2J5;Bg(B), $BJR;3BnLi(B($BEl9)Bg(B/$BKLN&@hC<2J5;Bg(B) 
$B!&(BSmall$B7W;;%b%G%k(BHFSP$B$N%U%)!<%k%H%H%l%i%s%H%W%m%0%i%_%s%0$X$N1~MQ!"(B
  $B!{NkLZ@5?M(B($BKLN&@hC<2J5;Bg(B), $BJR;3BnLi(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B) 


9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BE: $B%j%"%k%?%$%`#O#S(B($B:BD9(B: $B2#<jLwI'(B($B%=%K!<(BCSL))

$B!&(BA Real-Time Thread Model for Continuous Media Applications$B!"(B
  $B!{FAED1Q9,(B($B7DBg(B/CMU) 
$B!&(BFirst Class User Thread in ARTS2.0$B!"!{DI@n=$0l(B, $BCfEgC#IW(B, $BFAED1Q9,(B($B7DBg(B/CMU) 
$B!&(BReal-Time Synchronization in Real-Time Mach$B!"!{CfEgC#IW(B, $BFAED1Q9,(B($B7DBg(B/CMU) 
$B!&%Q!<%=%J%k%m%\%C%H$N$?$a$NIR46$G=@Fp$J(BOS $\mu$-PULSER$B$N@_7W$H<B(B$BAu!"(B
  $B!{?{86CR5A(B, $BHSED9@Fs(B, $B=)DmJ~9((B, $B:0EDOB@k(B, $BLp8~9b90(B, $B0B@>M40lO:(B($B7DBg(B)  


9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
$B%;%C%7%g%s(BA: $BO@M}%W%m%0%i%_%s%0(B(1)($B:BD9(B: $B>>K\M5<#(B($B5~Bg(B))

$B!&(BIncorporating Constraint Systemsinto Inductive Logic Programming$B!"(B
  $B!{BgOBEDM&?M(B, $B9B8}J8M:(B($BM}2JBg(B) 
$B!&B?=E0lHL2=LdBj!'B?=E7Q>5$N0UL#O@$+$i(B$B$N@\6a!"!{868}@?(B($BEl9)Bg(B)
$B!&9`Jq@]8@8l$K$*$1$k%*%V%8%'%/%HItJ,<1JL@-$HH]Dj!"(B
  $B!{HSEg@5(B, $B1JED<iCK(B, $B1:><(B$BFs(B($B7DBg(B) 
$B!&7?IU$-@k8@7?8@8l$N(BUL$B$X$NKd$a9~$_!"!{@n8}M:0l(B($BFQ>.KR9)6H9b@l(B), $B@V4V@6(B($BKLBg(B) 
$B!&(BUL/$B&A$N%W%m(B$B%0%i%`JQ49!"!{Bg>>@5<y(B($B3X=,>pJsDL?.%7%9%F%`8&5f=j(B), 
  $B@V4V@6(B, $B5\K\1R;T(B($BKLBg(B), $B;0;^IpCK(B($BKL3$F;>pJsBg(B)


9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
$B%;%C%7%g%s(BB: $BJ,;6%*%V%8%'%/%H;X8~(B($B:BD9(B: $BJF_7L@7{(B($BElBg(B))

$B!&%f!<%6%$%s%?%U%'(B$B!<%9$+$i8+$?J,;6%*%V%8%'%/%H!"(B
  $B!{?7=_(B, $BNrK\=c0l(B, $BCfEg?L(B, $B:4<#?.G7(B, $B4d:jL$CN(B($BF|EE(B) 
$B!&3,AXAjBPL>A0IU(B$B$1K!!'Bg5,LOJ,;6%7%9%F%`$K$*$1$k0\F0F)2a$J%*%V%8%'%/%H<1JLK!!"(B
  $B!{F#GH=g5W(B, $B2#<jLwI'(B($B%=%K!<(BCSL) 
$B!&J,(B$B;6<B;~4V=hM}$N$?$a$N<+8JH?1G7?%*%V%8%'%/%H4VDL?.!"(B
  $B!{9b<.0l5*(B, $B=j??M}M:(B($B7DBg(B) 
$B!&J,;64D6-$NJQ2=$K<+(B$BH/E*$KE,1~$9$k%*%V%8%'%/%H$H$=$N5-=R8@8l!"(B
  $B!{3yEDIRG7(B, $BEZ5oHO5W(B($B7DBg(B) 
$B!&(BKamui$B%b%G%k$K4p$E$/J,;6%*%V(B$B%8%'%/%H;X8~%7%9%F%`$N<B9T4D6-$K$D$$$F!"(B
  $B!{IpB<8y;J(B, $BEOJU?5:H(B, $B5\K\1R;T(B($BKLBg(B) 


9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
$B%;%C%7%g%s(BC: $B9`=q49$(%7%9%F%`(B($B:BD9(B: $B9bLnL@I'(B($BF|N)4pAC8&(B))

$B!&Ey<0O@M}$N5"G<E*DjM}$r>ZL@$9$k<jB3(B$B$-!"(B
  $B!{Bg?\2l><I'(B($BEl<G(B), $B:d0f8x(B($BC^GHBg(B), $BK\0LED??0l(B($BEl<G(B) 
$B!&=g=x%=!<%HBe?t$NB?%=!<%HJ,2r$K$D$$$F!"(B
  $B!{9b669'0l(B, $B8MB<E/(B, $BFsLZ8|5H(B($BEEAm8&(B), $B_7ED<w<B(B(SRA) 
$B!&(BUsing ATMS in Knuth-Bendix Completion Procedure$B!"(B
  $B!{(BKoukoudis VASSILIOS, $B0KF#5.9/(B($BElKLBg(B) 
$B!&B?%=!<%H=q49$(5,B'$N8_49@-!"!{:4F#L@NI(B, $B;3G7FbE0(B, $BEOJU@5?.(B($BF|EE(B)
$B!&(BInterpretation of Conditional Term Rewriting Systems by DTRC$B!"(B
  $B!{qHB.(B, $B:dIt=S<y(B, $B0p3@9/A1(B($BL>Bg(B) 


9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
$B%;%C%7%g%s(BD: $B8@8l=hM}7O(B(1)($B:BD9(B: $BFAEDM:MN(B($BEl9)Bg(B))

$B!&%$%s%/(B$B%j%a%s%?%k$J0UL#2r@O!"!{2.860lN4(B($BC^GHBg(B), $B:4!9@59'(B($BEl9)Bg(B)
$B!&9`=q49$(7O$rMQ$$$?%3!<%I:GE,2=!"!{_7ED=a(B($B5~Bg(B)
$B!&(BLR$B9=J82r@O$K4p$E$/D>@\<B9T7?$NB0@-I>2A4o@8@.7O$N9=C[!"(B
  $B!{86ED9%9/(B, $B86ED8-0l(B($B7DBg(B) 
$B!&%3%s%Q(B$B%$%i$K$*$1$k3F<o:GE,2=<jK!$NE,MQ=g=x$N9M;!!"!{Eg8-0l(B, $BCfED0iCK(B($BC^GHBg(B) 

9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
$B%;%C(B$B%7%g%s(BE: $B#O#S(B($B:BD9(B: $B@6?e8,B?O:(B($BEEDLBg(B))

$B!&$d$q!'(BYet Another Window Environment$B!"!{;y6LLw;J(B, $BEZ5oHO5W(B($B7DBg(B)
$B!&(BApertos$B$K$*$1$k%*%V%8%'%/%H4IM}5!9=$N<BAu$HI>2A!"(B
  $B!{8w_7FX(B($B7DBg(B), $B2#<jLwI'(B($B%=%K!<(BCSL), $B=j??(B$BM}M:(B($B7DBg(B) 
$B!&(BKarnel Transaction$B!'%*%V%8%'%/%H;X8~%7%9%F%`%W%m%0%i%_%s%0$N$?$a$N(B
  $B?7$7$$5!9=!"!{2#<j(B$BLwI'(B($B%=%K!<(BCSL) 
$B!&(BTowards a New Operating System Architecture:Micro Kernel vs. 
  Reflective Architecture$B!"!{FAED1Q9,(B, $BCfEgC#IW(B, $BDI@n=$0l(B($B7DBg(B/CMU) 


9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BA: $BO@M}%W%m%0%i%_(B$B%s%0(B(2)($B:BD9(B: $B8E@n9/0l(B($B7DBg(B))

$B!&(BGLP$B$+$i8+$?JB9T7W;;7O!"!{EOJU?5:H(B, $B@V4V@6(B, $B5\K\1R;T(B($BKLBg(B)
$B!&(BConstant Time Select, Test and Update for Boolean Tables$B!"!{<~G=K!(B($B6e9)Bg(B) 
$B!&(BUL/$B&A$K$*$1$kL58B%G!<%?9=B$!"!{(B$BHKEDNIB'(B, $B@V4V@6(B, $B5\K\1R;T(B($BKLBg(B) 
$B!&0lHL2=O@M}%W%m%0%i%`$N%3%s%Q%$%i!"!{=PMU5A<#(B, $B@V4V@6(B, $B5\K\1R;T(B($BKL(B$BBg(B) 


9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BB: $B%^%k%A%a%G%#%"(B($B:BD9(B: $B;3K\4n0l(B($B7DBg(B))

$B!&(BMUMIN$B%7%9%F%`$K$*(B$B$1$k%f!<%6%$%s%?%U%'!<%94IM}!"!{I~ItN4;V(B($B5~Bg(B) 
$B!&(BA Hypertext Based Dictionary and Parser$B!"(B
  $B!{(BAnil BHATIA, Takehiro TOKUDA($BEl9)Bg(B) 
$B!&%^%k%A%a%G%#%"%*%V%8%'%/%H%b%G%k$H$=$N<B8=!"(B
  $BNrK\=c0l(B, $B!{:d>e=(OB(B, $B_@@nNi(B($BF|EE(B) 
$B!&B?5!G=E}9g$7$?(BWYSIWYG$B<0$N(BDTP$B%7%9%F%`J8J%3U!"867I(B, $B!{0WMN(B($BF1Bg(B) 


9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BC: $BJB9T7W;;(B($B:BD9(B: $BFsLZ8|5H(B($BEEAm8&(B))

$B!&JBNs%W%m%;%9$N%M%C%HI=8=!"!{@nK\??0l(B, $B0KF#5.9/(B($BElKLBg(B)
$B!&1~Ez7?JB9T%W%m%;%9$N$?$a$NMMAjO@M}<0$K$h$k@)Ls$rMQ$$$?ItJ,7W;;K!!"(B
  $B!{B<>e>;8J(B($B2,;3Bg(B) 
$B!&(B$B1~Ez7?JB9T@)Ls%W%m%0%i%`$N(BCCS$B$X$NJQ49!"!{25@n?J0l(B, $BB<>e>;8J(B($B2,;3Bg(B) 
$B!&(BLinear Logic $B$K4p$E$/HsF14|DL?.(B$B$N7W;;%b%G%k!"!{>.NSD><y(B, $BJF_7L@7{(B($BElBg(B) 


9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BD: $B7A<08@8l(B($B:BD9(B: $BCfED0i(B$BCK(B($BC^GHBg(B))

$B!&9=B$2r@O$NJ8K!E*%"%W%m!<%A!"!{2CF#Bg;VO/(B($B5~Bg(B)
$B!&J8L.<+M3J8K!4V$N=`F17?<LA|!"!{?9K\??0l(B($BF|EE(B)
$B!&(BTimed Attribute Hypergraph Grammars$B!"(B
  $B!{(BYoshimasa KIMURA, Takehiro TOKUDA($BEl9)Bg(B)
$B!&(BApplications of Timed Attribute Hypergraph Grammars$B!"(B
  $B!{(B Yoshimiti WATANABE($B;3M|Bg(B), Mikifumi SHIKIDA, Takehiro TOKUDA($BEl9)Bg(B) 


9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
$B%;%C%7%g%s(BE: $BJ,;64D6-(B($B:BD9(B: $BFAED1Q9,(B($B7DBg(B/CMU))

$B!&?7(B$B$7$$DL?.7A<0$rMQ$$$?%j%b!<%H%U%!%$%k%7%9%F%`$K$h$k%H%i%s%6%/%7%g%s(B
  $B%W%m%;%C%7%s%0!"!{43>lH~2B;R(B, $BED(B$B8POB:H(B, $B:,4_9/(B($BF|K\(BIBM) 
$B!&%U%!%$%k%7%9%F%`$K$*$1$k3,AX7?$HB0@-7?$NL>A0IU$1$NE}9g!"(B
  $B!{0pB<9@(B, $B@99gIR(B(NTT) 
$B!&(BKamui$B4D6-$K4p$E$/%0%k!<%W%&%'%"9=C[;Y1g4D6-$K$D$$$F!"(B
  $B!{0KC#E/(B, $BEOJU?5:H(B, $B5\K\1R;T(B($BKLBg(B) 
$B!&%M%C%H%o!<%/J,;64D6-$K$*$1$k6&M->pJsC5:w$K$D$$$F!"(B
  $B!{;0C+OB;K(B, $B@FF#J8Ip(B, $B5HK\E/O:(B, $B5\K\1R;T(B($BKLBg(B) 


9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
$B%;%C%7%g%s(BA: $BO@M}(B($B:BD9(B: $BFsB<NII'(B($BAaBg(B))

$B!&(BSound and Complete Unifier Set and mgu$B!"!{@V4V@6(B($BKLBg(B)
$B!&=89gO@%W%m%0%i%_%s%0$K$*$1$kItJ,NsLdBj$N2rK!$K$D$$$F!"!{LnLZ7sO;(B($BF|N)4pAC8&(B) 
$B!&?^7A$rMQ$$$??dO@$N4pACIU$1!"GkC+>;8J(B($BElBg(B), $B!{N-<yNj(B($B5~Bg(B)
$B!&Be?t3XE*<jK!$K$h$k50@W>ZL@$N40A4@-!"(B$B!{N-<yNj(B($B5~Bg(B)
$B!&G[Ns$rMQ$$$?Nc$+$i$N%W%m%0%i%`9g@.!"!{LnEDMN;J(B($B;3M|Bg(B)


9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
$B%;%C(B$B%7%g%s(BB: $BJBNs%*%V%8%'%/%H;X8~(B($B:BD9(B: $B>>2,Ao(B($BElBg(B))

$B!&6&M-%a%b%j7?%^%k%A%W%m%;%C%5>e$N(BConcurrentSmalltalk$B!"(B
  $B!{?9;38w0l(B, $B9-DEEP;VIW(B($B7DBg(B), $B2#<jLwI'(B($B%=%K!<(BCSL), $B=j??M}M:(B($B7DBg(B) 
$B!&%^%k%A%P!<%8%g%s$rMQ$$$?(B$B%*%V%8%'%/%HFbJB9T@-$N@)8f!"(B
  $B!{F#0f42;R(B, $B9-DEEP;VIW(B, $B=j??M}M:(B($B7DBg(B) 
$B!&JB9T%*%V%8%'%/%H$N$?$a$N3K8@(B$B8l$NDs0F!"!{C]Fb3J(B, $BK\ED9LJ?(B, $B=j??M}M:(B($B7DBg(B) 
$B!&JBNs%*%V%8%'%/%H;X8~8@8l$X$NF0E*$J7?3,AX$NF3F~!"(B
  $B;y(B$B6LLw;J(B, $B!{1|LnCR90(B, $BEZ5oHO5W(B($B7DBg(B) 
$B!&JB9T%*%V%8%'%/%H$rMQ$$$?J,;6%"%W%j%1!<%7%g%s9=C[MQ%W%m%0%i%_%s%0(B$B%7%9%F%`!"(B
  $B!{2,B<1QL@(B, $B9-DEEP;VIW(B, $B=j??M}M:(B($B7DBg(B) 


9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
$B%;%C%7%g%s(BC: $B4X?t8@8l=h(B$BM}7O(B($B:BD9(B: $B:4!9(B  $B@/9'(B($BEl9)Bg(B))

$B!&4X?t!&O@M}7?%W%m%0%i%`$NCY1dI>2A!"!{1|0fE/(B, $B0fEDE/M:(B($BC^GHBg(B)
$B!&(BSUN4$B>e$K$*$1$k(BG-machine$B$N<B8=!"!{JFDE8w9@(B($B7DBg(B)
$B!&4X?t%W%m%0%i%`$N40A4CY1dI>2A$K$h$kItJ,7W;;!"!{6b;R7I0l(B, $BIp;T@5?M(B($BElBg(B) 
$B!&(BCafeln$B$N=g=x%=!<%H9`=q49$(7O%3%s%Q%$%i!"(B
 $B!{_7ED<w<B(B(SRA), $B9b669'0l(B, $B8MB<E/(B, $BFsLZ8|(B$B5H(B($BEEAm8&(B)


9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
$B%;%C%7%g%s(BD: $B8@8l=hM}7O(B(2)($B:BD9(B: $Bd*>9I'(B($BAaBg(B))

$B!&%Y%/%H%k7W;;5!(B$B$K$*$1$k3HD%5-21$N3HD%<g5-21$H$7$F$N2>A[2=(B---$B%j%9%H%Y%/%H%k$N(B
  $BMxMQ$K$h$kG[Ns$N3J;R>uJ,3d(B---$B!"2,It<w(B$BCK(B, $B!{@nC<1QG7(B, $BDEED9'IW(B($B5~Bg(B)
$B!&5-9fDj?t$*$h$SHs@~7A<0$r4^$`B?=E%k!<%W$N%G!<%?0MB82r@O!"(B
  $B?e>B0lO:(B, $B!{>e86E/B@O:(B, $B2,It<wCK(B, $BT";^5AIR(B, $BDEED9'IW(B($B5~Bg(B) 
$B!&(BAn Algorithm for Deleting Redundant Synchronizationfrom Parallel Loops$B!"(B
  $B!{M{6G7f(B, $B86ED8-0l(B($B7DBg(B) 


9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
$B%;%C%7%g%s(BE: $B%M%C%H%o!<(B$B%/(B($B:BD9(B: $BB<0f=c(B($B7DBg(B))

$B!&(BTimed Token $B%W%m%H%3%k>e$G$N<B;~4VAw?.;~$NMFNLMxMQN($N:F8!F$!"(B
  $B!{;3FbD9>5(B($BF|K\(BIBM) 
$B!&2DHB7?7W;;5!4D6-$K$*$1$k%[%9%HG'>Z$K4X$9$k8&5f!"(B
  $B!{4d0f;09d(B, $BB<ED8-0l(B, $B=j??M}M:(B($B7DBg(B)
$B!&<B;~4VDL?.$r9MN8$7$?%M%C%H%o!<%/!&%"!<%-%F%/%A%c!"!{1vLn:jFX(B, $B=j??M}M:(B($B7DBg(B) 
$B!&(BIP$B$+$i(BVIP$B$X$N%W%m%H(B$B%3%k0\9T!"!{;{2,J8CK(B($B%=%K!<(BCSL)

***************************************************************************
--
					+-----------------------------+
					| $B7DXf5A=NBg3X(B $B4D6->pJs3XIt(B   |
					|   $B0BB<(B $BDL(B$B98(B    ($B&O(B307)      |
					| $B4X?4(B: Human Interface, $BJBNs(B |
					| yasumura@sfc.keio.ac.jp     |
					+-----------------------------+