🚀 go-pugleaf

$@$_$J$_$G$9!#(J

>>$@!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!"Ey9f$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!#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$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

$@!t!V$3$l$@$1$G$9!W$r8+$F!"$O$C$H5$$,$D$$$?$N$G$9$,!"(Jdomain$@$KMWAG$,$R$H$D(J
$@!t$7$+$J$$$3$H$rA0Ds$H=PMh$l$P!"$b$7N>J}6u$G$J$1$l$PF10l$G$9$M!#(J
$@!t$+$M$3$5$s$NHsF10l$NDj5A$ONN0h9J$j9~$_$NIz@~$G$7$g$&$+!)(J

////
//// Etsuro Minami: Computer Science Department, Stanford University
//// MSCS: minami@cs.stanford.edu
////