🚀 go-pugleaf

$@<c>>$G$9!#EvA3$N<ALd$G$9$M!#(J

In article <KUMON.96Jul6114845@asami.flab.fujitsu.co.jp>
 kumon@proc.flab.fujitsu.co.jp (Kouichi Kumon) writes:
 >$@<j85$NK\$K$O!"IUCM$H$O(J
 >1) |r| >= 0
 >2) |rs| = |r||s|
 >3) |r+s| <= |r|+|s|
 >$@$rK~$?$9<B?tCM4X?t$G$"$k$H=q$+$l$F$$$^$9!#!J(J$@Nc$($P@dBPCM4X?t!K(J
 >
 >Q1)$@>e$N<c>>$5$s$N@bL@$N!J2CK!!KIUCM$O!"$3$NDj5A$rK~$?$7$F$$$J$$$N$G$9(J
 >$@$,!"!J(J$@2CK!!KIUCM$H$O$I$N$h$&$J@-<A$r;}$D$b$N$J$N$G$9$+!)(J

$@>e$NDj5A$O!V>hK!IUCM!W$G$9!#(Jultra-metric $@$J>hK!IU(J$@CM$NBP?t$r(J
$@<h$k$H!V2CK!IUCM!W$,=P$F$-$^$9!#!JDj5A$O@53N$K$OK:$l$?$N$G=q$+$J$$!K(J
$@!J(Jultra-metric $@$H$O>e(J$@$N(J 3) $@$r(J |r+s|<= max{|r|,|s|}$@$H87$7$/$7$?$b$N!K(J

$@!VIUCM!W!J8E$$K\$@$H!VImCM!W!K$H$$$&$H$I$A$i$r$5$9$+(J$@$O(J
$@?M$K$h$C$F0c$&$h$&$G$9!#!J;d$K$O>hK!IUCM$,<+A3!K(J
$@$^$?>hK!IUCM$O!V%N%k%`!W$H8F$V$3$H$b$"$C$F!V5wN%!W(J$@$r<+A3$KDj$a$^$9$+$i(J
$@$=$l$G!V@0?t4D!W$r40Hw2=$9$k$H(J p$@?J?t$,=P$F$/$k$H$$$&!D(J

 >Q2)$@B?J,C1=c$J%_%9$@$H$O(J$@;W$&$N$G$9$,!"!VJ,Jl$r3d$k2s?t!W$O!VJ,;R$r3d$k(J
 >$@2s?t!W$H<h$i$J$$$H>e$N@bL@$NDTjm$,9g$o$J$$$N$G$9$,!"(J$@$=$l$GNI$$$N$G$7$g(J
 >$@$&$+!)(J

$@$"$"!"CQ$:$+$7$$!#$=$NDL$j$G$9!#(J
--
$@2f!"Fr$N:2$r5?;w$J$k$b$N$KJ{$2$s!#(J