🚀 go-pugleaf

$@$3(J$@$s$K$A$O!"KLN&@hC<Bg$NIMED$G$9!#(J

In article <RYU.92Oct5123217@sysipk.sys.titech.ac.jp> $@3^(J $@$5$s(J:
>$@!t$J(J$@$s$GD>4Q<g5AE*=89gO@!JC]Fb30;KCx!K$G$OM-M}?t$NKd$a9~$_J}$r=q$$$H$i(J
>$@!t$s$N$d!*(J
>$@!t$=$l$O<+L@$J$s$+!)(J

  $@$3$l$O(J HA (Heyting algebra) $@$GM-M}?t$r9=@.$9$kJ}K!$N$3$H$G$9$h$M!#3N(J
$@$+$K5-=R$,$J$$$h$&$G$9!#$+$J$i(J$@$:$7$b<+L@$H$O8@$($J$$$H;W$$$^$9$,!"8EE5(J
$@E*$J?t3X$G$NM-M}?t$N9=@.K!$H4pK\E*$KF1$8$G$9$N$G!"5-=R$,$J$$(J$@$N$G$7$g$&!#(J

$@IMED(J $@D><y(J

$@1J9>!wEl9)Bg$G$9!%(J

In article <RYU.92Oct5123217@sysipk.sys.titech.ac.jp>
ryu@sys.titech.ac.jp (ryu) writes:

>$@$=$N@N!"El9)BgAm9gM}9)3X8&5f2J=u65<x$N;T(J$@@n?-0l;a$,(J Math Test $@$H$$$&%5(J
>$@%V%8%'%/%H$G$b$C$F;O$a$?!"BgO@Ah$,$"$j$^$7$?!#$=$NO@Ah$K<B$O;d$b!Jp~m&(J
>$@$rGc$$$J$,$i!)!KBg$$$K;22C$7$?$b$N$G$7$?!#(J
>$@$=$7$F!"$=$N8e;T@n;a$O$=$NO@Ah$rK\$K$7$F=PHG$7$?$$$H8@$C(J$@$F$-$^$7$?!#(J

>$@$=$N=PHGOC$KBP$7$F!";d$O!"7k2L$H$7$F1~$8$^$;$s$G$7$?!#E>:\$OIT5v2D$H$$(J
>$@$&$3$H$G$9!#(J

>$@$H$3$m$,;T@n;a$O$"$/$^$G!";d$N(J junet $@$X$NEj9F$r;H$C$F!JF|K\I>O@<R$+$i!K(J
>$@$=$NO@Ah$r%b%H$K$7$?K\$r=PHG(J$@$9$k$D$b$j$N$h$&$G$9!#(J

>$@$=$3$G3'$5$s$X$N$*CN$i$;$H5?Ld$H$7$F0J2<$N$h$&$J$3$H$,$"$j$^$9!#(J

>1. junet $@$G$O1DMxL\E*$N(J junet $@$NMxMQ$r6X;_$7$F$$$?$N$G$O$J$+$C$?$N$G$7$g(J
>  $@$&$+!)(J

junet$@$NOH$G!$$"$k$$$O(Jfj$@$NOH(J$@$GOC$r$9$k$N$+$h$/$o$+$i$J$$$s$G$9$1$I!%!%(J
fj$@>e$G$N3X=QE*$J5DO@$,=PHG$5$l$k$3$H$O4n$P$7$$$3$H$@$H;W$$(J$@$^$9!%(J

$@$^$"!$!V$5$":#$+$iF$O@$r$O$8$a$^$9!%$3$NF$O@$O!$$N$A$K0l:}$NK\$K$^$H$a(J
$@$i$l$F!$;22C<T$K$O6QEy(J$@$K0u@G$,;YJ'$o$l$^$9!W$H$$$&7A$GF$O@$,$J$5$l$k$H(J
$@$9$l$P!$>/!9LdBj$,$"$k$G$7$g$&$,!$$=$N$h$&$JK\$,=P$k(J$@$3$H$b0l<o$N!V<B83!W(J
$@$H9M$($l$P$"$kDxEY$O5vMF$5$l$&$k$N$G$O$J$$$G$7$g$&$+!%(J

$@@5D>$$$C$F!$;d$O(Jfj$@$G$I$3(J$@$^$G$d$C$F$$$$$N$+$H$$$&$3$H$O$^$k$G$o$+$j$^$;(J
$@$s!%>e$N;d$NH/8@$OC1$J$k46A[$G$9!%(J

>$@;d$O<+J,$NEj9F$,!V(J$@1DMxL\E*$K;HMQ$5$l$k$3$H$O$J$$!W$H?.$8$FEj9F$7$F$$$?(J
>$@$N$G$9$,!#(J

$@1DMxL\E*$K;HMQ$5$l$k2DG=@-$O$"$k$@$m(J$@$&$+$i!$$5$l$=$&$K$J$C$?$i5v2D$r$@(J
$@$5$J$1$l$P$$$$$s$8$c$J$$$G$7$g$&$+!%?.$8$FEj9F$9$k$3$H$K0UL#$,$"$k(J$@$H$O(J
$@;W$($^$;$s!%(J
_  __  __
 ][  ][  ]$@1J9>(J $@9'5,(J nagae@an.isl.titech.ac.jp
[__][__][_ $@El9)Bg(J $@A|>pJs9)3X(J$@8&5f;\@_(J $@0B5o1!8&(J

$@$7$P$i$/L[$C$F$$$?$N$G$9$,!";T@n@h@8$r1~1g$9$k$?$a$KEj9F$7$^$9!#(J

In article <RYU.92Oct5123217@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
 >$@$=$N@N!"El9)BgAm9gM}9)3X8&(J$@5f2J=u65<x$N;T@n?-0l;a$,(J Math Test $@$H$$$&%5(J
 >$@%V%8%'%/%H$G$b$C$F;O$a$?!"BgO@Ah$,$"$j$^$7$?!#(J

$@$"$j$^$7(J$@$?$M!<!#(J

 >$@$=$N=PHGOC$KBP$7$F!";d$O!"7k2L$H$7$F1~$8$^$;$s$G$7$?!#E>:\$OIT5v2D$H$$(J
 >$@$&$3$H$G$9!#(J

$@$3(J$@$N!V7k2L$H$7$F!W$H$$$&ItJ,$N0UL#$O;T@n@h@8$NEj9F$G$d$C$HM}2r$G$-$^$7(J
$@$?!#(J

 >1. junet $@$G$O1DMxL\E*$N(J junet $@$NMxMQ$r6X;_$7$F$$$?$N$G$O$J$+$C$?$N$G$7$g(J
 >  $@$&$+!)(J

$@8&5f$HD>@\$O4X78$7$J$$L\E*$G$NMxMQ$O6X;_(J$@$5$l$F$$$?$H;W$$$^$9$,!"=PHG$O(J
$@8&5f<T$K$H$C$F=EMW$J8&5fH/I=$N>l$G$9!#=PHG$O8&5f3hF0$N0l$D$G$"$j!"$=$N(J
$@K\$NCf$G(Jfj$@$G$N5DO@$,0zMQ$5$l$k$N$OEvA3!"5v$5$l$k$Y$-$@$H;W$$$^$9$,!D!#(J

$@$=$&$G$J$1$l$P!"2?$N<B83%M%C(J$@%H%o!<%/$J$s$@$+!#$H;W$$$^$9!#$$$+$,$G$7$g(J
$@$&$+!#(J

 >$@$9$k$H!"Ej9F$N;~$K;d$NEj9F$r0zMQ$7$F$$$?J}C#$NEj(J$@9F$O!"2M6u$N?MJ*$+$i$N(J
 >$@Ej9F$r0zMQ$7$F$$$k$h$&$JEj9F$H$J$j!"$3$l$O!"!V0zMQ$O@53N$K9T$J$o$J$1$l(J
 >$@$P$$(J$@$1$J$$!W$H$$$&Cx:n7oK!$K?($l$F$$$k$h$&$JEj9F$K8+$($k$h$&$K$J$k!"$H!"(J
 >$@$$$&$3$H$G$9!#(J

$@$=$s$J$3$H$O$"(J$@$j$^$;$s!#(Jryu$@$5$s$,:[H==j$K?=9p$9$l$P(Jryu$@$5$s$NItJ,$K$D$$(J
$@$F?35D$,$5$l$k$G$7$g$&$,!";d$NCx:n8"$O?/32$5(J$@$l$F$$$^$;$s!D!#(J

 >3.$@$H$j$"$($:!";T@n?-0l;a$rCx:n8"$N?/32$GAJ$($k$D$b$j$@$+$i$G$9!#(J

$@$7$+$7!":[H=$O;~(J$@4V$b$+$+$j$^$9$7HqMQ$b$+$+$j$^$9$h!#$I$s$JMx1W$r<u$1$h(J
$@$&$H$5$l$F$$$k$N$+$o$+$j$^$;$s$,!D!#$I$&$G$7$g(J$@$&$+!#(Jfj$@$,2<$i$J$$>l=j$@(J
$@$HNI$/$o$+$C$F$$$?$@$1$?$H$3$m$G!"40A4$K0zMQ$rIT5v2D$H$9$k%M%C%H%o!<%/(J
$@$K0\$i(J$@$l$k$H$$$&$N$O!D!#(J

--
$@4k6HL>$N5-:\$O1DMxL\E*$HA4$/4X78$"$j$^$;$s!#Iz$;;z$OL50UL#$G$9!#(J{V}$@$h$7$N$U(J

$@>>K\!wL5@UG$O@I><T(J

$@:G6a$J$K$+$H$*A{$,$;$N(JMath Test$@$G$9$,(J
$@;d$O2a5n$N5DO@$N7P0^$OCN$i$J$$$N$G(J
$@=PHG$N6G$K$O!"%<%R$H$bGc$C$FFI$_$?$$$b$N$@$H!"(J
$@$+$h$&$K9M$($k<!Bh$G$"$j$^$9!#(J

$@!t$J$*!"$$$+$J$k=PHGJ*$K$b!">e$NJ8>O$r0zMQ$9$k$3$H$r(J
$@!t5v2D$$$?$7$^$9!#(J(^^;)

$@$9$C$+$j%U%)%m!<$N;EJ}$r(J$@K:$l$F$7$^$C$?3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
$@!t(Jf$@$r%*%9%H%3$^$G$O3P$($F$$$k$N$@$,!"!"!"(J

$@$($(!"$A$g$C$H(J$@4*0c$$$7$F$$$k?M$,$$$k$h$&$J$N$GJaB*$G$9!#(J

$@!V0zMQ!W$r5v2D$7$J$$$J$s$F$$$$$^$;$s!#(J
$@!VE>:\!W$r5v2D$7$J(J$@$$$H$$$C$F$$$k$@$1$G$9!#(J
$@A0$K;T@n;a$H$N$d$j$H$j$G8@$C$F$$$?!J0zMQ!K$O!";d$,K!N'$rCN$i$J$+$C$?0Y(J
$@$N8@MU(J$@$N8mMQ$G!"<B$O!VE>:\!W$H$$$&$Y$-$b$N$G$9!#(J

$@$=$l$H!";d$NEj9F$r0zMQ$7$F$$$kEj9F$r$7$F$$$k;T@n;a0J30$N?M(J$@C#$X2?$r$$$$(J
$@$?$+$C$?$+$H$$$&$H!"$=$NEj9F$NItJ,$NJ8@U<T$,IT@5$J0zMQ$r$7$F$$$?$i==J,(J
$@$K!J;d$N!KCx:n8"$N(J$@?/329T0Y$K$J$jF@$k!"$H$$$&$3$H$J$N$G$9!#(J

$@$D$^$j$G$9$M!#(J
$@9C$5$s$,!";d$NJ8>O$r@5$7$/0zMQ$7$FEj9F$7$F$$(J$@$k!#!J$3$l$O$$$$!K(J
$@$7$+$7!"$=$l$r=PHG$9$k$H$-$K$OIT@5$J0zMQ$K$7$F$$$k!#!JL>A0$rJQ$($k!"Fb(J
$@MF$rJQ$($k!"(J$@!"!K(J
$@$=$l$O!"Cx:n8"$N?/329T0Y$@$h!#(J

$@$H$$$&$3$H$J$N$G$9$h!#(J


$@$A$J$_$K!V$J$<E>:\$r5v2D$7$J$$$+!W$J$s$F(J$@$3$H$K$D$$$F!"3'MM$K$3$3$G$*OC(J
$@$9$k$3$H$O$G$-$^$;$s!#(J
$@$J$<$J$i!";T@n;a$O;d$rAJ$($k$H$b8@$C$F$$$k$+$i$G(J$@$9!#(J
$@!VE>:\$r5v2D$5$l$J$+$C$?$,0Y$KHo$C$?B;32!W$r;d$K:[H=$r$H$&$7$F@A5a$9$k(J
$@$=$&$G$9!#(J

$@$b$A$m$s!"L5CG(J$@E>:\$r$7$?K\$r=PHG$7$?$i!";d$+$i!VCx:n8"$N?/32!W$GAJ$($k(J
$@$D$b$j$@!"$H8@$&$N$OA0$KEj9F$7$?$H$*$j$G$9!#(J

$@$I$C$A$K$7$F$b:[H=$OHr$1$i$l$=$&$K$"$j$^$;$s!#(J

$@$=$3$G!"$=$N:[H=$G$N;d$N!V<j$NFb!W$r$3$3$GL@$+$7$F$7(J$@$^$&$3$H$O:[H=>e;d(J
$@$KITMx$KF/$/$H9M$($i$l$^$9!#(J
$@$h$C$F!"$3$3$K3'MM$K$*CN$i$;$9$k$3$H$,$G$-$J$$!"$H$$$&(J$@$3$H$G$9!#(J


$@:[H=$NAj<j$H$J$k;T@n;a$O$$$m$$$mOC$7$F$k$N$K!"$H!"$*;W$$$NJ}$b$$$i$C$7$c(J
$@$k$H;W$$$^$9!#(J
$@$b$A$m$s!":[H=$GIi$1$k$D$b$j$O$"$j$^$;$s!#(J
$@$7$+$7!";T@n;a$,=PHG$rM=Dj$7$F$$$k=PHG<T$OF|K\I>O@<T$H$$$C(J$@$FK!N'4X78$N(J
$@K\$rB??t=PHG$7K!Ab3&$K$$$m$$$m$J%3%M$r;}$C$F$$$k$b$N$H;W$o$l$^$9!#(J
$@$@$+$i!"F|K\I>O@<R$O:[(J$@H=$G$O6/$$!#B?>/$NK!N'0cH?$O$=$N%3%M$r;H$($P$J$s(J
$@$F$3$H$O$J$$!"$H$G$b:#2s=PHGM=Dj$NK\$NC4Ev<T$N550f;a(J$@$O;W$C$F$$$k$N$+$b(J
$@CN$l$^$;$s!#(J

$@$D$^$j!"0J2<$N$h$&$JEEOC$G$N$d$j$H$j$,$"$C$?$N$G$9!#(J

$@;d(J    $@!V0lHL$K(J$@!"FbMF$dI=8=$rJQ$($J$$$G!"$=$l$r!"<+J,$NJ8>O$H$7$F=PHG$9$k(J
       $@$N$OEp:n!"$C$F8@$$$^$9$h$M!)!W(J
$@550f(J$@;a!V$=$l$O$=$&$G$9$M!)!W(J
$@;d(J    $@!V$8$c$";T@n;a$,$d$m$&$H$7$F$$$k$3$H$bEp:n$G$9$M!#!W(J
$@550f;a!V$$$d$=$l$O(J$@H=$j$^$;$s!"869F$r$"$J$?$K8+$;$k$3$H$b$7$^$;$s!"$3$A(J
       $@$i$GH=CG$7$^$9!#!W(J

$@$F$J!"%0%"%$$G$9!#(J

$@$3(J$@$s$J$d$D$i$rAj<j$K$9$kLu$G$9$+$i!"$^$"!"?5=E$K$J$C$F$$$k$3$H$r$*5v$7(J
$@$/$@$5$$!#(J


$@!t(Jfj.soc.law $@$"$?$j(J$@$G:[H=$N<B67Cf7Q!"$J$s$F$N$b!"3Z$7$$$+$bCN$l$^$;$s(J
$@!t$M!#$I$&$+$*3Z$7$_$K!*!*(J

$@!!$I$b!$=i$a$^$7$F9u4d$H?=$7$^$9(J
  $@$J$+$J$+K\20$NE9F,$KJB$P$J$$$N$G$X$s$@$J$!$H;W$C$F$?$i!$(J
$@!!$3$&$$$&$3$H$@$C$?$N$G$9$M!%(J

In article <RYU.92Oct5123217@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
>
>$@3'MM$*5W$7$V$j!"$N!"3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
>
$@!!$I$b!%(J

>$@;d$O<+J,$NEj9F$,!V1DMxL\E*$K;HMQ$5$l$k$3$H$O$J$$!W$H?.$8$FEj9F$7$F$$$?(J
>$@$N$G$9$,!#(J

  $@$3$l$O0zMQ$rG'$a$?;~E@$GL58z$B$c$!(J

>2.$@O@Ah$K;22C$7$F$$$F;T@n;a$N=PHG7W2h$K;?@.$7$F$$$k?M$X$N$*CN$i$;$G$9!#(J

  $@$o$?$7$O;22C$7$F$J$$$N$G$9$,!$K\$N=PHG$O3Z$7$_$K$7$F$^$7$?$N$G!%(J

>$@;T@n;a$O;d$NEj9F$r!V2M6u$N?MJ*$+$i$N$b$N!"$H$$$&$h$&$JJT=8J}?K$G$d$k$D(J
>$@$b$j$@!W$H$b8@$C$F$^$7$?!#(J
>$@$9$k$H!"Ej9F$N;~$K;d$NEj9F$r0zMQ$7$F$$$?J}C#$NEj9F$O!"2M6u$N?MJ*$+$i$N(J
>$@Ej9F$r0zMQ$7$F$$$k$h$&$JEj9F$H$J$j!"$3$l$O!"!V0zMQ$O@53N$K9T$J$o$J$1$l(J
>$@$P$$$1$J$$!W$H$$$&Cx:n7oK!$K?($l$F$$$k$h$&$JEj9F$K8+$($k$h$&$K$J$k!"$H!"(J
>$@$$$&$3$H$G$9!#(J

  $@$&!A!A$s!$$o$1$o$+$a$JO@M}$@!%(J
$@!!>/$J$/$H$b!$0zMQ$7$?H/8@$=$N$b$N$K4X$7$F$O@53N$J$N$G$O!)(J

>3.$@$H$j$"$($:!";T@n?-0l;a$rCx:n8"$N?/32$GAJ$($k$D$b$j$@$+$i$G$9!#(J

  $@%M%C%H%o!<%/>e$G$NCx:n8"$,$I$&07$o$l$k$N$+!$6=L#$,$"$k$N$G!$(J
$@!!@'Hs$d$C$F$/$@$5$$!%(J
$@!!!tC1$J$kLo<!GO:,@-$@$1$I(J........

$@!!Cx:n8"K!$KDq?($9$k$3$H$rN)>Z$9$k$?$a$K!%$I$N$h$&$JO@K!$r$H$k$N$+(J
$@!!6=L#$,$"$j$^$9!%(J

$@!!0l$D$O!$2~JQ$r9T$J$o$:$K0zMQ$7$?>l9g!$%M%C%H%o!<%/>e$KN.$l$?J8=q$K(J
$@!!$I$3$^$G$NCx:n8"$,G'$a$i$l$k$+!)$H$$$&$3$H$G$9$M!%(J
$@!!%M%C%H%o!<%/$G$O%3%T!<$9$k$3$H$K$h$C$F3'$NL\$K?($l$k$o$1$@$+$i!$(J
$@!!J8=q$r%9%H%l!<%8$7$?G^BN$,!$(JHDD$@$H;f$G$I$&JQ$o$k$N$+6=L#$,(J
$@!!$"$j$^$9!%(J

$@!!$b0l$D$O!$#2<!E*Cx:nJ*$N07$$$G$9!%(J
$@!!#2<!E*Cx:nJ*$,Cx:n8"$r?/32$7$F$$$k$3$H$rN)>Z$9$k$?$a$K$O!$(J
$@!!$=$NCx:nJ*$H86Cx:nJ*$H$NN`;w@-$rL@<($9$kI,MW$,$"$j$^$9!%(J
$@!!$7$+$7!$%M%C%H%o!<%/Ey$NEE;RE*G^BN$K$h$C$FDs6!$5$l$k(J
$@!!%G!<%?$OC/$K$G$b<+M3$K2~JQ$G$-$k$b$N$G$9!%(J
$@!!$=$N>l9g!$86Cx:nJ*$H3^$5$s$,<gD%$5$l$kJ8=q$,K\Ev$K86Cx:nJ*$G$"$k$3$H$r(J
$@!!>ZL@$9$kI,MW$,$"$j$^$9!%(J
$@!!$3$N>ZL@$O!$%M%C%H%o!<%/$G$d$j$H$j$5$l$kJ8=q$G$O$+$J$j:$Fq$J(J
$@!!$3$H$@$H;W$$$^$9$,$I$&$G$7$g$&$+!)(J

  $@$^$!!$:[H=5/$3$9$N$O$$$$$1$I!$$=$l$GK\Ev$K>!$F$k$N!)$H(J
$@!!$$$C$?$H$3$m$G$9!%(J

$@!!$G$O$G$O(J

$@!!!t$"$l$@$1A{$,$;$?$s$@$+$i!$=PHGJ*$K$J$k$0$i$$$$$$$s$B$c$J$$$N!A(J
$@!!!t$H;W$&$N$@$1$I$J$!(J...

-- 
                                                   $@9u4d(J  $@2mI'(J
                                                   kuroiwa@ksp.kubota.co.jp
                                                   NIFTY:PFB02600

In article <484@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

$@>>K\!w9)F#$G$9!#!J$^$:$&$$$N$+!)!K(J

 |$@>>K\!wL5@UG$O@I><T(J
 |
 |$@:G6a$J$K$+$H$*A{$,$;(J$@$N(JMath Test$@$G$9$,(J
 |$@;d$O2a5n$N5DO@$N7P0^$OCN$i$J$$$N$G(J
 |$@=PHG$N6G$K$O!"%<%R$H$bGc$C$FFI$_$?$$$b$N$@$H(J$@!"(J
 |$@$+$h$&$K9M$($k<!Bh$G$"$j$^$9!#(J
 |
 |$@!t$J$*!"$$$+$J$k=PHGJ*$K$b!">e$NJ8>O$r0zMQ$9$k$3$H$r(J
 |$@!t5v2D(J$@$$$?$7$^$9!#(J(^^;)

$@5v2D$5$l$^$9!#!J<u?H!K(J

$@$o$?$7$O$N$C$F$$$k$O$:$G$9!#(J

$@0l1~<+J,$N$H$3$m$r@h@8$K8+$;(J$@$F$b$i$$$^$7$?$,!"$^$"$=$N$^$^$N$C$F$?$-$b(J
$@$9$k$N$GLdBj$J$+$C$?$H$*$b$$$^$9!#!J$?$@$"$k2q<R$K="?&3hF0(J$@$7$?;~$K(J
fj.sci.math$@$N>>K\$5$s$M$H$$$o$l$?;~$O$h$o$C$?$>!#!K(J

$@$^$"!"%9%-%+%C%F%K%@%7%F%b%i%(%P%$%$%H%*(J$@%b%&%1%I!#(J
$@2?$GK!N'O@Ah$K$7$?$,$k?M$,$$$k$N$+$M!#$^$C$?$/!#(J

$@!t>e5-$NJ8$O%3%T!<2D$@$h!#(J


--
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@    $@El5~9)6HBg3X(J $@@)8f9)3X2J(J $@=$;N#2G/(J       @
@    $@;T@n!J?-0l!K(J$@8&5f<<(J  $@>>K\(J $@0B1Q(J          @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

In article <939@kbtksp1.tt.kubota.co.jp> kuroiwa@kubotaj.tt.kubota.co.jp (Masahiko Kuroiwa) writes:
 >>$@;d$O<+J,$NEj9F$,!V1DMxL\E*$K;HMQ$5$l$k$3$H$O$J$$!W$H?.$8(J$@$FEj9F$7$F$$$?(J
 >>$@$N$G$9$,!#(J
 >
 >  $@$3$l$O0zMQ$rG'$a$?;~E@$GL58z$B$c$!(J

$@$=$s$J$3$H$"$k$+$$!#!X(JFJ $@$G$O(J$@1DMxL\E*$N5-;v$O=P$;$J$$!Y$N$@$+$i!"(J
$@$=$N!X(JFJ$@!Y>e$G$N0zMQ$rG'$a$?$+$i$H$$$C$F!X1DMxL\E*$K;H$C$F$b$$$$(J$@!Y$H(J
$@$$$&$3$H$K$J$>$J$i$J$$!#(J


 >>2.$@O@Ah$K;22C$7$F$$$F;T@n;a$N=PHG7W2h$K;?@.$7$F$$$k?M$X$N$*CN$i$;$G(J$@$9!#(J
 >
 >  $@$o$?$7$O;22C$7$F$J$$$N$G$9$,!$K\$N=PHG$O3Z$7$_$K$7$F$^$7$?$N$G!%(J
 >
 >>$@;T@n;a$O;d$NEj9F$r(J$@!V2M6u$N?MJ*$+$i$N$b$N!"$H$$$&$h$&$JJT=8J}?K$G$d$k$D(J
 >>$@$b$j$@!W$H$b8@$C$F$^$7$?!#(J
 >>$@$9$k$H!"Ej9F$N;~(J$@$K;d$NEj9F$r0zMQ$7$F$$$?J}C#$NEj9F$O!"2M6u$N?MJ*$+$i$N(J
 >>$@Ej9F$r0zMQ$7$F$$$k$h$&$JEj9F$H$J$j!"$3$l$O!"(J$@!V0zMQ$O@53N$K9T$J$o$J$1$l(J
 >>$@$P$$$1$J$$!W$H$$$&Cx:n7oK!$K?($l$F$$$k$h$&$JEj9F$K8+$($k$h$&$K$J$k!"$H!"(J
 >>$@$$$&$3$H$G$9!#(J
 >
 >  $@$&!A!A$s!$$o$1$o$+$a$JO@M}$@!%(J
 >$@!!>/$J$/$H$b!$0zMQ$7$?H/8@$=$N$b$N$K4X$7$F(J$@$O@53N$J$N$G$O!)(J

$@$=$&$9$k$H!X2M6u$N?MJ*$+$i$N!Y$H$$$&$3$H$H>WFM$9$k!#(J
$@!X3^$5$s$G$O$J$$!Y!X2M6u$N?MJ*(J$@!Y$G$J$/$F$O$$$1$J$$$N$@$+$i!#(J
$@!t$D$^$j!X2M6u$N?MJ*!Y$J$i!"!X;T@n@h@8$N40A4$JAO:nJ*$G$J$/$F$O$$$1$J(J
$@!t(J$@$$!Y$N$@!#(J


 >$@!!0l$D$O!$2~JQ$r9T$J$o$:$K0zMQ$7$?>l9g!$%M%C%H%o!<%/>e$KN.$l$?J8=q$K(J
 >$@!!$I$3$^$G$NCx:n(J$@8"$,G'$a$i$l$k$+!)$H$$$&$3$H$G$9$M!%(J

NIFTY $@$J$s$+$O!"5-;v$NCx:n8"$,L@3N$K$J$C$F$$$k$=$&$G$9$M!)(J
$@!X=q(J$@$$$??M!Y$J$N$+!X7@Ls<T!Y$J$N$+$OCN$j$^$;$s$,!"$=$l$O!X7@Ls;~$KL@(J
$@<($5$l$F$$$k!Y!#(J

fj $@$N>l9g$O$I$&$J$k(J$@$s$G$7$g$&!)!X7@Ls;~$KL@<(!Y$5$l$F$O$$$J$$$G$7$g!)(J
$@$=$&$9$k$H%G%U%)%k%H$N!J$D$^$j!"IaDL$N<j;f$H$+!"%N(J$@!<%H$K=q$$$?$b$N$H(J
$@$+$HF1$8!K07$$$K$J$k$G$7$g$&$+$i!"!XEv?M$,40A4$KG<F@$7$?7A$G$7$+=PHG(J
$@$O5v$5$l$J$$!Y(J$@$G$9$h$M!#(J
$@$=$&$9$k$H!XJQ99$7$F$O$$$1$J$$!Y$N$O$^$!EvA3$H$7$F!"!XESCf$rH4$/!Y$N(J
$@$b$@$a$@$7!"!XI,MW$J5-(J$@;v$@$1$r%T%C%/%"%C%W$9$k!Y>l9g$O!XL@3N$K$=$l$,(J
$@0lIt$K2a$.$J$$$3$H$rL@<($9$k!Y$HF1;~$K!X=PE5$rL@$i$+$K(J$@$9$k!YI,MW$,$"(J
$@$k!#$^$7$F$d!X2M6u$N?MJ*$,8@$C$?$3$H$K$7$F!Y$J$I$H$$$&$N$O!"5v2D$J$7(J
$@$K$d$C$F$O$$$1$J$$(J$@!#!X:>>N!Y$G$9$+$i!#(J

$@;T@n@h@8$O!"3^$5$s$N5-;v$r!X;H$o$;$F$b$i$&!YN)>l$J$s$G$9$+$i!"(J
$@!X3^$5$s$,!V$&$s(J$@!W$H8@$o$J$$8B$j!Y3^$5$s$N5-;v$r!X$I$N$h$&$K2C9)$9$k(J
$@$3$H$b!"0zMQ$9$k$3$H$b!Y5v$5$l$J$$$N$OEvA3$G$7$g(J$@$&$M!#!X1DMxL\E*!Y$G(J
$@$N0zMQ$J$N$G$9$+$i!#(J


$@!t$b$C$H$b!"!X=PHG$5$l$F$$$J$$!Y$b$N$KBP$7$F$I$&!XAJ>Y!Y$9(J$@$k$N$+!"(J
$@!tBgFqLd$G$9$,!D!#(J

-----
$@$=$&8@$($PJ9$-$?$$$+$C$?$s$G$9$,!"$3$NCf$K$b!X4k6H!Y$+$i(Jfj$@$K5-;v$r(J$@=P(J
$@$7$F$$$k?M$,7k9=$$$k$H;W$$$^$9!#$=$NM}M3$O!X8&5f>e$N>pJs8r49$N$?$a!Y(J
$@$H$$$&$N$,B?$$$G$7$g$&$,!"$3$N(J$@>l9gK\Ev$K$=$N?M$,=P$7$?5-;v$NCx:n8"$O(J
$@!X5-;v$r=P$7$??M$N$b$N!Y$H8@$$@Z$l$k$G$7$g$&$+!)(J

$@!X;E;v$N>e$G(J$@:n$C$?J8=qN`$OA4$F2q<R$K=jM-8"!&Cx:n8"$,$"$k!Y$C$F$$$&(J
$@0lJ8$,!X7@Ls=q!Y$K=q$$$F$"$k>l9g$O!"$=$N?M$N5-(J$@;v$NCx:n8"$O!X2q<R$K!Y(J
$@$"$k$H;W$$$^$9!#;d$NCN$k8B$j$:$$$V$s$HB?$/$N4k6H?M$,#O#K$r=P$5$l$?$h(J
$@$&$G$9$,!"(J$@$A$c$s$H!X<+J,$KCx:n8"$,$"$k$3$H$r3NG'$7$F!Y#O#K$r$@$7$?$s(J
$@$G$7$g$&$+!)(J

$@!t$=$&$G$J$$>l9g!"$-$A$s$H3N(J$@G'$7$?J}$,$$$$$G$9$h!#(J
$@!t$"$H$G%H%i%V%C$?$i!X;T@n@h@8$,!YLBOG$7$^$9!#(J
--
	$@1|;3(J $@7r0l!wEl5~4pAC8&5f=j!%(J$@F|K\#I#B#M!J3t!K(J

	Migres migre de Genesvue trestus...

In article <RYU.92Oct9134253@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 |$@3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
 |
 |In article <YMATSUMO.92Oct9010450@syscomc.sys.titech.ac.jp> ymatsumo@sys.titech.ac.jp (Yasuhide Matsumoto) writes:
 |
 | |$@>>K\!w9)F#$G$9!#!J$^$:(J$@$&$$$N$+!)!K(J
 |
 |$@JL$K4X78$J$$$N$+$bCN$l$J$$$1$I!"$J$s$GF?L>$G$9$N!)(J

$@$I$3$,!)(J

 | |$@$^$"!"%9%-%+%C%F%K(J$@%@%7%F%b%i%(%P%$%$%H%*%b%&%1%I!#(J
 | |$@2?$GK!N'O@Ah$K$7$?$,$k?M$,$$$k$N$+$M!#$^$C$?$/!#(J
 |
 |$@$=$j$c$"!"(J$@$=$N!VK!N'O@Ah$K$7$?$,$k?M!W$NJ8>O$rIT@5$KMxMQ$7$h$&$H$9$kGO(J
 |$@</$,$$$k$+$i$8$c$J$$$G$9$+!)(J
 |

$@$(!)!V(J$@K!N'O@Ah$K$7$?$,$kGO</!W$NJ8>O$rMxMQ$7$h$&$H$9$k?M$,$$$k$8$c$J$/$F!)(J

 | |$@!t>e5-$NJ8$O%3%T!<2D$@$h!#(J
 |
 |$@$=$&!"$J$i$P!"$=$NJ8$G$b;H$C$F=PHG$9$l$PNI$$$N$K!#(J
 |

$@$@$+$i$=$&$7$?$i$$$$$N$K!#$M$(!#(J

--
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@    $@El5~9)6HBg3X(J $@@)8f9)3X2J(J $@=$;N#2G/(J       @
@    $@;T@n!J?-(J$@0l!K8&5f<<(J  $@>>K\(J $@0B1Q(J          @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

$@855$$J3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <YMATSUMO.92Oct9142459@sysipb.sys.titech.ac.jp> 
ymatsumo@sys.titech.ac.jp (Yasuhide Matsumoto) writes:

 | |In article <YMATSUMO.92Oct9010450@syscomc.sys.titech.ac.jp> ymatsumo@sys.titech.ac.jp (Yasuhide Matsumoto) writes:
 | |
 | | |$@>>K\!w9)F#$G$9!#!J$^$:$&$$$N$+!)!K(J
 | |
 | |$@JL$K4X78$J$$$N$+$b(J$@CN$l$J$$$1$I!"$J$s$GF?L>$G$9$N!)(J
 |
 |$@$I$3$,!)(J

$@;T@n;a$,=PHG$7$h$&$H$7$F$$$kK\$NCf$G!#(J

 | | |$@2?$GK!N'(J$@O@Ah$K$7$?$,$k?M$,$$$k$N$+$M!#$^$C$?$/!#(J
 | |
 | |$@$=$j$c$"!"$=$N!VK!N'O@Ah$K$7$?$,$k?M!W$NJ8>O$rIT@5$K(J$@MxMQ$7$h$&$H$9$kGO(J
 | |$@</$,$$$k$+$i$8$c$J$$$G$9$+!)(J
 | |
 |
 |$@$(!)!VK!N'O@Ah$K$7$?$,$kGO</!W$NJ8>O$rMx(J$@MQ$7$h$&$H$9$k?M$,$$$k$8$c$J$/$F!)(J

$@!VGO</!W$N$+$$$?J8>O$rMxMQ$7$h$&$H$9$k$h$&$JGO</$O!"IaDL$O!"$=$N!V(J$@GO</!W(J
$@$h$j$bGO</$@$h$M!)(J
$@!t$=$N$b$C$HGO</$JGO</$K65$o$C$F$$$k?M$O!"$^$?$5$i$K!"!"!"!"(J

 | | |$@!t>e5-$N(J$@J8$O%3%T!<2D$@$h!#(J
 | |
 | |$@$=$&!"$J$i$P!"$=$NJ8$G$b;H$C$F=PHG$9$l$PNI$$$N$K!#(J
 | |
 |
 |$@$@$+$i$=$&$7(J$@$?$i$$$$$N$K!#$M$(!#(J

$@%[%s%H!"$J$s$G$=$&$7$J$$$s$@$m$&!)(J

$@0l8@%U%)%m!<$N3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <OKUYAMA.92Oct9112444@lavender.trl.ibm.co.jp> 
okuyama@trl.ibm.co.jp (Kenichi Okuyama) writes:

 |$@!t$b$C$H$b!"!X=PHG$5$l$F$$$J$$!Y$b$N$KBP$7$F$I$&!XAJ>Y!Y$9$k$N$+!"(J
 |$@!tBgFqLd$G$9$,!D!#(J

$@=PHG:9$7(J$@;_$aAJ>Y$H$$$&<j$b$"$j$^$9!#(J

$@K!N'$h$j$b?t3X$NJ}$,9%$-$J3^(J(ryu@sys.titech.ac.jp)$@$G(J$@$9!#(J

In article <NAO.92Oct6092747@mimo.jaist-east.ac.jp> nao@jaist-east.ac.jp (Naoki HAMADA) writes:

 |$@$3$s$K$A$O!"KLN&@hC<Bg$NIMED$G$9!#(J

$@$3$s$K$A$O!"@P868&$NJ}$G$9$h$M!)(J
$@!t4*0c$$$7$F$?$i$4$a$s$J$5$$(J$@!#(J

 |In article <RYU.92Oct5123217@sysipk.sys.titech.ac.jp> $@3^(J $@$5$s(J:
 |>$@!t$J$s$GD>4Q<g5AE*=89gO@!JC]Fb(J$@30;KCx!K$G$OM-M}?t$NKd$a9~$_J}$r=q$$$H$i(J
 |>$@!t$s$N$d!*(J
 |>$@!t$=$l$O<+L@$J$s$+!)(J
 |
 |  $@$3$l$O(J HA (Heyting algebra) $@$GM-M}?t$r9=@.$9$kJ}K!$N$3$H$G$9$h$M!#3N(J
 |$@$+$K5-=R$,$J$$$h$&$G$9!#$+$J$i$:$7$b<+L@$H$O8@(J$@$($J$$$H;W$$$^$9$,!"8EE5(J
 |$@E*$J?t3X$G$NM-M}?t$N9=@.K!$H4pK\E*$KF1$8$G$9$N$G!"5-=R$,$J$$$N$G$7$g$&!#(J

$@$@$+$i$"(J
(a,b) $@$,(J (c,d) $@$HF1CM4X78$K$"$k$H$O(J ad-bc=0 $@$,@.$jN)$D$3$H$G$"$k!"$H$$(J
$@$&F1CM4X78$rF3F~$7!"$=(J$@$NF1CM4X78$G(J Z*Z $@$r3d$C$A$c$($PM-M}?tBN$,$G$-$k(J
$@$s$@$1$I!"$=$l$r!"(JV^($@&8(J) $@$K0lBN$I$&$d$C$FKd$a9~$`$s$G(J$@$7$g!)(J

$@$I$&$K$b!"%$%a!<%8$5$XDO$a$J$/$F!#(J

$@$I$J$?$+$4B8CN$"$j$^$;$s$+!)(J

  $@$I$b!$!V%M%C%H%o!<%/$N%=%U%#%9%H$?$A!W$N=PHG$r?4BT$A$K$7$F$$$k!$(J
$@!!9u4d!w%/%\%?$G$9!%(J

  $@KvC<%5%$%H$J$N$H!$=5Kv>e0L%5%$%H$N5~Bg$N(Jkuis$@$,;_$C$F$?$N$G!$(J
$@!!%U%)%m!<$,CY$l$^$7$?!%(J
In article <OKUYAMA.92Oct9112444@lavender.trl.ibm.co.jp> okuyama@trl.ibm.co.jp (Kenichi Okuyama) writes:
> >
> >  $@$3$l$O0zMQ$rG'$a$?;~E@$GL58z$B$c$!(J
>
>$@$=$s$J$3$H$"$k$+$$!#!X(JFJ $@$G$O1DMxL\E*$N5-;v$O=P$;$J$$!Y$N$@$+$i!"(J
>$@$=$N!X(JFJ$@!Y>e$G$N0zMQ$rG'$a$?$+$i$H$$$C$F!X1DMxL\E*$K;H$C$F$b$$$$!Y$H(J
>$@$$$&$3$H$K$J$>$J$i$J$$!#(J

  $@$"$N!<!$$3$l$O!J$3$3$K$OF1;~$KG[?.$5$l$?!K;T@n$5$s$N%]%9%H$r(J
$@!!$_$F!$(JFj$@$G$N0zMQ$G$O$J$/$F!$=PHGJ*$X$N0zMQ$N5v2D$r$"$?$($H$-$J$,$i!$(J
$@!!$=$l$r$$$-$J$jK]$7$?$3$H$r$$$C$F$s$@$1$I$J$!!%(J

$@!!3^$5$s$NH/8@$NL\E*$O!$>/$J$/$H$b#22s0zMQ$N5v2D$rM?$($?$3$H$r$4$^$+$7$F(J
$@!!5DO@$N<g;]$r$=$i$7!J(Jfj$@$K$O$3$&$$$C$?OC$rE83+$9$k$H!$$=$C$A$KOCBj$,(J
$@!!0\$C$F$7$^$$!$K\<AE*$JItJ,$,$I$3$+$K$$$C$F$7$^$&798~$,$"$k$?$a!K!$(J
$@!!$&$d$`$d$N$&$A$K$4$^$+$9$H$3$m$K$"$k$H;W$C$?$N$G$M!%(J

> >>$@$9$k$H!"Ej9F$N;~$K;d$NEj9F$r0zMQ$7$F$$$?J}C#$NEj9F$O!"2M6u$N?MJ*$+$i$N(J
> >>$@Ej9F$r0zMQ$7$F$$$k$h$&$JEj9F$H$J$j!"$3$l$O!"!V0zMQ$O@53N$K9T$J$o$J$1$l(J
> >>$@$P$$$1$J$$!W$H$$$&Cx:n7oK!$K?($l$F$$$k$h$&$JEj9F$K8+$($k$h$&$K$J$k!"$H!"(J
> >>$@$$$&$3$H$G$9!#(J
> >
> >  $@$&!A!A$s!$$o$1$o$+$a$JO@M}$@!%(J
> >$@!!>/$J$/$H$b!$0zMQ$7$?H/8@$=$N$b$N$K4X$7$F$O@53N$J$N$G$O!)(J
>
>$@$=$&$9$k$H!X2M6u$N?MJ*$+$i$N!Y$H$$$&$3$H$H>WFM$9$k!#(J
>$@!X3^$5$s$G$O$J$$!Y!X2M6u$N?MJ*!Y$G$J$/$F$O$$$1$J$$$N$@$+$i!#(J
>$@!t$D$^$j!X2M6u$N?MJ*!Y$J$i!"!X;T@n@h@8$N40A4$JAO:nJ*$G$J$/$F$O$$$1$J(J
>$@!t$$!Y$N$@!#(J

  $@$"$d!<!$$3$l$b3^$5$s$N85H/8@$G$NBP>]$,!$3^$5$s0J30$N?M$NH/8@$N0zMQ(J
$@!!$@$C$?$+$i$3$&=q$$$?$N$K$#!$!$!$(J
$@!!$J$s$+(J,$@$I$s$I$sOC$,$:$l$F$f$/$h$&$J5$$,$9$k$N$@$1$I!$(J
$@!!$3$l$O5$$N$;$$$B$c$!$J$$$h$J$!!%(J

>NIFTY $@$J$s$+$O!"5-;v$NCx:n8"$,L@3N$K$J$C$F$$$k$=$&$G$9$M!)(J
>$@!X=q$$$??M!Y$J$N$+!X7@Ls<T!Y$J$N$+$OCN$j$^$;$s$,!"$=$l$O!X7@Ls;~$KL@(J
>$@<($5$l$F$$$k!Y!#(J

$@!!$($C$H!$3N$+$K(JNIFTY$@$N5,Ls$G$O!$Cx:n8"$O86Cx:n<T$NB>$K!J3t!K%K%U%F%#(J
$@!!$K$b$"$k$3$H$K$J$C$F$$$^$9!%(J
$@!!H/8@$r0zMQ$9$k$?$a$K$O!J3t!K%K%U%F%#$N5v2D$rF@$J$1$l$P$J$i$J$$$3$H$K(J
$@!!$J$C$F$$$^$9!%(J
$@!!$?$@!$$3$l$r$I$&1?MQ$9$k$+$O$+$J$j$"$d$U$d$K$J$C$F$$$^$9!%(J
$@!!!J3t!K%K%U%F%#$OE>:\$d0zMQ$r$9$k$3$H$r5v2D$9$k4p=`$,$"$d$U$d$G$9$7!$(J
$@!!$I$&$$$&$N$,5v2D$5$l$J$$$N$+$b$o$+$i$J$$$7!%(J
$@!!BgDq$OBg>fIW$J$h$&$G$9$,!%(J

$@!!Cx:n8"$K$+$s$7$F$O!$$O$C$-$j8@$C$F[#KfLO8R!$$@$l$b$o$+$C$F$$$J$$$H(J
$@!!8@$&46$8$b$"$j$^$9!%(J
$@!!@h$N0zMQ!$E>:\$K4X$9$k5,Dj$K$7$F$b!$3N$+$K5,Ls$H$7$F$O$"$k$,!$(J
$@!!$=$l$,K!N'E*$K$I$NDxEY<B8zNO$,$"$k$N$+ITL@$G$9$7!%(J
$@!!%U%)!<%i%`Fb$G!$Cx:n8"$K4X$9$k%H%i%V%k$,5/$3$C$?$H$-$NBP1~$b!$(J
$@!!!J%U%)!<%i%`$K$h$C$F!K$^$A$^$A$@$C$?$j$7$^$9!%(J

$@!!(JNIFTY$@$G0lHLE*$K1?MQ$5$l$F$$$kCx:n8"4XO"$N9`L\$O(J
$@!!!&0zMQ$9$kJ8>O$,!$A4BN$NJ8>O$KBP$7$FB?$9$.$J$$$3$H!%(J
$@!!!!!J%U%)!<%i%`$K$h$C$F0c$&$,!$A4BN$N#1!?#2$J$$$7#1!?#30J>e$N0zMQ$O(J
$@!!!!!!G'$a$J$$!K(J
$@!!!!!t$@$$$$$A!$0zMQ$,$[$H$s$I$NH/8@$O%4%_H/8@0J30$N$J$K$b$N$G$b$J$$$H(J
$@!!!!!tH=CG$5$l$k(J^^
$@!!!&2N;l$N0zMQ$O!$$?$H$(#1J8;z$G$"$C$F$b!$$=$&$@$H$o$+$k$b$N$O0l@Z(J
$@!!!!0zMQ$rG'$a$J$$(J
$@!!!!!JCx:n8"K!$G$O$J$/(JJASRAC$@$NJ}?K$K$h$k!K(J
$@!!!&%U%)!<%i%`$N30$X$NE>:\$K$D$$$F$O!$H/8@<T$NB>$K(JSysop$@$N5v2D$,I,MW(J
$@!!!!!J$3$l$N1?MQ$K4X$7$F$O<BBN$,$h$/$o$+$i$J$$!K(J

$@!!$"$H!$%U%)!<%i%`8GM-$N%k!<%k$H$7$F!$(J
$@!!!&$3$N%U%)!<%i%`$NH/8@$O4pK\E*$KA4$F%U%j!<$J$N$G!$E>:\$O<+M3$G$"$k!%(J
$@!!!!C"$7!$H/8@<T$,E>:\IT2D$H$7$?$b$N$r=|$/!%(J
$@!!!&$3$N2q5D<<$O!v!v!v!v$N=q@R$K$^$H$a$k$?$a$K3+@_$5$l$F$$$^$9!%(J
$@!!!!$3$N2q5D<<$NH/8@$O5v2D$r5a$a$k$3$H$J$/!$=q@R$K7G:\$5$l$k(J
$@!!!!$3$H$,$"$j$^$9!%$H$"$i$+$8$a@k8@$7$F$*$/!%(J
$@!!%1!<%9$,$"$j$^$9!%(J
$@!!$[$+$K$b$"$j$^$9$,!$;n9T:x8m$G%k!<%k$,Dj$a$i$l$F$$$k$N$,8=<B$G$9!%(J

$@!!$7$+$7!$$J$s$H$$$C$F$b!$%M%C%H%o!<%/$,Ia5Z$7$F$+$i$^$@F|$,@u$/!$(J
$@!!$@$l$b!$<B:]$KCx:n8"K!$,$I$&E,MQ$5$l$k$N$+$o$+$i$J$$$N$,(J
$@!!<B>p$G$7$g$&!%(J
$@!!$*$=$i$/(JNIFTY$@$b$o$+$C$F$O$$$J$$$H;W$$$^$9!%(J
$@!!$J$K$7$mH=CG$r2<$=$&$K$bH=Nc$,$J$$!$!$!$!$!$!$(J
$@!!$J$s$H$J$/%d%P$=$&$J$H$3$m$OHr$1$FDL$k$H$$$&$N$,H=CG4p=`$K(J
$@!!$J$C$F$$$k$H$_$F$$$$$H;W$$$^$9!%(J

>fj $@$N>l9g$O$I$&$J$k$s$G$7$g$&!)!X7@Ls;~$KL@<(!Y$5$l$F$O$$$J$$$G$7$g!)(J
>$@$=$&$9$k$H%G%U%)%k%H$N!J$D$^$j!"IaDL$N<j;f$H$+!"%N!<%H$K=q$$$?$b$N$H(J
>$@$+$HF1$8!K07$$$K$J$k$G$7$g$&$+$i!"!XEv?M$,40A4$KG<F@$7$?7A$G$7$+=PHG(J
>$@$O5v$5$l$J$$!Y$G$9$h$M!#(J

$@!!$5$F!$$3$N$"$?$j$NH=CG$,:[H==j$K$h$C$F$I$&H=CG$5$l$k$+$,!$(J
$@!!LdBj$J$s$G$7$g$&$M!%(J
$@!!;d$O!$(Jfj$@$K%]%9%H$7$?$b$N$O;d?.$K$OEv$?$i$J$$$H;W$&$N$G!$(J
$@!!$^$:!$%W%i%$%P%7!<$NJ]8n$d$=$l$KN`$9$kK!N'$K$ODq?($7$J$$$H(J
$@!!$*$b$$$^$9!%(J
$@!!$G!$Cx:n8"K!$G$9$,!$(J
$@!!$J$K$7$m!$$$$^$^$G$3!<$f!<LdBj$r$"$D$+$C$F$-$?$o$1$G$O$J$$$N$G!$(J
$@!!$=$l$K4X$7$FL@<($5$l$?9`L\$,$J$$!$!$(J
$@!!Cx:n<T?M3J8"$O$^$!!$EvA3G'$a$i$l$k$o$1$@$+$i!$;T@n$5$s$b!$<BL>$d(J
$@!!JQL>$G$N7G:\$rDs0F$7$F$$$?$o$1$@$h$M!%(J
$@!!$7$+$7!$8xI=8"$K4X$7$F$O!$$^$@8xI=$5$l$F$$$J$$Cx:nJ*$H$"$j!$(J
$@!!4{$K8xI=$5$l$F$$$k$H$b9M$($i$l$k(Jfj$@$N>l9g$I$&$J$k$+$O$o$+$i$J$$$7!$(J
$@!!F10l@-$K4X$7$F$OFs<!E*Cx:nJ*$H$9$l$P!$2sHr$G$-$=$&$G$9$7$M!%(J

>$@$k!#$^$7$F$d!X2M6u$N?MJ*$,8@$C$?$3$H$K$7$F!Y$J$I$H$$$&$N$O!"5v2D$J$7(J
>$@$K$d$C$F$O$$$1$J$$!#!X:>>N!Y$G$9$+$i!#(J

  $@$(!$3^$5$s$NL>A0$rK\$K=q$/$N$J$i$H$b$+$/!$!$(J

>$@;T@n@h@8$O!"3^$5$s$N5-;v$r!X;H$o$;$F$b$i$&!YN)>l$J$s$G$9$+$i!"(J
>$@!X3^$5$s$,!V$&$s!W$H8@$o$J$$8B$j!Y3^$5$s$N5-;v$r!X$I$N$h$&$K2C9)$9$k(J
>$@$3$H$b!"0zMQ$9$k$3$H$b!Y5v$5$l$J$$$N$OEvA3$G$7$g$&$M!#!X1DMxL\E*!Y$G(J
>$@$N0zMQ$J$N$G$9$+$i!#(J

$@!!$3$l$C$F!$#2EY$[$I3^$5$s$O!V$&$s!W$H8@$C$F$k$_$?$$$@$+$i!$(J
$@!!$=$&$H$b8@$$$-$l$J$$$N$G$O!)(J
$@!!$=$N>l9g!$(J
$@!!Cx:n8"K!Bh#6#5>r#39`$N!$6&M-Cx:n8"$N9T;H$K4X$9$k>r9`$N(J
$@!!(J
$@!!#3!!A0Fs9`$N>l9g$K1w$F!$3F6&M-<T$O!$@5Ev$JM}M3$,$J$$8B$j!$Bh0l9`$N(J
$@!!!!!!9g0U$r5q$_!$Kt$OA09`$N9g0U$N@.N)$rK8$2$k$3$H$,$G$-$J$$!%(J

$@!!$r!$$I$&8@$$F($l$k$+$,%-!<%]%$%s%H$K$J$j$=$&$G$9$M!%(J

$@!!$G$O$G$O(J

-- 
                                                   $@9u4d(J  $@2mI'(J
                                                   kuroiwa@ksp.kubota.co.jp
                                                   NIFTY:PFB02600

$@<BL>$N3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <943@kbtksp1.tt.kubota.co.jp> kuroiwa@kubotaj.tt.kubota.co.jp (Masahiko Kuroiwa) writes:

 |$@!!$3$l$C$F!$#2EY$[$I3^$5$s$O!V$&$s!W$H8@$C$F$k$_$?$$$@$+$i!$(J
 |$@!!$=$&(J$@$H$b8@$$$-$l$J$$$N$G$O!)(J
 |$@!!$=$N>l9g!$(J
 |$@!!Cx:n8"K!Bh#6#5>r#39`$N!$6&M-Cx:n8"$N9T;H$K4X$9$k>r9`$N(J
 |$@!!(J
 |$@!!#3!!A0Fs9`$N>l9g$K1w$F!$3F6&M-<T$O!$@5Ev$JM}M3$,$J$$8B$j!$Bh0l9`$N(J
 |$@!!!!!!9g0U$r5q$_!$Kt$OA09`(J$@$N9g0U$N@.N)$rK8$2$k$3$H$,$G$-$J$$!%(J
 |
 |$@!!$r!$$I$&8@$$F($l$k$+$,%-!<%]%$%s%H$K$J$j$=$&$G$9$M!%(J
 |

$@$=$&$J$s$G$9$h$M!#$@$+$i!"$=$3$N$H$3$N:n@o$rCN$i$l$?$/$J$$$s$G$9$h!#(J
$@$@$+$i!";T@n@h@8$,!"!V3^$,<+J,$N(J$@=q$$$?ItJ,$N=PHG$r5q@d$7$F$$$k$3$H$O!"(J
$@2?$K$7$m!";T@n%;%s%;$NJT=8BVEY$,0-$+$C$?$;$$$G$"$k!W$J$s$FG'$a(J$@$F$/$l$l(J
$@$P!"OC$79g$$$,$G$-$k$s$G$9$1$I$M!#(J

$@$G$b!"$=$l$O$5$9$,$K?^!9$72a$.$^$9$M!#(J