🚀 go-pugleaf

In article <SUSAN.93Jan29133136@sysslc.sys.titech.ac.jp> susan@sys.titech.ac.jp (Suzuki Hiroaki) writes:
>$B%T%e%"$H$$$&8@MU$,NI$/$J$+$C$?$s$G$7$g$&$,!"BP>]$NFCD'$r5R4QE*$KB8:_$9(B
>$B$k$b$N$H$7$F!"$=$l$i$rB-$7;;$7$?$j!"$+$1;;$7$?$j$9$k$N$O$@$a$G$9$h!"$H(B
>$B8@$$$?$+$C$?$N$G$9!#(B

$BBP>]$N@-<A$,5R4QE*$G$J$$$H$$$&$N$O!"$o$+$j$K$/$$9M$(J}$G$9$M!#(B
$B$H$/$K!"=-$$$J$I$H$$$&$N$O!"E57?E*$G$9!#=-$&$N$O!"Ie$C$?Fy$G(B
$B$"$j!"$o$l$o$l$NI!$G$O$"$j$^$;$s$+$i!#(B

>
>$B$G!";d$O!"!V$"$k%+%F%4%j!<(B(natural$B$G$b(Bartificial kind$B$G$b(B
>goal-derived category$B$G$b$$$$$s$G$9$,(B)$B$,LdBj$K$J$C$F$*$j!"$"$k(B2$B$D$N$b(B
>$B$N$,$=$N%+%F%4%j!<$N%a%s%P$G$"$k$H$-$K$O!"F10l$G$"$k!W$H$$$&$b$N$G$9!#(B
>$B$D$^$j!"(Bcategory membership $B$K4p$E$$$FF10l@-$r9M$($h$&$H$$$&$3$H$G$9!#(B

$BF|K\8l$X$NJQ99$rDs0F$5$l$F$$$k$J$i$P!"$=$l$O$=$l$G$+$^$$$^$;(B
$B$s$,!"IaDL$O!"!V$"$k%+%F%4%j!<(B(natural$B$G$b(Bartificial kind$B$G(B
$B$b(Bgoal-derived category$B$G$b$$$$$s$G$9$,(B)$B$,LdBj$K$J$C$F$*$j!"(B
$B$"$k(B2$B$D$N$b$N$,$=$N%+%F%4%j!<$N%a%s%P$G$"$k$H$-$K$O!W!"(B2$B$D$N(B
$B0[$J$k$b$N$,F1<o$G$"$k$H8@$&$N$G$O$"$j$^$;$s$+!#!V(B2$B$D$N$b$N(B
$B$,F1$8<oN`$G$"$k!W$H$$$&$3$H$H!V(B2$B$D$N$b$N$,F10l$G$"$k!W$H$$(B
$B$&$N$O!"A0<T$O??$G$"$jF@$k$,!"8e<T$O56$G$7$+$"$jF@$J$$!"$D$^(B
$B$j!"L7=b$7$F$$$k$H$$$&0c$$$,$"$j$^$9!#(Ba=b$B$G$"$k$H$-$O!"(B"a"$B$H(B
$B$b(B"b"$B$H$NL>$E$1$i$l$F$$$k$b$N$O(B1$B$D$N$b$N$G$"$j!"(B2$B$D$N$b$N$G$O(B
$B$"$j$^$;$s!#F10l$H$$$&$N$O!"!V(B1$B$D$@!W$H$$$&$3$H$G$"$j!"!V(B2$B$D(B
$B$@!W$H$$$&$H$-$O!"!VF10l$@!W$H$O8@$$$^$;$s!#(B

$BEZ20(B
($B@iMUBg3X(B)