🚀 go-pugleaf

$@CfEg$5$s$O!"(J
$@!VF1CM$OF10l@-$r85$KDj5A$5$l$k35G0$G$"$k!W(J
$@$H8@L@$5$l$F$$$^$9$,!"$3$l$O!"K\Ev$G$7$g$&$+!#(J

$@Nc$($P!"!V$o$?$7$,$3$N$^$7$/;W$&?M!W$H$$$&@-<A(JF$@$H$7$F!"(J

a:$@$3$N4V$N8&5f2q$G<ALd$7$F$$$?GX$N9b$$?M(J
b:fj.ai$@$K(J Nakashima$@$H$$$&=pL>$GEj9F$7$F$$$k?M(J

$@$KBP$7$F!"(J
$@!V(Ja$@$5$s$O$3$N$^$7$$!W!"$9$J$o$A!"(JF(a) $@$G$"$j!"(J
$@!V(Jb$@$5$s$O$3$N$^$7$/$J$$!W!"$9$J$o$A!"(Jnot F(b) $@$G$"$k(J
$@$H$$$&$H$-$r9M$($k!#(J
$@$3$N$H$-!";v<B$H$7$F!"(Ja=b$@$G$"$k$H$$$&$3$H$b$"$j$&$k$o$1$G!"(J
$@$=$N$H$-$O!"(J

	 a = b $@"J!!(JF(a) =\= F(b)

$@$H$J$k!#(J$@$G!"(J

  (1) $@F10lJ*BeF~2DG=86M}$O!"(Jmental$@$J@-<A$K$OE,MQ$5$l$J$$!#(J
$@$^$?$O(J
  (2) mental$@$J@-<A$O!"(Jmental$@$J(Jentity$@$KBP$9$k$b$N$G!"<BJ*(J
      $@$H$O4X78$,$J$$!#(J

$@$H$$$&$3$H$K$J$j$^$9!#$H$3$m$,!"(JAI$@$J$I$G5DO@$9$k$H$-$K!"(J
a$@$d(Jb$@$d(Jm$@$d(Jn$@$J$I$N5-9f$rF3F~$7$F$$$k$N$O!"(Jmental$@$J(Jentity$@$r(J
$@F3F~$7$F$$$k$H8+$k$Y$->l9g$,$[$H$s$I$G!"$=$N$H$-$N!"(J

	a = b $@$H$+(J m = n $@$H$+(J

$@$$$&8@L@$O!"$=$l$N<BBN$H$7$F$NF10l@-$N8@L@$KMxMQ$5$l$F$$$k$3$H$,(J
$@B?$$$h$&$K;W$$$^$9!#(J
$@$=$&$9$k$H!"(J(2)$@$NN)>l$O$H$j$K$/$$$N$G!"(J(1)$@$H$$$&$3$H!"$9$J$o$A!"(J

	(*) $@F10lJ*BeF~2DG=86M}$O(JAI$@$G$O6/$9$.$k(J

$@$H$$$&$3$H$K$J$k$N$G$O$J$$$G$7$g$&$+!#(J

					$@NkLZ9@G7(J