🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

In article <1993Feb3.043301.6557@CSD-NewsHost.Stanford.EDU> minami@Xenon.Stanford.EDU (Etsuro Minami) writes:

 |>>$@!VBeF~K!B'!W$OBeF~$K4X$9$kK!B'$N0l$D$H$7$+$o$+$i$J$$$N$G$O!%(J
 |
 |>$@BeF~$K4X$9$k8xM}$O$3$l(J ($@8xM}%9%-!<%^$@$+$i!V$3$l$i!W$G$9$M(J) $@$@$1$G$9!#(J
 |>$@$H$$$&$h$&$J$3$H$O!"Ey(J$@9f$r;}$D0l3,=R8lO@M}$N(J ABC $@$s$G$9$1$I!"(JAI $@$N?M(J
 |>$@$N4V$G$O$3$&$$$&$3$H$O>o<1$K$O$J$C$F$$$J$$$h$&$G$9$M(J$@!#0U30$G$"$C$?!#(J
 |
 |$@Ey9f$H$O4X78$J$/0l3,=R8lO@M}$G$NBeF~!JJQ?t$NCV$-49$(!K$K4X$9$kDj5A$H(J
 |$@:.F1$7$F(J$@$7$^$&$N$G$O!"$H$$$&0UL#$G$O$J$$$+$H;W$$$^$9$,$I$&$G$7$g$&!#(J
 |$@K!B'$H8@$o$l$k$H(J axiom $@$H$$$&$h$j$O(J rule $@$N$3$H$r;X$7$F$$$k$H;W$($F(J
 |$@$7$^$$$^$9!#(J

logic $@$N@lLg2H$O!"Dj5A$N$3$H$rK!B'$H$O8F$P$J$$$H;W$$$^$9(J$@!#$b$7$+$7$FMQ(J
$@8l$NJQA+$,$"$C$?$+$bCN$l$^$;$s$,!">/$J$/$H$b!":G6a$NMQ8l$G$O$=$&$@$H;W(J
$@$$$^$9!#$^$?!"(Jrule $@$H$$$&8@MU$O!"IaDL!"?dO@5,B'$r;X$7$FMQ$$$i$l$^$9!#(J
$@Dj5A$N$h$&$J$b$N$O(J rule $@$H8F$P$J$$$h$&$G$9!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3(J$@<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)