🚀 go-pugleaf

$BEDB<!w?@8MBg3X$G$9!%(B

$BGXM}K!$NNc$K$D$$$F$G$9!%3{$5$s$N5-;v$,(Bexpire$B$5$l$F$7$^$C$?$?$a!$0zMQ$G(B
$B$-$^$;$s$,8fMF<O$/$@$5$$!%(B

$BGXM}K!$NNc$H$7$F$O!$652J=q$KNI$/$G$F$/$k(B
	$B!VL5M}?t$NL5M}?t>h$GM-M}?t$K$J$k$b$N$,B8:_$9$k!W(B
$B$O$$$+$,$G$7$g$&$+(B? R(x) $B$G!V(Bx$B$OM-M}?t$G$"$k!W$rI=$9$H!$>ZL@$9$Y$-L?Bj(B
$B$O(B
	$B"P(Bx$B"P(By($B"L(BR(x)$B"J"L(BR(y)$B"J(BR(x^y))
$B$H$J$j$^$9!%0J2<$3$NL?Bj$r(B P $B$GI=$7$^$9!%GXM}K!$r;H$C$F>ZL@$7$F8+$k$H!$(B

(1) $B$^$:>ZL@$9$Y$-L?Bj(B P $B$NH]Dj!$"L(BP $B$r2>Dj$7$^$9!%(B
(2) $B$5$i$K(B R($B"e(B2 ^ $B"e(B2) $B$H2>Dj$7$^$9!%(B
(3) $B"L(BR($B"e(B2)$B$H2>Dj(B(2)$B$+$i!$"L(BR($B"e(B2)$B"J"L(BR($B"e(B2)$B"J(BR($B"e(B2 ^ $B"e(B2) $B$,F3$+$l(B
    $B$^$9$,!$$3$l$O2>Dj(B(1)$B$HL7=b$7$^$9!%(B
(4) $B$7$?$,$C$F9NDjE*GXM}K!$h$j!$2>Dj(B(2)$B$NH]Dj(B $B"L(BR($B"e(B2 ^ $B"e(B2) $B$,F3$+$l(B
    $B$^$9!%(B
(5) $B$^$?(B ($B"e(B2 ^ $B"e(B2) ^ $B"e(B2 = $B"e(B2 ^ 2 = 2 $B$J$N$G!$(BR(($B"e(B2 ^ $B"e(B2) ^ $B"e(B2)
    $B$OL@$i$+$G$9!%(B
(6) $B"L(BR($B"e(B2)$B$H(B(4)$B$H(B(5)$B$+$i!$(B
    $B"L(BR($B"e(B2)$B"J"L(BR($B"e(B2 ^ $B"e(B2)$B"J(BR(($B"e(B2 ^ $B"e(B2) ^ $B"e(B2) $B$,F3$+$l$^$9$,!$(B
    $B$3$l$O2>Dj(B(1)$B$HL7=b$7$^$9!%(B
(7) $B$7$?$,$C$FH]DjE*GXM}K!$h$j!$(BP $B$,>ZL@$5$l$^$9!%(B

$B=q$$$F8+$^$7$?$,!$Fq$7$$$G$9$M!%GSCfN'$r;H$C$?0J2<$N$h$&$J>ZL@$N$[$&$,(B
$B$o$+$j$d$9$$$H$$$&0UL#$G$O!$$3$l$bNI$$Nc$K$J$C$F$$$J$$$N$+$b$7$l$^$;$s!%(B

(1) $BGSCfN'$h$j(B R($B"e(B2 ^ $B"e(B2)$B"K"L(BR($B"e(B2 ^ $B"e(B2) $B$G$9!%(B
(2) $B$^$:(B R($B"e(B2 ^ $B"e(B2) $B$H2>Dj$9$k$H!$(B
(3) $B"L(BR($B"e(B2)$B$H2>Dj(B(2)$B$+$i!$"L(BR($B"e(B2)$B"J"L(BR($B"e(B2)$B"J(BR($B"e(B2 ^ $B"e(B2) $B$,F3$+$l!$(B
    P $B$,F3$+$l$^$9!%(B
(4) $B<!$K(B $B"L(BR($B"e(B2 ^ $B"e(B2) $B$H2>Dj$9$k$H!$(B
(5) $B"L(BR($B"e(B2)$B$H2>Dj(B(4)$B$H(BR(($B"e(B2 ^ $B"e(B2) ^ $B"e(B2)$B$+$i!$(B
    $B"L(BR($B"e(B2)$B"J"L(BR($B"e(B2 ^ $B"e(B2)$B"J(BR(($B"e(B2 ^ $B"e(B2) ^ $B"e(B2) $B$,F3$+$l!$$d$O$j(B
    P $B$,F3$+$l$^$9!%(B
(6) R($B"e(B2 ^ $B"e(B2) $B$H2>Dj$7$F$b"L(BR($B"e(B2 ^ $B"e(B2) $B$H2>Dj$7$F$b(B P $B$,F3$+$l$?(B
    $B$N$G(B P $B$,>ZL@$5$l$^$9!%(B

$B$D$$$G$K!$(Bfj.sci.math$BFI<T$N$?$a$NN}=,LdBj(B(?)

(a) LK $B$G(B $B"L(BR($B"e(B2), R(($B"e(B2 ^ $B"e(B2) ^ $B"e(B2) --> P $B$r>ZL@$;$h!%(B
(b) LJ $B$G(B $B"L(BR($B"e(B2), R(($B"e(B2 ^ $B"e(B2) ^ $B"e(B2) --> $B"L"L(BP $B$r>ZL@$;$h!%(B
--
$BEDB<D>G7(B (tamura@kobe-u.ac.jp)  $B?@8MBg3X9)3XIt>pJsCNG=9)3X2J(B
$B")(B657 $B?@8M;TFg6hO;9CBfD.(B1-1 Tel: 078-803-1188  Fax: 078-803-1219