$BA0$N5*9TJ8$KLa$k(B $B!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(B $B
				  1994-09-18$B!J(B1999-01-08 $B2~D{!KG[IUMQ(B 
							    $B@>B<(B $BOBIW(B  

	$B!!%7%k%/%m!<%I@>0hFnO)$NN9(B 1994 $B5*9T(B

$B%a%s%P!Be(B 18 $BL>!((B
	$BM{Bg7z!&2&No!((B  Xohret Mohammed, Yare Mohammed.$B!J7I>NN,!K(B

$B35MW!'!!(B1987 $BG/$N(B Far East Asia Logic Conference$B!J(BOct. 26-30$B!$KL5~!K$K(B
	$BC<$rH/$7$?$3$NCf9q%D%"!<$O!$:#G/$G(B 5 $B2sL\$K$J$k!%%a%s%P!<$bEv=i(B
	$B$+$i$O$@$$$VJQ$o$C$?!%:#2s$O!$Cf9q@>0h$N(B$B?7aE%&%$%0%k<+<#6h(B
	$B$r=d$j!$%7%k%/%m!<%IE7;3FnO)$rDL$C$F%Q%-%9%?%s$H$N9q6-!J(BKhunjerab 
	$BF=!K$^$G9T$C$F$-$?!%$"$NCf9q$N$7$+$b@>0h$G!$Ev=i$NM=Dj$r$3$J$7!$(B
	$B$5$i$KM=Dj30$N%H%k%U%!%s$^$G4s$l$?$N$O4q@WE*$G$"$k!%(BXohret $B$5$s(B
	$B$K46/?tL1B2$N?M!9!$MSFy!$YBLM!$@>1;!D(B

$B%3!<%9!'!!KL5~(B $B"*(B $B%&%k%`%A(B $B"*(B $B%[!<%?%s(B $B"*(B $B%+%7%e%,%k(B $B"*(B $B%?%7%e%/%k%,%s(B 
	$B"*(B $B%/%s%8%'%i%VF=(B $B"*(B $B%?%7%e%/%k%,%s(B $B"*(B $B%+%7%e%,%k(B $B"*(B $B%"%/%9(B $B"*(B 
	$B%/%A%c"*(B $B%3%k%i(B $B"*(B $B%H%k%U%!%s!JEv=i$NM=Dj$K$O$J$+$C$?!K"*(B $BKL5~(B

07-08 ($B6b(B)
  18:30$B!J;~4V87
08-07 ($BF|(B)
   8:15 $B@.ED(B$B6u9AA4F|6u%+%&%s%?=89g!%(BNH905 $BJX!J(BB747$B!K$K$F=PH/!%(B
	$B%O!<%I$JN9$r95$($F!$5!Fb$G$OHf3SE*$*$H$J$7$/$7$F$$$k!%(B
  14:30 $BKL5~(B$BCe!%M{$4IW:J$N=P7^$($G!$(B16:00 $B@>1qHSE9$G$7$P$i$/5Y7F!%$[$&!$(B
	$B%m%S!<$G%t%!%$%*%j%s$H%U%k!<%H$N@81iAU$J$I$7$F$$$k!%(B
  21:10 $BKL5~AH$HMn$A9g$$!$?7aE9R6u8x;J$NHt9T5!$KEk>h!%5!BN$O$J$s$H(B
	$B'!'?'2'0'6'-'0'4(B $B$H=q$$$?$^$^$N%D%\%l%U(B Ty-154M $B$G$"$C$?!%(B
  25:15$B!J8=CO;~9o(B 22:15$B!K(B$B%&%k%`%A(B$B!J1(O%LZ@F!KCe!%(BXohret $B$5$s$N0FFb$G4D(B
	$B5eBg$B?e$b=P$k!*(B

08-08 ($B7n(B)
   9:30 $B$3$A$i$G$OAaD+$N;~9o$G$"$k!%8+@2$i$7$N$h$$(B 23 $B3,$GD+?)!%(B
	$B$d$O$jD.A4BN$,$J$s$H$J$/2+EZ?'$@!%(B
  10:40 $Be0]_9)>l!%(B11:40 $B%P%6!<%k!%9a?INA20$,L\$K$D$/!%$5$C$=$/MSFy$N%7(B
	$B%7%e%1%P%V$r?)$7$?$,!$Er@u;a$O8}OF$K0lJ8;z$N2P=}$rIi$C$F$7$^$&!%(B
  12:00 $B@6??!J%$%9%i%`!KHS4[$G%S!<%k$H2aL}Fy(B$BYBLL(B$B!%$3$N?I$$%T!<%^%s$HMS(B
	$BFy$N6q$,$+$+$C$?LM$K$O!$$3$l$+$i$?$S$?$S$*L\$K$+$+$k$3$H$K$J$k!%(B
  13:10 $B%[%F%k5"Ce!%(B13:30 $BHt9T>l$K=PH/!%(B
  15:20 $BHt9T5!$KEk>h!%:#EY$OCf9q;EMM$K$J$C$F$$$k(B TU-154M$B!%@>B<$O0BA48!(B
	$B::$N$H$-!$;~7W$^$G30$7$F$b(B$B%V%6!<$,LD$C$F(B$B$7$^$&!%%5%$%\!<%0$+!)(B
  16:50 $B%[!<%?%s(B$B!JOBED!KCe!%ESCf$N6u$O1@$P$+$j$GCO>e$,8+$($J$+$C$?!%(B
	$B%&%k%`%A$+$iMh$?F|;:$N%P%9$H%i%s%I%/%k!<%6(B 2 $BBf!J%?%$%d(B 4 $BK\$N(B
	$B%a!<%+$,$P$i$P$i$@$C$?$j$9$k!K$K>h$j!$(BYare $B$5$s$N0FFb$G!$(B
  18:00 $BOBEDIP4[!%(B$B%*%"%7%9$C$F9-$$$s$@!*(B $BMQ?e$,$"$C$F39O)R2p!%(B

08-09 ($B2P(B)
   9:45 $B=PH/!%%4%S$G%P%9$,(B$B%(%s%3(B$B$9$k!%COJ?@~$rL\;X$7$FJb$$$F$$(B
	$B$?3^86@h@8$HD92,;a$r!$8F;R$G$$$/$i8F$s$G$bJ9$3$($J$$!%%4%S$O2;(B
	$B$r5[$&!%(B
  10:15 $B%?%/%i%^%+%s:=Gy!%:=F^$j$N$?$a=k$/$J$/$F;DG0!%$9$0$=$P$NKI:=NS(B
	$B$NN"$O?eED$G$"$k!%N{4$9)>lOF$+$i:=;3$KEP$k!%M{$5$s$K:=Gy$G$N(B
	$B@>1;$N!H@5$7$$!I?)$YJ}(B$B$r65$o$k!%;R6!$?$A$H;#1FBg2q$K$J$k!%(B11:25$BH/!%(B
  11:50 $BGnJ*4[!%%_%$%i$NK\J*$,$"$k!%$"$/$^$G$bK\J*$G$9!%(B
  12:40 $BOBED;T9)i:H~=Q8x;J$G6L$NGcJ*!%CDD9$O(B$B?7aE%F%l%S$K$B$5$l$k!%(B
  16:00 $BCk5Y$_$N8e!$e0]_9)>l$X!%%+!<%I$,;H$($:!$(B$B@>B<$O$B$7$FGc$&!%(B
  17:15 $BH/!%(B18:00 $B$4$m%P%9$,:F$S(B$B%(%s%3!%(B$B3'!$@h$r9M$($FIT0B$K$J$k!%(B
  18:30 $B69$$O)$G%P%9@5LL$G%m%PGOE]$9$k$7!$MS$N72$K0O$^$l$k$7!%(B
	$B%a%j%+%o%C%H(B$B!J_4(B?$BMx9n0$4$Ds!K0d@WCe!%@N$N%7%k%/%m!<%IET;T$N0d@W!%(B
	$B9-$$!%0d@W$N>e$KEP$C$?!%;R6!$?$A$N6L$NGd9~$_$,$&$k$5$$!%$7$+$7!$(B
	$BL<$@$H;W$C$F$$$?$i!$08-10 ($B?e(B)
   8:40 $BAaD+H/!%(B9:25 $B%(%s%3!%(B$B%G%#%9%H%j%S%e!<%?$r!$(BXohret $B$5$s(B
	$B$,%&%k%`%A$+$i;}$C$F$-$?$N$H8r49!%$3$l0J9_$O8N>c$J$7!%(B9:45 $BH/!%(B
  14:10 $B%d%k%+%s%I(B$B$GCk?)!%(B$BNd$($?%S!<%k(B$B$rGc$$$"$5$k?M$?$A!%$3$&$$$&$3$H(B
	$B$K$O!$$D$H$KG.?4$G$"$k!%(B15:20 $BH/!%(B
  17:15 $B%$%'%s%.%5!<%k(B$B!J1Q5H:;!KCe!%%J%$%U$rGc$$!$1;$J$I$r?)$Y$k!%(B
  19:15 $B%+%7%e%,%k(B$B!J5R=:!K(B Qiniwak $BIP4[Ce!%K\F|$NAv9T(B 526 km$B!%(B
	$B!!%(%$%F%#%,!<%k;{1!IU6a$N%P%6!<%k$K9T$/!%2??M$+$O%7%U%?!<%k(B
	$B$H$+$$$&3Z4o$rGc$C$?!%5WGO$5$s$O=8$a$F$$$k$H$+!%(B$B%&%$%0%k$N>/=w$O(B
	$B$+$o$$$$!%(B

08-11 ($BLZ(B)
   8:45 $BAaD+H/!%ITMW$J2YJ*!JEZ;:$J$I!K$O0l<<$KCV$$$F$$$/$3$H$K$9$k!%(B
	$B$@$s$@$s;3CO$KF~$j!$7J?'$,JQ$o$C$F$/$k!%F;$b$&$M$C$F$/$k!%(B
  12:20 $B%A%c%C%+%i!<%,%k8P(B$B!%Bg$-$$!%8PHJ$KKRApCO$,$"$j!$GO$dMS$,J|KR$5(B
	$B$l$F$$$k!%%+%6%UB2$N@DG/(B 2 $B?M!%@>1;$r?)$Y$k!%(B
	$B!!$3$NJU$G$d$C$H@2$l$?!%(B$BF|:9$7$,6/$$!%(B
  13:35 $B%+%i%/%j8P(B$B!JF=YG8KMx8P!K!%9bEY(B 3700m$B!%(B$BIY;N;3D:$h$j9b$$!%(B
	$B%`%9%?!<%0;3(B$B!J(B7546m$B!K$,$5$i$KIY;N;30J>e$N9b$5$K$=$S$($F$$$k!%(B
	$B5$05$,Dc$/!$F0$/$HB)@Z$l$,$9$k!%%-%k%.%9B2$N;R6!$,!HGO!$%4%2%s!$(B5 $B85!I(B
	$B$H$&$k$5$$!%$7$+$7!$(B$BCk?)$,;]$$!%(B$BF|K\$N4Q8wCO$b8+=,$&$H$$$$!*(B
  15:30 $BH/!%F;!9$G%-%k%.%9B2!$%+%6%UB2!$%?%8%/B2$N?M!9$HJh!%(B
  17:30 $B%?%7%e%/%k%,%s(B$B!JEc=:8KUu43!K%?%8!<%/!JEc5H9n!K$N%Q%_!<%k(B
	$B!JVgJFUu!KIP4[Ce!%(B$B%?%8%/B2$NL<$O(B $B$_$s$JH~$7$$!%(B
	$B!!3'$O(B 18:20 $B%P%9$G(B$B@PF,>k(B$B!J8xCOBS$G!$$O$^$C$?$i$7$$!%(B
	$B!!@>B<$O$3$N4V$KM9JX6I$rC5$9$,!$;~4V@Z$l!%%Q%_!<%kIP4[$rC5$7$F(B
	$B$$$?%$%?%j%"?M%0%k!<%W$K!H%?%/%7!<$O$J$$$N$+!*!)!I$H?V$+$l$k$,!$(B
	$B$=$s$J$b$N(B$B!HKWM-!*!I(B$B$@!%$3$3$r$I$3$@$H;W$C$F$$$k$N$+!%(B
  20:00 $B5WGO$4IW:J$H@>B<$O(B$B@PF,>k(B$B$K!%$1$C$3$&4m81$J;W$$$r$7$F?JF~!%$J$+(B
	$B$J$+$h$/$G$-$?>k3G$G$"$k!%F|$,Jk$l$F$-$?$3$m5"$k!%(B
	$B!!%[%F%k$NEr$O(B 1 $B3,$H(B 2 $B3,$H$G8r8_$K(B 15 $BJ,$:$D(B 2 $B2s$[$I=P$k$h$&$@!%(B

08-12 ($B6b(B)
   9:55 $BH/!%%/%s%8%'%i%VF=$rL\;X$9!%%[%F%k$N;YG[?M$bF19T$7$F$/$l$k!%(B
	$B3930$l$K@G4X$,$"$j!$DL4X$K$1$C$3$&;~4V$,$+$+$k!JDL$l$J$$?M$?$A(B
	$B$b$$$?$N$G2f!9$O9,1?!K!%$3$N$[$+$K8!Ld$,(B 3$B2U=j!%ESCf$GJh$C$F$-$?!%$7$+$7!$@G4X$+$i9q6-$^$G$K=;$s$G$$$k?M$,Bg@*$$$k!%(B
	$BD9$$;3F;(B $B$@!%<+E>$B%/%s%8%'%i%VF=(B $BCe!%(B$BI89b(B 4900m$B!%(B$BF,$,DK$$!%9q6-$G5-G0;#1F!%@>B<$O(B
	$B%Q%-%9%?%sB&$K$@$$$V?JF~$7$?$,!$e$2$i$l$?$j$7$F(B
	$B%D!<%7%g%C%H$5$l$^$/$j!%5U$K!$$3$A$i$O?7?M(B$B=wM%(B$B$Ni%PjU(!J(BYun 
	Chen-Mu$B!K$HJB$s$G;#$C$F$b$i$&!%$7$^$C$?=;=j$rJ9$-$=$3$J$C$?$>!%(B
	13:55 $BH/!%(B
  14:20 $B%?%8%/B2$N%F%s%H$N%P!$B%+%i%/%j8P(B $BCe!%(B$B%Q%*$G0lGq!%(B$BHU;A$GD92,;a$O1?E>e$,$k!%(B
	$BLk$O(B$B8PHJ$G1c2q!%(B$B2N$$$J$,$iLk$O99$1$F$$$/!%(B$BK~E7$N@1!%(B$BE7$N@n!%(B

08-13 ($BEZ(B)
        $BD+$O5$29$,(B 4$B!n(B $B$^$G2<$,$C$?!%F|$N=P$rD/$a$k!%(B9:55 $BH/!%(B
  14:00 $B%+%7%e%,%k(B$B$N(B Qiniwak $BIP4[$KLa$j!$5Y7F!%(B
  18:00 $B%"%P%/%[!<%8%c$NJh!J(B$B9aH^Jh(B$B!K$K9T$/!%(B19:10 $B5"=I!%(B

08-14 ($BF|(B)
        $BIt20$r0\F0$9$k$3$H$K$J$k!%@vBuJ*$,4%$$$F$$$J$$?M$O$?$$$X$s!%(B
	$B!!3F<+<+M39TF0!%@>B<$O!'(B $B8aA0Cf$O%&%$%0%kL<(B 2 $B?M$KF|K\8l$r65$((B
	$B$F2a$4$9!%4JC1$J%&%$%0%k8l$N<-=q$H652J=q$,Lr$K$?$D!%O?2;5!$r;}(B
	$B$C$F9T$1$P$h$+$C$?!%Ck$K$O?7aE$K$h$/$"$k(B$B%S%j%d!<%I(B$B!J%(%$%H%\!<%k!((B
	$BIi$1$?$[$&$,>l=jBe(B 2 $B85$rJ'$&!K$G>/G/C#$HM'9%!%$*$b$7$m$+$C$?!%(B

08-15 ($B7n(B)
   8:55 $BH/!%$9$0$K8!Ld$K$R$C$+$+$j!$(B15 $BJ,4VB-N1$a!%(B
  13:40 $B;0?'8}(B$B$GYBLL!%@>It7`$N$h$&$J7J?'$@!%(B14:40 $BH/!%(B
  18:15 $B%"%/%9(B$B!J0$9nAI!KM'5CIP4[Ce!%(B460km$B!%6aBeE*$J;T39$@!%@>B<$OIP4[(B
	$B$N$*>n$5$s$H(B 18:55 $BCf9q6d9T$X9T$-!$(B$B$d$C$H%-%c%C%7%s%0$G$-$?!*(B 
	$B%+!<%I$r;H$C$?5R$O:#G/$G(B 2 $B?ML\$@$=$&$@!%(BXohret $B$5$s$K08-16 ($B2P(B)
   9:05 $BH/!%(B$BGR>k(B 12:05 $BCk?)!%$^$?$b$d!$$^$a$KNd$($?%S!<%k$rA\$9(B
	$B?M$?$A!J(B3 $B85$@$C$?!K!%(B14:35 $BH/!%$:$$$V$s$B%-%8%k(B$B!J9n;ZUu!K@iJ)F6!%F~8}$G$b$a$k!%J)A|$O$J$/$J$j!$JI2h$b=}(B
	$B$D$$$F$$$k$N$,;DG0$G$"$k!%;~Be$bMM<0$b;w$+$h$C$F$*$j!$C1D4!JFX_j(B
	$B$h$j$bA0$K4Q$k$Y$-$+!K!%2<$j$F$-$F$+$i$N@>1;$,;]$$!%(B18:35 $BH/!%(B
  20:00 $B%-%8%k%+%4!<(B$B!J9n;ZUu[4R}!KEZEc!NO52PBf$+!O(B 20:10 $BH/!%(B
  20:30 Qiuci$B!J55h$!KIP4[Ce!%HU;A$K(B$B;FMS$N4]>F$-!%(B

08-17 ($B?e(B)
   9:50 $BH/!%(B10:30 $B>k!O(B10:55 $BH/!%(B
  11:30 $B%P%6!<%k!%$*>F$d2LJ*$rGc$&!%(B11:50 $BH/!%D>8e$K%;%k%U%5!<%S%9$N(B
	$B#G#S$G%,%=%j%s$rF~$l$k!%(B
  13:45 $BNXBf(B$B$N@>>k;AE9$GCk?)!%(B14:30 $BH/!%(B
  17:55 $B%3%k%i(B$B!J8KUupU!KGC2;3T\AIP4[Ce!%(B21:00? $B%b%s%4%kIqMY!%5\:j$5$s!$(B
	$BEDJ%$5$s$H@>B<$,O"$l=P$5$l!$(B$BNkLZ$5$s$O2V2G$K(B $B$J$k!%(B

08-18 ($BLZ(B)
   9:00 $BH/!%(B13:00 $B8KJF=:(B$B$GCk?)(B 13:35 $BH/!%ESCf$K;v8N@~$ND9$$2<$j!%D>@~>u(B
	$B$K%*%"%7%9$NNP$,8+$($k!%(B
  16:55 $B8r2O8N>k!%(B$B$h$/$G$-$?>k$@!%COMx!$?eMx$H$b$K$h$$!%9b$5(B 30m $B$N331o(B
	$B$OJx$l$=$&$@$,:t$b$J$$!%%+%C$H=k$/!$5$;}$A$h$$$[$I$@!%F|0~$ONC(B
	$B$7$$!%(B$B@>1;$,;]$$!%(B18:00 $BH/!%(B
  18:00 $B%+%l!<%:!JCO2$B%H%k%U%!%s(B$B!JEGO%HV!KNP=#IP4[Ce!%IrF::W$,=*$o$C$?$H$3$m!%(B
	$B!!%"%$%G%#%s8P!J3$H4(B -145m$B!K$O(B$B43>e$,$C$F!$>CLG(B$B$7$?$=$&$@!%;DG0!%(B
	$B!!Lk$K%[%F%k$N%[!<%k$GAjKP$r$9$kL@CN$5$s!$Cf;3$5$s!$5WGO$5$s!%(B

08-19 ($B6b(B)
   9:05 $BH/!%(B9:15 $BAI8xEc!J%$%9%i%`;{1!!K(B9:35 $BH/!%ESCf$GF;O)$,4'?e!%(B
  10:30 $B9b>;8N>k!%(B$B%m%PGOh$k$,!$B<$OJb(B
	$B$/!%Ec$NCl@W$,$?$/$5$s$"$k!%1};~$OAT4Q$@$C$?$G$"$m$&!%(B11:30 $BH/!%(B
	$B!!(B$B43$7IrF:(B$B$r$^$H$a$FGc$&!%4%Ag>.20$b8+$;$F$b$i$$!$IrF:$rD:$/!%(B
	$B;]$$!*(B
  12:00 $B2P1k;3!%(B$B:P$N=g$KJB$s$G5-G0;#1F!%(B
  12:50 $BIrF:9B!%(B$B%S%K!<%kB^(B 4 $B3Q(B? 14:30 $BH/!%9SLn$KIwNOH/EE=j$,$"$k!*(B
  18:30 $B%&%k%`%A(B$B4D5eBg08-20 ($BEZ(B)
   7:00 $BAaD+?);vH4$-$G=PH/!%(B7:15 $B6u9ACe!%6a$/$F$h$$!%(BXohret $B$5$s(B
	$B$HJL$l$r@K$7$`!%$*@$OC$K$J$j$^$7$?!%(B
   9:15 $BEk>h!%%$%j%e!<%7%s(B $B'*'](B-86 $B$@!%DA$7$$!%%m%7%"?M5;;U$,%(%s%8%s(B
	$B%+%P!<$r3+$1$F:$$C$?4i$r$7$F$$$k!%$*$$$*$$!"Bg>fIW$+!)(B
	$B6uCf$K>e$,$C$F$+$i;C$/%4%S$,8+$($?!%(B
  12:30 $BKL5~(B$BCe!%1+LOMM!%CY$l$?$?$a$+%P%2!<%8$,=P$F$3$J$$!%Ck?)5Y7F$i$7$$!%(B
	$B$7$+$?$,$J$$$N$G!$30$+$i%S!<%k$rGc$C$F$-$F(B$B6u9A$G1c2q!%(B
  14:30 $B@>1qHSE9$KLa$k!%(B15:30 $B<+M39TF0!%(B
  18:00 $B:G8e$NHU;A!%?)8e!$%[%F%k$N%m%S!<$GFqGH=$$5$s$,%T%"%N$rCF$/!%(B

08-21 ($BF|(B)
        $BCk$^$G<+M39TF0!%(B

  12:45 $BH/!%(B13:35 $B6u9A!%M{$4IW:J$HJL$l$r@K$7$`!%(B
  15:15 $BEk>h!%(BNH906 $BJX!J(BB747$B!K$GEl5~$X!%@>B<$O0l?M6X1l@J$X!%NY$O%"%a%j%+(B
	$B:_=;$NCf9qIX?M$G0e$B@.ED(B$BCe!%(B
	$B$*Hh$l$5$^!*(B						$B!JN;!K(B


$B $B;09q;o$Nif(B (1994)

$B%[!<%`%Z!<%8$KLa$k!'(B $B@>B Banner