🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J
$@CY$$%U%)%m!<$G0-$$$N$G$9$,!D!#(J

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

 | |  $@;d$b<+L@$@$H;W$$$^$9!#K\$N#4(J$@#3$+$i#4#5%Z!<%8$rFI$`$H!"#Q$+$i:n$C$?(J
 | |$@#Q!0(J\check$@$O<+A3$J$b$N$G$9$+$i!#(J
 |
 |$@$=$&$J$s$G$9$1$I$M!#(J
 |$@$=$N#4#3$+$i#4#5%Z!<%8$N8e$N!"#5#2%Z!<%8$G=g=xBP$rDj5A$7$F$$$k$h$&$K=q(J
 |$@$$$F$$$^$9$M!#(J
 |$@$=$l$G!"(J$@!V2?$d$=$l!)!W$H;W$C$F$7$^$C$?$s$G$9$h!#(J
 |
 |$@$G$b!"<B:]$O#4#0%Z!<%8$G=g=xBP$N8xM}$,@.$jN)$D$3$H$,$9$G(J$@$K<($5$l$F$$$k(J
 |$@$s$G$9$h!#%^%C%?%/!#(J
 |
 |$@!t>/$7$O=gHV$r9M$($m!"$C$F$s$@!#(J

40$@%Z!<%8$GB8:_$,<($5$l$F(J$@$$$k$N$O!"=g=xBP$G$O$J$/!"=g=x$N$J$$(J
$@BP(J {a,b} $@$G$9!#$=$7$F!"$=$l$rMQ$$$F(J52$@%Z!<%8$G=g=xBP$rDj5A$7(J
$@$F$$(J$@$k$o$1$G$9!#$H$$$&$o$1$G!"(J40$@%Z!<%8$G!V=g=xBP$N8xM}!W$H=q(J
$@$$$F$$$k$N$O!"K\Ev$O$^$:$$$G$9!#(JAxiom of pairing $@$NF|K\8lLu(J
$@$O!VBP$N8xM}!W$H$7$?$[$&$,$h$$$G$7$g$&!#4dGH?t3X<-E5$G$O$=$&(J
$@$J$C$F$$$^$7$?!#(J
--
			$@N6(J$@C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)