From: yasumura@sfc.keio.ac.jp (Yasumura Michiaki)
Subject: Re: JSSST'92 Program & Call for Participation
Organization: Keio University Shonan Fujisawa Campus.
Distribution: fj
Date: Thu, 27 Aug 1992 06:10:49 GMT

In article <YASUMURA.92Aug24124705@v56.sfc.keio.ac.jp> yasumura@sfc.keio.ac.jp (Yasumura Michiaki) writes:

$B<c43D{@5$,$"$j$^$9!#(B
$B<g$K!":BD9$NL>A0!"=jB0Ey$G$9!#(B

 $B"v(B  $BF|K\%=%U(B$B%H%&%'%"2J3X2q(B 92$BG/EYBg2q$N%W%m%0%i%`$r(B
 $B"v$*CN$i$;$7$^$9!#$U$k$C$F$4;22C2<$5$$!#(B
 $B"v(B
 $B"v(B					   $B0BB<(B@$B7DXfBg3X(BSFC
 $B"v(B
 $B"v(B  $B$J$*!"%[%F%k$rMxMQ$NJ}$O<!$N%[%F%k$,$4MxMQ$G$-$^$9(B
 $B"v!J%=%U%H%&%'%"2J3X2q;22C$H(B$B9p$2$FD>@\?=$79~$_2<$5$$(B):
 $B"v(B
 $B"v(B $B!&(B $BK!2Z%/%i%VF#Bt(B(Tel:0466-27-6101)	
 $B"v(B $B!&(B $BF#Bt%0%i%s%I%[%F%k(B(Tel:0466-22-1311)
 $B"v(B
 $B"v(B********************************************************
 $B"v(B
 $B"v(B	   $BF|K\%=%U%H%&(B$B%'%"2J3X2qBh(B9$B2sBg2q$N$40FFb(B
 $B"v(B
 $B"vF|;~!'(B  1992$BG/(B9$B7n(B16$BF|(B($B?e(B) --- 9$B7n(B18$BF|(B($B6b(B) 
 $B"v2q>l!'(B  $B7DXf5A=NBg3X(B$B>EFnF#Bt%-%c%s%Q%9(B (SFC)
 $B"v8rDL!'(B	$B>.ED5^9>%NEg@~>EFnBf1X$+$i%P%9$GLs(B12$BJ,(B
 $B"v(B	   ($B$^$?$O(BJR$BEl3$F;@~DTF2(B$B1X$+$i%P%9$GLs(B20$BJ,(B)	
 $B"v(B
 $B"vBg2q0Q0wD9!'(B        $BAj0k!!=(IW(B($B7DXf5A=NBg3X4D6->pJs3XIt(B)
 $B"v%W%m%0%i%`0Q0w(B$BD9!'(B  $BEZ5o!!HO5W(B($B7DXf5A=NBg3XM}9)3XIt(B) 
 $B"v;22CHq!'(B    $B0lHL2q0w(B   6,000$B1_(B 
 $B"v(B	       $B3X@82q0w(B   4,000$B1_(B 
 $B"v(B		 $BHs2q0w(B  10,000$B1_(B 
 $B"v(B
 $B"vJ;@_%A%e!<%H%j%"%k!'(B 9$B7n(B14$BF|(B ($BEl5~9)6HBg3X(B)
 $B"v(B			   $B!VK\Ev$N%W%m(B$B%0%i%^$O(BML$B$r;H$&$h$&$K$J$k!=$+!)!W(B
 $B"v(B				   $BBgKY(B $B=_(B($B2-EE5$4X@>Am8&(B) 
 $B"v>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
 $B"v(B					   $B4%IRO:!J5~ETBg3XJ83XIt(B)
 $B"v(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
 $B"v(B					   $B6b;RK~!J7DXf5A=NBg3X4D6->pJs3XIt(B)
 $B"v:)?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
 $B"v(B				 $B0lHL(B 4000$B1_(B  $B3X@8(B 3000$B1_(B
 $B"v(B
 $B"v(B
 $B"v0lHLH/(B$BI=%W%m%0%i%`!J(B127$B7o(B):
 $B"v(B9$B7n(B16$BF|(B($B?e(B) 10:00$B!A(B12:00 
 $B"v%;%C%7%g%s(BA: $BJB9T!&JBNs8@8l(B ($B:BD9(B:$BEDCfFsO:(B($BIY;N(B$BDL9q:]8&(B))
 $B"v(B
 $B"v!&Cj>]EY$N9b$$%"%k%4%j%:%`5-=R$H%W%m%0%i%`$NJB9T<B9T(B
 $B"v(B  $B!{EDCf5WH~;R(B, $BIp;T@5?M(B, $B4d(B$B:j1Q:H(B($BElBg(B)
 $B"v!&4X?t!&O@M}7?8@8l$NJBNs2=!"!{NkLZBgO:(B, $B0fEDE/M:(B($BC^GHBg(B)
 $B"v!&<+8JH?1GE*JB9T%W%m%0%i%_(B$B%s%08@8l(BACT/R+$B$H$=$ND6JBNs7W;;5!>e$X$N<BAuJ}<0(B
 $B"v(B  $B$K$D$$$F!"!{EOItBnM:(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B) 
 $B"v!&(B$B9b%l%Y%k%Z%H%j%M%C%H$K4p$E$/JB9T%W%m%0%i%_%s%08@8l$H$=$N3+H/;Y1g4D6-(B
 $B"v(B  $B!{FbJ?D>;V(B, $BK\0LED??0l(B($BEl<G(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
 $B!z%;%C%7%g%s(BB: $B%*%V%8%'%/%H%G!<%?%Y!<%9(B ($B:BD9(B: $B2CF#OBI'(B($BElBg(B))
 $B"v(B
 $B"v!&%0%i%U7k9g%*%V%8%'%/%H$N7?$H$=$N1~MQ$K$D$$$F!"!{9bEDIR90(B(NTT)
 $B"v!&%a%b%j%*%V%8%'%/%H$H%G%#(B$B%9%/%*%V%8%'%/%H$N0lMM2=$rL\;X$7$?%*%V%8%'%/%H;X8~(B
 $B"v(B  $B%G!<%?%Y!<%9%7%9%F%`$N5-219=B$!"!{5H@nAO(B, $BL'86(B$BC$IW(B, $B=j??M}M:(B($B7DBg(B) 
 $B"v!&%*%V%8%'%/%H;X8~%G!<%?%Y!<%9$K$*$1$k;kE@$r9MN8$7$?%J%t%#%2!<%7%g%s(B
 $B"v(B  $B!{(B$BEO<"(B, $BK\ED9/98(B($B%=%K!<(BCSL) 
 $B"v!&(BMAC$B%b%G%k!'J#?t4QE@$+$i$NJ,N`$,2DG=$J%*%V%8%'%/%H!"!{DMED@2;K(B(NTT)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BC: $B@)Ls(B($B:BD9(B: $B9B8}J8M:(B($BM}2JBg(B))
 $B"v(B
 $B"v!&1ieh%G!<%?%Y!<%9(B$B$X$N@)Ls4KOB5!G=$NF3F~!"!{DiIY;NM:(B, $B<D86Lw;V(B($BEENOCf8&(B) 
 $B"v!&JBNs@)LsO@M}7?8@8l$K$*$1$k@)Ls6a;w$rMQ$$(B$B$?7hDj@-2r@O(B
 $B"v(B  $B!{>.NSD><y(B, $B>>2,Ao(B, $BJF_7L@7{(B($BElBg(B) 
 $B"v!&(BDuo:$BJ,;64D6-$KE,$7$?@)Ls=<B-5!9=!"!{EhED5.(B$BIW(B, $B=j??M}M:(B($B7DBg(B)
 $B"v!&@)Ls%J%m!<%$%s%07W;;$NDs0F!"!{:4!9LZ=EM:(B, $B0fEDE/M:(B($BC^GHBg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
 $B"v%;%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"v(B
 $B"v!&(B$BJB9T=hM}%W%m%0%i%`$N%F%9%H%1!<%9@8@.$K$*$1$k%?%9%/7?$K4X$9$k0l9M;!(B
 $B"v(B  $B!{JR;3E0O:(B, $B8E@nA18c(B, $B8VEDIR9T(B, $B5mEgOBIW(B($B6eBg(B) 
 $B"v!&@$Be$r$^$?$,$k%=%U%H%&%'%"?J2=%W%m%;%9(B---$B%=%U%H%&%'%"$N<wL?$H:n$jD>$7$K(B
 $B"v(B  $B4X(B$B$9$k9M;!(B,$B!{6L0fE/M:(B($BC^GHBg(B), $BD;8wM[2p(B($BF|@P>pJs%7%9%F%`(B) 
 $B"v!&$a$m$s!';EMM$K4X$9$k5DO@$N%U%'!<%:$r0U<1(B$B$7$?%=%U%H%&%'%";EMM5DO@;Y1g%7%9%F%`(B
 $B"v(B  $B!{?b?e9@9,(B, $B5HI\8&<#(B($BF|EE(B) 
 $B"v!&6(D4%(!<%8%'%s%H$K$h$k%*%V(B$B%8%'%/%H;X8~J,@O%W%m%;%9$N%b%G%k2=$N;n$_(B
 $B"v(B  $B!{>.9b?.?M(B, $B4_K\K'E5(B(IPA), $BK\0LED??0l(B($BEl<G(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BE: $B%^%k%A%(!<%8%'%s%H%b%G%k(B(1)($B:BD9(B: $BK\0LED??0l(B($BEl<G(B))
 $B"v(B
 $B"v!&(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"v!&<+N'%(!<%8%'%s%H$N=8(B$BCDE*@oN,JQ99!"!{>B2,@iN$(B($B%=%K!<(BCSL)
 $B"v!&%^%k%A%(!<%8%'%s%H4V$N>u670MB8@-$r9MN8$7$?6&DLMQ8l$N3MF@!"(B
 $B"v(B  $B!{?y9>7r;J(B, $B=j??M}M:(B($B7DBg(B) 
 $B"v!&6(D4E*LdBj2r7h$KBP$9$k@)Ls=hM}!"!{86EDBs(B, $B9B8}J8M:(B($BM}2JBg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
 $B"v%;%C%7%g%s(BA: $BJBNsO@M}%W%m%0%i%_%s%0(B($B:BD9(B: $B>eEDOB5*(B(ICOT))
 $B"v(B
 $B"v!&(BTransputer $B%M%C%H%o!<%/>e$N5-9f=hM}MQJ,;6%+!<%M%k!"(B
 $B"v(B  $B!{C]Fb44M:(B, $B4d:j1Q:H(B, $BIp;T@5?M(B($BElBg(B) 
 $B"v!&(BCommitted Choice$B$K$h$k4X?t%W%m%0%i%`$NJBNs<B9T!"(B
 $B"v(B  $B!{EDCfE/O/(B, $B4d:j1Q:H(B, $BIp;T@5?M(B($BElBg(B) 
 $B"v!&(BFGHC$B%W(B$B%m%0%i%`$K$*$1$k%W%m%;%9$H%a%C%;!<%8$N8r49(B---$B<B9T%9%l%C%I$KCeL\$7$?(B
 $B"v(B  $B8zN(2~A1<jK!(B---$B!"!{5WLg9L0l(B, $BJ?ED7=Fs(B(ICOT) 
 $B"v!&(BFGHC$B%W%m%0%i%`$K$*$1$k%W%m%;%9$H%a%C%;!<%8$NAPBP@-!"(B
 $B"v(B  $B!{J?ED7=Fs(B, $B5WLg9L0l(B(ICOT) 
 $B"v!&<ALd%3%s%Q%$%kK!(B---KL1$B$K$h$kA42rC5:w$N?7$7$$%Q%i%@%$%`(B---$B!"(B
 $B"v(B  $B!{8E@n9/0l(B($B7DBg(B), $BF#ED@5(B$B9,(B(ICOT), $BF#EDGn(B($B;0I)EE5!(B), $BD9C+@nN4;0(B, $BJ%0lGn(B(ICOT) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
 $B"v%;%C%7%g%s(BB: $B%*%V%8%'%/%H;X8~8@8l!&4D6-(B($B:BD9(B: $BHxFbM}5*IW(B(NTT))
 $B"v(B
 $B"v!&(BEnbeddable PROLOG Interpreter and its Application to Program Browser$B!"(B
 $B"v(B  $B!{CfB<9(L@(B($BF|K\(BIBM) 
 $B"v!&%@%$%J%_%C%/8@8l%7%9%F%`$H(BC++$B3+H/4D6-$X(B$B$NE,MQ!"!{:4<#?.G7(B, $B7J;3C$O:(B($BF|EE(B) 
 $B"v!&(BC$B%Y!<%9$N%*%V%8%'%/%H$N$?$a$NJ#<L<02s<}4o!"!{>.Ln;{L1Li(B($BF|K\(BIBM)
 $B"v!&(BSmalltalk $B$K$*$1$k%/%i%9?dDj!"!{EDCfN40lO:(B, $BEZ5oHO5W(B($B7DBg(B)
 $B"v!&%/%i%9Fb%j%=!<%9$N(BSmalltalk$B$K$*$1$k<B8=!"!{@P4V9(G7(B, $BI%ED51M:(B($BL@Bg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
 $B!z%;%C%7%g%s(BC: $B&K7W;;$H%+(B$B%F%4%j!<(B($B:BD9(B: $BI%ED51M:(B($BL@Bg(B))
 $B"v(B
 $B"v!&6&DL7?BN7O$N7??dO@$X$N1~MQ!"!{2#Fb42J8(B($BF|K\(BIBM)
 $B"v!&4D6-$r07(B$B$&%W%j%_%F%#%V$r;}$D&K7W;;!"!{@>:j??Li(B($BElBg(B)
 $B"v!&BeF~$r;}$D7W;;7O$H$3$l$K$h$k%*%V%8%'%/%H;X8~7W;;$N%b(B$B%G%k2=!"!{BgC]OBM:(B($BF|EE(B) 
 $B"v!&&K(Bf--$B7W;;!"!{5HEDE8;R(B, $B=j??M}M:(B($B7DBg(B)
 $B"v!&4X789=B$$N7wO@E*JQ49$K$D$$$F(B$B!"!{9B8}2B42(B($B6e9)Bg(B), $B2O869/M:(B($B6eBg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
 $B"v%;%C%7%g%s(BD: $B<+A38@8l(B($B:BD9(B: $B@P:j(B $B=S(B($B7DBg(B))
 $B"v(B
 $B"v!&%A%c!<%H7?9=J82r@O!&@8@.$NE}0lE*OHAH!"!{EA9/@2(B(ATR/$B5~Bg(B)
 $B"v!&J8K!<gF3$K$h$k(B$B6(D4E*J8@8@.!"(B
 $B"v(B  $B!{=ULn2mI'(B($B5~Bg(B), $BEA9/@2(B(ATR/$B5~Bg(B), $B>>K\M5<#(B, $BD9Hx??(B($B5~Bg(B) 
 $B"v!&JB9T7?<+A38@8l=h(B$BM}%7%9%F%`$K$*$1$k%a%?%l%Y%k=hM}5!9=!"!{>>K\M5<#(B($B5~Bg(B) 
 $B"v!&F|K\8l%W%m%0%i%_%s%04D6-$N9=C[!AF|K\8l%3(B$B%s%Q%$%i$N3+H/!"(B
 $B"v(B  $B!{Mn9gBg(B, $BKL@n2mLi(B($BAaBg(B) 
 $B"v!&%W%m%0%i%`JQ49$K$h$k0UL#7W;;!"!{LnB<M4;N(B, $B@V4V@6(B, $B5\K\1R;T(B($BKLBg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B16$BF|(B($B?e(B)14:45$B!A(B17:15
 $B"v%;%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"v(B
 $B"v!&%^%k%A%(!<%8%'%s%H7?LdBj2r7h;Y1g%7%9%F%`$K4X$9$k9M;!!"!{CfB<9'(B($BBg:e;:6H(B$BBg(B) 
 $B"v!&AOH/E*7W;;%b%G%k$K$h$kH/@<8@8lM}2r%7%9%F%`$X$N4D6-2;$NAH$_9~$_!"(B
 $B"v(B  $B!{1|G5Gn(B, $BGpLnKRIW(B, $B2,(B$BEDH~CRCK(B, $BCfC+CR9-(B(NTT) 
 $B"v!&(BFRECS:$B<+N)0\F0%m%\%C%H$N%U%'%$%kI|5"$N$?$a$N%R%e!<%^%s!]%m%\%C%H!&(B
 $B"v(B  $B%$%s%?%U%'!<%9%7%9%F%`!"!{CfFbLw(B, $B:4F#=<(B, $B;3K\5H?-(B, $B0B@>M40lO:(B($B7DBg(B) 
 $B"v!&%Q!<%=%J%k%9%Z!<%9$K4p$E$/(B$B%*!<%J!<%7%C%W%b%G%k$N%^%k%A%m%\%C%H$X$N<BAu!"(B
 $B"v(B  $B!{Lp8~9b90(B, $B:0EDOB@k(B, $BHSED9@Fs(B, $B?{86CR5A(B, $B0B@>M40l(B$BO:(B($B7DBg(B) 
 $B"v!&%K%e!<%m%(!<%8%'%s%H$NJ,;63X=,$H6(D43X=,!"!{;32<2m90(B, $B@8E7L\>O(B($BKIBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BA: $B;~AjO@M}(B($B:BD9(B: $BFbJ?D>;V(B($BEl<G(B))
 $B"v(B
 $B"v!&;~Aj%*%Z%l!<%?$NE}0l2=$rMQ(B$B$$$k;~AjO@M}>ZL@K!!"(B
 $B"v(B  $B!{M'@P@5I'(B($BEl9)Bg(B), $BJF:jD><y(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B) 
 $B"v!&L?Bj$N@.N)2s?t$K4X(B$B$9$k;~Aj1i;;;R$K4p$E$/;~AjO@M}(BMTL$B$N7hDj2DG=@-$K$D$$$F!"(B
 $B"v(B  $B!{5H1:5*98(B($BEl9)Bg(B), $BJF:jD><y(B($BKLN&@hC<2J5;(B$BBg(B/$BEl9)Bg(B) 
 $B"v!&;~AjB0@-J8K!$K$h$k(BGUI$B$N5-=R!"!{;32<5A9T(B, $BCfED0iCK(B($BC^GHBg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
 $B!z%;%C%7%g%s(BB: $B?M9)CNG=(B($B:BD9(B: $BCfEg=(G7(B($BEEAm8&(B))
 $B"v(B
 $B"v!&(BEntailment as the First-Principles of Knowledge Representation and 
 $B"v(B  Reasoning$B!"!{Dx5~FA(B($B6eBg(B) 
 $B"v!&CN<1%Y!<%9%7%9%F%`(BDOT$B$K$*$1$kCN(B$B<1$N=>B0@-$H99?7=hM}!"(B
 $B"v(B  $B!{DMK\>;I'(B($B%7%c!<%W(B), $B@>Hx>O<#O:(B($B:eBg(B) 
 $B"v!&0x2L4X78$H9T0Y$NM}O@!"!{CfEg(B$B=(G7(B($BEEAm8&(B)
 $B"v!&(BGenetic Algorithm$B$rF3F~$7$?%[%C%W%U%#!<%k%I%M%C%H%o!<%/$K$h$kAH9g$;(B
 $B"v(B  $B:GE,2=LdBj(B$B!"!{>k8MN4(B($B7DBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BC: $B%R%e!<%^%s%$%s%?!<%U%'%$%9(B($B:BD9(B: $BBgLn5AIW(B($B7DBg(B))
 $B"v(B
 $B"v!&%"%K%a!<%7%h%s%7%9%F%`9=C[$N$?$a$N%D!<%k%-%C%H$K4X$9$k9M;!!"(B
 $B"v(B  $B!{OBEDM5Fs(B, $BA0ED=!B'(B($BIY;NDL9q:]8&(B) 
 $B"v!&Cj>]E*%G!<%?$KBP$9$kD>@\A`:n%$%s%?!<%U%'%$%9$NNc$K$h$k<B8=!"(B
 $B"v(B  $B!{5\(B$B2<7r(B, $B>>2,Ao(B, $B9b66?-(B, $BJF_7L@7{(B($BElBg(B), $B3yEDIY5W(B(ACCESS) 
 $B"v!&%f!<%6%b%G%k$K4p$E$/%X%k%W%7%9%F%`!"!{Bg(B$B;3N40lO:(B, $B;3K\4n0l(B($B7DBg(B)
 $B"v!&JB9T%W%m%0%i%`$N;k3PE*@_7W;Y1g!"!{>.@>E0(B, $B;3K\4n0l(B($B7DBg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BD: $B%=%U%H%&%'%"9)3X(B(2)($B:BD9(B: $B0$Ap@6<"(B($BL>Bg(B))
 $B"v(B
 $B"v!&%(!<%8%'%s%H%b(B$B%G%k$K$*$1$k!VCj>]2=!&6qBN2=$K$h$k;EMM2=%W%m%;%9!W$NDj<02=!"(B
 $B"v(B  $B!{>>1::49>;R(B(IPA), $BK\0LED??0l(B($BEl<G(B) 
 $B"v!&Be?t7?8@8l$N=g=x%=!<%H5!G=$rMQ$$$?I=8=K!$K$D$$$F(B---OSI$B4IM}$N4IM}BP>]$N(B
 $B"v(B  $BDj5A$rNc$K!"!{2,ED(B$B9/<#(B, $BFsLZ8|5H(B($BEEAm8&(B) 
 $B"v!&%=%U%H%&%'%"%W%m%;%9$K$*$1$k:F<B9T$N7A<0E*%b%G%k!"(B
 $B"v(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"v!&(BSmall$B7W;;%b%G%k(BHFSP$B$N%U%)!<%k%H%H%l(B$B%i%s%H%W%m%0%i%_%s%0$X$N1~MQ!"(B
 $B"v(B  $B!{NkLZ@5?M(B($BKLN&@hC<2J5;Bg(B), $BJR;3BnLi(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BE: $B%j%"%k%?%$%`#O#S(B($B:BD9(B: $B2#<jLwI'(B($B%=%K!<(BCSL))
 $B"v(B
 $B"v!&(BA Real-Time Thread Model for Continuous Media Applications$B!"(B
 $B"v(B  $B!{FAED1Q9,(B($B7DBg(B/CMU) 
 $B"v!&(BFirst Class User Thread in ARTS2.0$B!"!{DI@n=$0l(B, $BCfEgC#IW(B, $BFAED1Q9,(B($B7DBg(B/CMU) 
 $B"v!&(BReal-Time Synchronization in Real-Time Mach$B!"!{CfEgC#IW(B, $BFAED1Q9,(B($B7DBg(B/CMU) 
 $B"v!&%Q!<%=%J%k%m%\%C%H$N$?$a$NIR46$G=@Fp$J(BOS $\mu$-PULSER$B$N@_7W$H<BAu!"(B
 $B"v(B  $B!{?{86CR5A(B, $BHSED9@Fs(B, $B=)DmJ~9((B, $B:0EDOB@k(B, $BLp8~9b90(B, $B0B@>M40lO:(B($B7DBg(B)  
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
 $B"v%;%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"v(B
 $B"v!&(BIncorporating Constraint Systemsinto Inductive Logic Programming$B!"(B
 $B"v(B  $B!{BgOBEDM&?M(B, $B9B8}J8M:(B($BM}2JBg(B) 
 $B"v!&B?=E0lHL2=LdBj!'B?=E7Q>5$N0UL#O@$+$i$N@\6a!"!{868}@?(B($BEl9)Bg(B)
 $B"v!&9`Jq@]8@8l$K$*$1$k%*%V%8%'%/(B$B%HItJ,<1JL@-$HH]Dj!"(B
 $B"v(B  $B!{HSEg@5(B, $B1JED<iCK(B, $B1:><Fs(B($B7DBg(B) 
 $B"v!&7?IU$-@k8@7?8@8l$N(BUL$B$X$NKd$a9~$_!"!{(B$B@n8}M:0l(B($BFQ>.KR9)6H9b@l(B), $B@V4V@6(B($BKLBg(B) 
 $B"v!&(BUL/$B&A$N%W%m%0%i%`JQ49!"!{Bg>>@5<y(B($B3X=,>pJsDL?.%7%9%F%`8&(B$B5f=j(B), 
 $B"v(B  $B@V4V@6(B, $B5\K\1R;T(B($BKLBg(B), $B;0;^IpCK(B($BKL3$F;>pJsBg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
 $B"v%;%C(B$B%7%g%s(BB: $BJ,;6%*%V%8%'%/%H;X8~(B($B:BD9(B: $BJF_7L@7{(B($BElBg(B))
 $B"v(B
 $B"v!&%f!<%6%$%s%?%U%'!<%9$+$i8+$?J,;6%*%V%8%'(B$B%/%H!"(B
 $B"v(B  $B!{?7=_(B, $BNrK\=c0l(B, $BCfEg?L(B, $B:4<#?.G7(B, $B4d:jL$CN(B($BF|EE(B) 
 $B"v!&3,AXAjBPL>A0IU$1K!!'Bg5,LOJ,;6%7(B$B%9%F%`$K$*$1$k0\F0F)2a$J%*%V%8%'%/%H<1JLK!!"(B
 $B"v(B  $B!{F#GH=g5W(B, $B2#<jLwI'(B($B%=%K!<(BCSL) 
 $B"v!&J,;6<B;~4V=hM}(B$B$N$?$a$N<+8JH?1G7?%*%V%8%'%/%H4VDL?.!"(B
 $B"v(B  $B!{9b<.0l5*(B, $B=j??M}M:(B($B7DBg(B) 
 $B"v!&J,;64D6-$NJQ2=$K<+H/E*$K(B$BE,1~$9$k%*%V%8%'%/%H$H$=$N5-=R8@8l!"(B
 $B"v(B  $B!{3yEDIRG7(B, $BEZ5oHO5W(B($B7DBg(B) 
 $B"v!&(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"v(B  $B!{IpB<8y;J(B, $BEOJU?5:H(B, $B5\K\1R;T(B($BKLBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
 $B"v%;%C%7%g%s(BC: $B9`=q49$(%7%9%F%`(B($B:BD9(B: $B9bLnL@I'(B($BF|N)4pAC8&(B))
 $B"v(B
 $B"v!&Ey<0O@M}$N5"G<(B$BE*DjM}$r>ZL@$9$k<jB3$-!"(B
 $B"v(B  $B!{Bg?\2l><I'(B($BEl<G(B), $B:d0f8x(B($BC^GHBg(B), $BK\0LED??0l(B($BEl<G(B) 
 $B"v!&=g=x%=!<%HBe(B$B?t$NB?%=!<%HJ,2r$K$D$$$F!"(B
 $B"v(B  $B!{9b669'0l(B, $B8MB<E/(B, $BFsLZ8|5H(B($BEEAm8&(B), $B_7ED<w<B(B(SRA) 
 $B"v!&(BUsing ATMS in Knuth-Bendix Completion Procedure$B!"(B
 $B"v(B  $B!{(BKoukoudis VASSILIOS, $B0KF#5.9/(B($BElKLBg(B) 
 $B"v!&B?%=!<%H=q49(B$B$(5,B'$N8_49@-!"!{:4F#L@NI(B, $B;3G7FbE0(B, $BEOJU@5?.(B($BF|EE(B)
 $B"v!&(BInterpretation of Conditional Term Rewriting Systems by DTRC$B!"(B
 $B"v(B  $B!{qHB.(B, $B:dIt=S<y(B, $B0p3@9/A1(B($BL>Bg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
 $B"v%;%C(B$B%7%g%s(BD: $B8@8l=hM}7O(B(1)($B:BD9(B: $BFAEDM:MN(B($BEl9)Bg(B))
 $B"v(B
 $B"v!&%$%s%/%j%a%s%?%k$J0UL#2r@O!"!{2.860lN4(B($BC^GHBg(B), $B:4!9@59'(B($BEl9)Bg(B)
 $B"v!&9`=q49$(7O$rMQ$$$?%3!<%I:GE,2=!"!{_7ED=a(B($B5~Bg(B)
 $B"v!&(BLR$B9=J82r@O$K4p$E$/D>@\<B(B$B9T7?$NB0@-I>2A4o@8@.7O$N9=C[!"(B
 $B"v(B  $B!{86ED9%9/(B, $B86ED8-0l(B($B7DBg(B) 
 $B"v!&%3%s%Q%$%i$K$*$1$k3F<o:GE,2=<jK!(B$B$NE,MQ=g=x$N9M;!!"!{Eg8-0l(B, $BCfED0iCK(B($BC^GHBg(B) 
 $B"v(B
 $B"v(B9$B7n(B17$BF|(B($BLZ(B)15:15$B!A(B17:45
 $B"v%;%C%7%g%s(BE: $B#O#S(B($B:BD9(B: $BGkLnC#Li(B($B7DBg(B))
 $B"v(B
 $B"v!&$d$q!'(BYet Another Window Environment$B!"!{;y6LLw;J(B, $BEZ5oHO5W(B($B7DBg(B)
 $B"v!&(BApertos$B$K$*$1$k%*%V%8%'%/%H4IM}5!9=$N<BAu$HI>2A!"(B
 $B"v(B  $B!{8w_7FX(B($B7DBg(B), $B2#<jLwI'(B($B%=%K!<(BCSL), $B=j??M}M:(B($B7DBg(B) 
 $B"v!&(BKarnel Transaction$B!'%*%V%8%'%/%H;X8~%7%9%F%`%W%m%0%i%_%s%0$N$?$a$N(B
 $B"v(B  $B?7$7$$5!9=!"!{2#<jLwI'(B($B%=%K!<(BCSL) 
 $B"v!&(BTowards a New Operating System Architecture:Micro Kernel vs. 
 $B"v(B  Reflective Architecture$B!"!{FAED1Q9,(B, $BCfEgC#IW(B, $BDI@n=$0l(B($B7DBg(B/CMU) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BA: $BO@M}%W%m%0%i%_%s%0(B(2)($B:BD9(B: $B8E@n9/0l(B($B7DBg(B))
 $B"v(B
 $B"v!&(BGLP$B$+$i8+$?JB9T7W;;7O!"!{EOJU?5:H(B, $B@V4V@6(B, $B5\K\(B$B1R;T(B($BKLBg(B)
 $B"v!&(BConstant Time Select, Test and Update for Boolean Tables$B!"!{<~G=K!(B($B6e9)Bg(B) 
 $B"v!&(BUL/$B&A(B$B$K$*$1$kL58B%G!<%?9=B$!"!{HKEDNIB'(B, $B@V4V@6(B, $B5\K\1R;T(B($BKLBg(B) 
 $B"v!&0lHL2=O@M}%W%m%0%i%`$N%3%s%Q%$%i!"!{(B$B=PMU5A<#(B, $B@V4V@6(B, $B5\K\1R;T(B($BKLBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BB: $B%^%k%A%a%G%#%"(B($B:B(B$BD9(B: $B;3K\4n0l(B($B7DBg(B))
 $B"v(B
 $B"v!&(BMUMIN$B%7%9%F%`$K$*$1$k%f!<%6%$%s%?%U%'!<%94IM}!"!{I~ItN4;V(B($B5~Bg(B) 
 $B"v!&(BA Hypertext Based Dictionary and Parser$B!"(B
 $B"v(B  $B!{(BAnil BHATIA, Takehiro TOKUDA($BEl9)Bg(B) 
 $B"v!&%^%k%A%a%G%#(B$B%"%*%V%8%'%/%H%b%G%k$H$=$N<B8=!"(B
 $B"v(B  $BNrK\=c0l(B, $B!{:d>e=(OB(B, $B_@@nNi(B($BF|EE(B) 
 $B"v!&B?5!G=E}9g$7$?(BWYSIWYG$B<0(B$B$N(BDTP$B%7%9%F%`J8J%3U!"867I(B, $B!{0WMN(B($BF1Bg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BC: $BJB9T7W;;(B($B:BD9(B: $BFsLZ8|5H(B($BEEAm8&(B))
 $B"v(B
 $B"v!&JBNs%W%m%;%9$N%M%C%HI=8=!"!{@nK\??0l(B, $B0KF#5.9/(B($BElKLBg(B)
 $B"v!&1~Ez7?JB(B$B9T%W%m%;%9$N$?$a$NMMAjO@M}<0$K$h$k@)Ls$rMQ$$$?ItJ,7W;;K!!"(B
 $B"v(B  $B!{B<>e>;8J(B($B2,;3Bg(B) 
 $B"v!&1~Ez7?JB9T@)(B$BLs%W%m%0%i%`$N(BCCS$B$X$NJQ49!"!{25@n?J0l(B, $BB<>e>;8J(B($B2,;3Bg(B) 
 $B"v!&(BLinear Logic $B$K4p$E$/HsF14|DL?.$N7W;;%b(B$B%G%k!"!{>.NSD><y(B, $BJF_7L@7{(B($BElBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
 $B!z%;%C%7%g%s(BD: $B7A<08@8l(B($B:BD9(B: $BIp(B$B;T@5?M(B($BElBg(B))
 $B"v(B
 $B"v!&9=B$2r@O$NJ8K!E*%"%W%m!<%A!"!{2CF#Bg;VO/(B($B5~Bg(B)
 $B"v!&J8L.<+M3J8K!4V$N=`F17?<LA|(B$B!"!{?9K\??0l(B($BF|EE(B)
 $B"v!&(BTimed Attribute Hypergraph Grammars$B!"(B
 $B"v(B  $B!{(BYoshimasa KIMURA, Takehiro TOKUDA($BEl9)Bg(B)
 $B"v!&(BApplications of Timed Attribute Hypergraph Grammars$B!"(B
 $B"v(B  $B!{(B Yoshimiti WATANABE($B;3M|Bg(B), Mikifumi SHIKIDA, Takehiro TOKUDA($BEl9)Bg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)10:00$B!A(B12:00
 $B"v%;%C%7%g%s(BE: $BJ,;6(B$B4D6-(B($B:BD9(B: $BFAED1Q9,(B($B7DBg(B/CMU))
 $B"v(B
 $B"v!&?7$7$$DL?.7A<0$rMQ$$$?%j%b!<%H%U%!%$%k%7%9%F%`$K$h$k%H%i%s%6%/(B$B%7%g%s(B
 $B"v(B  $B%W%m%;%C%7%s%0!"!{43>lH~2B;R(B, $BED8POB:H(B, $B:,4_9/(B($BF|K\(BIBM) 
 $B"v!&%U%!%$%k%7%9%F%`$K$*$1$k3,AX(B$B7?$HB0@-7?$NL>A0IU$1$NE}9g!"(B
 $B"v(B  $B!{0pB<9@(B, $B@99gIR(B(NTT) 
 $B"v!&(BKamui$B4D6-$K4p$E$/%0%k!<%W%&%'%"9=C[;Y1g(B$B4D6-$K$D$$$F!"(B
 $B"v(B  $B!{0KC#E/(B, $BEOJU?5:H(B, $B5\K\1R;T(B($BKLBg(B) 
 $B"v!&%M%C%H%o!<%/J,;64D6-$K$*$1$k6&M->pJsC5:w(B$B$K$D$$$F!"(B
 $B"v(B  $B!{;0C+OB;K(B, $B@FF#J8Ip(B, $B5HK\E/O:(B, $B5\K\1R;T(B($BKLBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
 $B"v(B$B%;%C%7%g%s(BA: $BO@M}(B($B:BD9(B: $BFsB<NII'(B($BAaBg(B))
 $B"v(B
 $B"v!&(BSound and Complete Unifier Set and mgu$B!"!{@V4V@6(B($BKLBg(B)
 $B"v!&=89gO@%W%m%0%i%_%s%0$K$*$1$kItJ,NsLdBj$N2rK!$K$D$$$F!"!{LnLZ7sO;(B($BF|N)4pAC8&(B) 
 $B"v!&?^7A$rMQ$$$?(B$B?dO@$N4pACIU$1!"GkC+>;8J(B($BElBg(B), $B!{N-<yNj(B($B5~Bg(B)
 $B"v!&Be?t3XE*<jK!$K$h$k50@W>ZL@$N40A4@-!"!{N-<yNj(B($B5~Bg(B)
 $B"v!&G[Ns$rMQ$$$?Nc$+$i$N%W%m%0%i%`9g@.!"!{LnEDMN;J(B($B;3M|Bg(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
 $B!z%;(B$B%C%7%g%s(BB: $BJBNs%*%V%8%'%/%H;X8~(B($B:BD9(B: $B@P@n(B $BM5(B($BEEAm8&(B))
 $B"v(B
 $B"v!&6&M-%a%b%j7?%^%k%A%W%m%;%C%5>e$N(BConcurrentSmalltalk$B!"(B
 $B"v(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"v!&%^%k%A%P(B$B!<%8%g%s$rMQ$$$?%*%V%8%'%/%HFbJB9T@-$N@)8f!"(B
 $B"v(B  $B!{F#0f42;R(B, $B9-DEEP;VIW(B, $B=j??M}M:(B($B7DBg(B) 
 $B"v!&JB9T%*(B$B%V%8%'%/%H$N$?$a$N3K8@8l$NDs0F!"!{C]Fb3J(B, $BK\ED9LJ?(B, $B=j??M}M:(B($B7DBg(B) 
 $B"v!&JBNs%*%V%8%'%/%H;X8~8@8l$X$N(B$BF0E*$J7?3,AX$NF3F~!"(B
 $B"v(B  $B;y6LLw;J(B, $B!{1|LnCR90(B, $BEZ5oHO5W(B($B7DBg(B) 
 $B"v!&JB9T%*%V%8%'%/%H$rMQ$$$?J,;6%"%W(B$B%j%1!<%7%g%s9=C[MQ%W%m%0%i%_%s%0%7%9%F%`!"(B
 $B"v(B  $B!{2,B<1QL@(B, $B9-DEEP;VIW(B, $B=j??M}M:(B($B7DBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
 $B!z%;%C%7%g%s(BC: $B4X?t8@8l=hM}7O(B($B:BD9(B: $BJR;3BnLi(B($BKLN&@hC<2J5;Bg(B/$BEl9)Bg(B))
 $B"v(B
 $B"v!&4X(B$B?t!&O@M}7?%W%m%0%i%`$NCY1dI>2A!"!{1|0fE/(B, $B0fEDE/M:(B($BC^GHBg(B)
 $B"v!&(BSUN4$B>e$K$*$1$k(BG-machine$B$N<B8=!"!{JFDE(B$B8w9@(B($B7DBg(B)
 $B"v!&4X?t%W%m%0%i%`$N40A4CY1dI>2A$K$h$kItJ,7W;;!"!{6b;R7I0l(B, $BIp;T@5?M(B($BElBg(B) 
 $B"v!&(BCafeln$B$N(B$B=g=x%=!<%H9`=q49$(7O%3%s%Q%$%i!"(B
 $B"v(B $B!{_7ED<w<B(B(SRA), $B9b669'0l(B, $B8MB<E/(B, $BFsLZ8|5H(B($BEEAm8&(B)
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
 $B"v%;%C%7%g%s(BD: $B8@8l=hM}7O(B(2)($B:BD9(B: $Bd*>9I'(B($BAaBg(B))
 $B"v(B
 $B"v!&%Y%/%H%k7W;;5!$K$*$1(B$B$k3HD%5-21$N3HD%<g5-21$H$7$F$N2>A[2=(B---$B%j%9%H%Y%/%H%k$N(B
 $B"v(B  $BMxMQ$K$h$kG[Ns$N3J;R>uJ,3d(B---$B!"2,It<wCK(B, $B!{@nC<1QG7(B, $BDEED9'IW(B($B5~Bg(B)
 $B"v!&5-9fDj?t$*$h$SHs@~7A<0$r4^$`B?=E%k!<%W$N%G!<%?0MB82r@O!"(B
 $B"v(B  $B?e>B0l(B$BO:(B, $B!{>e86E/B@O:(B, $B2,It<wCK(B, $BT";^5AIR(B, $BDEED9'IW(B($B5~Bg(B) 
 $B"v!&(BAn Algorithm for Deleting Redundant Synchronizationfrom Parallel Loops$B!"(B
 $B"v(B  $B!{M{6G7f(B, $B86ED8-0l(B($B7DBg(B) 
 $B"v(B
 $B"v(B
 $B"v(B9$B7n(B18$BF|(B($B6b(B)13:30$B!A(B16:00
 $B"v%;(B$B%C%7%g%s(BE: $B%M%C%H%o!<%/(B($B:BD9(B: $BB<0f=c(B($B7DBg(B))
 $B"v(B
 $B"v!&(BTimed Token $B%W%m%H%3%k>e$G$N<B;~4VAw?.;~$NMFNLMx(B$BMQN($N:F8!F$!"(B
 $B"v(B  $B!{;3FbD9>5(B($BF|K\(BIBM) 
 $B"v!&2DHB7?7W;;5!4D6-$K$*$1$k%[%9%HG'>Z$K4X$9$k8&5f!"(B
 $B"v(B  $B!{(B$B4d0f;09d(B, $BB<ED8-0l(B, $B=j??M}M:(B($B7DBg(B)
 $B"v!&<B;~4VDL?.$r9MN8$7$?%M%C%H%o!<%/!&%"!<%-%F%/%A%c!"!{1vLn:jFX(B, $B=j??M}M:(B($B7DBg(B) 
 $B"v!&(BIP$B$+$i(BVIP$B$X$N%W%m%H%3%k0\9T!"!{;{2,J8CK(B($B%=%K!<(BCSL)
 $B"v(B
 $B"v(B***************************************************************************
--
					+-----------------------------+
					| $B7DXf5A=NBg3X(B $B4D6->pJs3XIt(B   |
					|   $B0BB<(B $BDL98(B    ($B&O(B307)      |
					| $B4X?4(B: Human Interface, $BJBNs(B |
					| yasumura@sfc.keio.ac.jp     |
					+-----------------------------+