🚀 go-pugleaf

$@;VB<!wF|Bg$G(J$@$9!#(J

$@$d$?$i@lLgE*$+$D!"$?$$$7$?FbMF$N<ALd$G$O$J$$$N$G$9$,!"$$$m(J
$@$$$m$J?M$KJ9$$$F$_$h$&$H;W$$$^$7$F!"(J$@!"!"!#(J


$@Ey9f$N$J$$8EE5O@M}$G$N(J Craig-Lyndon $@$NJd4VDjM}$O$D$.$N$h$&(J
$@$J<gD%$G$7$?!#(J( -> $@$O!V$J$i$P!W$N(J$@$D$b$j$G$9!#(J)

	A->B $@$,>ZL@$G$-$k$J$i$P!"(JA->C, C->B $@$,>ZL@$G$-$k$h(J
	$@$&$J(J C $@$G<!$N>r7o$rK~$?$9$b$N$,B8(J$@:_$9$k!#(J

	1) C $@$K4^$^$l$k=R8l5-9f!"4X?t5-9f!"8DBNJQ?t$O!"(JA,B
	$@$K6&DL$K4^$^$l$k!#(J

	2) $@2C$($F!"(JC $@$K9N(J$@DjE*$K8=$l$k=R8l5-9f$O!"(JA,B $@$K9N(J
	$@DjE*$K8=$l!"(J $@H]DjE*$K8=$l$k=R8l5-9f$O(JA,B $@$KH]DjE*(J
	$@$K8=$l$k!#(J

$@$=$3(J$@$G!"$3$l$r<!$N$h$&$K6/$a$k$3$H$r9M$($^$9!#(J

	3)   C $@$K9NDjE*$K8=$l$k=R8l5-9f!"4X?t5-9f!"$*$h$S(J
	$@8DBNJQ(J$@?t$O$I$l$b!"(JA,B $@$K9NDjE*$K8=$l!"(J $@H]DjE*$K8=(J
	$@$l$k=R8l5-9f!"4X?t5-9f!"8DBNJQ?t$O$I$l$b(JA,B $@$KH]Dj(J
	$@E*$K(J$@8=$l$k!#(J

$@$3$3$G$"$k5-9f$,O@M}<0$NCf$K9NDjE*$K8=$l$k$H$O!"$=$NO@M}<0(J
$@$r(J forall, or, not $@$G=q$$$?;~$K!"(J$@$=$N5-9f$N=P8=$G!"$=$N=P(J
$@8=$,(J scope $@$KF~$k$h$&$J(J not $@$N?t$,6v?t8D$G$"$k$h$&$J$b$N$,(J
$@B8:_$9$k$H$$$&$3$H(J$@$G$9!#$^$?!"H]DjE*$K8=$l$k$H$O!">e$NDj5A(J
$@$N6v?t8D$r4q?t8D$KCV$-49$($?$b$N$G$9!#(J

$@$=$3$G<ALd!#(J3) $@$O@5$7(J$@$$$G$7$g$&$+!#$b$7!"(J3) $@$N>ZL@$,:\$C$F(J
$@$$$k!"$b$7$/$O>ZL@$O=q$$$F$$$J$$$,(J 3) $@$O@5$7$$$H=q$$$F$"$k(J
$@J88%(J$@$r$4B8CN$G$7$?$i$*CN$i$;2<$5$$!#$^$?5U$K!"(J3) $@$NH?Nc$,(J
$@:\$C$F$$$k!"$b$7$/$O(J 3) $@$O@.$jN)$?$J$$$H=q$$$F$"(J$@$kJ88%$r$4(J
$@B8CN$G$7$?$i$*CN$i$;2<$5$$!#(J
$@$b$A$m$s<+2H@=$N>ZL@$dH?Nc$bBg4?7^$G$9!#!J$H$$$C$F$b>ZL@$O(J
$@D9(J$@$/$J$k$G$7$g$&$+$i$3$N$h$&$K$9$l$P$G$-$k$@$m$&$H$$$&J}?K(J
$@$@$1$G7k9=$G$9!#!K(J



--
$@F|K\Bg3XM}9)3XIt?t3X(J$@2J(J
	$@;VB<(J $@N)Lp(J
tel:03-3259-0943 e-mail:shimura@cst.nihon-u.ac.jp