🚀 go-pugleaf

  $@0f>e!wBg:eI\N)9b@l$G$9!#;D$j$NLdBj$b2r$$$F$_$^$7$?!#(J

>$@0lJ}$,(J 3 $@%2!<%`>!1[$7$?$H$-M%>!<T$,7h$^$k$H$$$&%k!<%k$G!"(J A,B $@$N(J2$@?M(J
>$@$,6%5;$r9T$J$C$?!#$A$g$&$I(J 9 $@%2!<%`L\$G(J A $@$,(J 6$@>!(J3$@GT$H$J$j!"(J 
>3 $@%2!<%`>!1[$7$FM%>!$7$?!#(J
>$@$3$N$H$-9M$($i$l$k(J 9 $@%2!<%`$N>!GT%Q%?!<%s$O2?DL$j$"$k$+!#(J

  (x,y)$@$G>!GT$rI=$9$H!"(J(x,y)=(6,3)$@$G=*N;$7$?$3$H$K$J$k!#$D$^$j!"86E@$+(J
$@$i(J|x-y|<3$@$rJ]$A$D$D=D2#$K0l6h2h$:$D?J$s$G$$$1$P$$$$$N$G!"?^$K$9$k$H!"(J
(0,0)$@$+$i(J(4,3)$@$^$G$r!"(J(0,3),(3,0),(4,1)$@$rDL$i$:$K$$$1$P$$$$$3$H$K$J$k!#(J
$@$G!">c32$,$J$$;~!"(Jn$@!_(Jm$@6h2h?J$`$K$O!"(J(n,m)$@DL$j$N?J$_J}$,$"$k$N$G!"(J
(4,3)-(0,3)*(4,0)-{(3,0)*(1,3)+(4,1)*(0,2)-(3,0)*(1,1)*(0,2)}=27
           ^            ^           ^              ^
           |            |           |              |
      (0,3)$@$rDL$k(J  (3,0)$@$rDL$k(J (4,1)$@$rDL$k(J (3,0)$@$H(J(4,1)$@$rDL$k(J
$@$G$9!#(J

>$@:BI86u4V$K$*$$$F!"(J
>$@6u4V?^7A(J$A$$@$r(J\par
>\hskip7mm$\displaystyle{A = \{\;(x,y,z) \; | \; 2xy \geqq z^2,
>\ x + y \leqq 1,\ x \geqq 0,\ y \geqq 0\;\}}$\par
>\noindent $@$K$h$jDj$a$k!#(J
>$@$^$?!"(J
>$@6u4V?^7A(J$B$$@$r(J \par
>\hskip7mm$\displaystyle{
>  B = \{\;(u,v,w) \; | \; A \mbox{ $@$N$9$Y$F$NE@(J } (x,y,z)
>\mbox{ $@$KBP$7$F!"(J } 0 \leqq ux + vy + wz \leqq 1\;\}}$\par
>\noindent $@$K$h$jDj$a$k!#(J
>$@$3$N$H$-!"(J
>$@6u4V?^7A(J$B$$@$NBN@Q$r5a$a$h!#(J}\par\relax

  A$@$b(JB$@$b(JCONVEX$@$G$"$k$3$H$KCm0U$9$k!#$H$/$K!"(Jp$@$r(JA$@!"(JB$@$NE@$H$9$k$H!"(Jkp 
(0<k<1)$@$b(JA,B$@$NE@!#$^$?!"$H$b$K8BDj>r7o$G$"$k(Jx+y<=1,ux+vy+wz<=1$@$,$J$1$l(J
$@$P!"86E@$rDL$kH>D>@~$N=8$^$j$@$H$o$+$k$N$G!"7k6I!"(JA$@$O!"(JA$@$+$D!P(JX$@!\(JY$@!a#1!Q(J
$@$rDlLL$H$9$k?bBN$G$"$k!#DlLL$O(Jx,y$@$r#4#5EY2sE>$7$F<0JQ7A$9$k$H1_$@$H$o$+(J
$@$k!#H>7B$O(J2^{-1/2}$@!#Cf?4$N1tD>>eJ}(J2^{-1/2}$@$K86E@$,$"$k!#(J
  $@$G!"(JA$@$,2sE>BN$G$"$k$?$a!"(JB$@$b$=$&$J$k!#DlLL$NCf?4$H86E@$rDL$kJ?LL$G@Z$C(J
$@$?@Z8}$O!">e5-$NDL$j(Jconvex$@$J$3$H$H!"(JA$@$,1_?m$G$"$k$3$H$+$i!"$A$g$C$HLLE](J
$@$J7W;;$r$7$F!JB?J,B>$K$$$$J}K!$"$j!K!"@5J}7A$H$o$+$k!#BN@Q$O(JA$@$N#2G\!#(J
$@&P(J/(3*2^(1/2))

>$S = \{1, 11, 31, 51, 71\}$ $@$H$7$F!"(J$\{a_n\}$ $@$O<!$N(J 
>$@>r7o(J (1),(2),(3) $@$r$_$?$9?tNs$H$9$k!#(J
>%{\parindent=20mm
>\begin{description}
>   \item[] (1) $a_1 \in { S}$
>   \item[] (2) $\displaystyle{\frac{{a_{n+1} -1}}{a_n +1} \in { S}}$
>   \item[] (3) 10 $@0J2<$N$"$k@5@0?t(J $n$ $@$KBP$7$F(J $a_n = 1993$
>\end{description}
>
>$@$3$N$h$&$J$9$Y$F$N?tNs(J $\{a_n\}$ $@$K$D$$$F!"(J $a_4$ $@$NCM$rNs5s$;$h!#(J

  S$@$N85$O$9$Y$F(J1 mod 20 $@$@$+$i!"(Ja(n+1)-1=a(n)+1 mod 20 $@$G!"(Ja(n)=2n-1 mod 20
$@$H$o$+$k!#$H$J$k$H!"(J a(10)$@0J2<$G(J 1993=13=2*7-1 mod 20 $@$@$+$i!"(Ja(7)=1993$@!#(J
$@$G!"(Ja(7)-1=1992$@$r3d$k(JS$@$N85$O#1$N$_$J$N$G!"(Ja(6)=1991$@!#=g$K5a$a$k$H!"(Ja(5)-1
$@$,#1$+#7#1$G3d$l!"(Ja(4)=1987 or 27$@$@$,!"$5$i$K(Ja(3),a(2),a(1)=1$@$H7W;;$7$F(J
a(1)=1$@$H$J$k$N$O!"(Ja(4)=27$@$N$_!#(J

>$\displaystyle{\frac{1}{1 + \sqrt[5]{64} - \sqrt[5]{4}}}$ 
>$@$rM-M}2=$7$?$H$-$NJ,Jl$N:G>.CM$r5a$a$h!#(J
>\\[2mm]
>$@$3$3$GM-M}2=$H$O!"(J
>$@J,Jl$r@5$N@0?t$G!"(J
>$@J,;R$r@0?t$H@0?t$NN_>h:,$$$/$D$+$NOB!":9$*$h$S@Q$GI=$9$3$H$G(J
>$@$"$k!#(J

  Q($@&A(J)  $@!J&A$O#2$N#5>h:,!K$N@0?t4D$NLdBj$G$"$k!#$=$l$O(JQ($@&A(J)$@$,BN$G$"$k$3(J
$@$H$+$i$o$+$k!#$G!"J,;R$,!"(Ja0+a1$@&A(J+a2$@&A(J^2+a3$@&A(J^3+a4$@&A(J^4$@$G$"$k$H$9$k$H!"!"!"(J
$@7k6I!"(Ja0=25k,a1=8k,a2=9k,a3=-10k,a4=29k$@$H$o$+$k!#!J0l<!J}Dx<0$r2r$/!K(J
$@$G!"$=$N$H$-!"(J1+2$@&A(J-$@&A(J^2$@$H$N@Q$,!"(J159k$@$H$J$k$N$G!":G>.CM$O!"(J159$@!#35G0E*(J
$@$K$O!">e5-$N5U85$r5a$a$k$3$H$K5"Ce$7$F$$$k$3$H$K$J$k!#(J

>$@<!$N?^7A$r0lI.=q$-$G=q$/$H$-!"=q$-J}$O(J
>$@2?DL$j$"$k$+!#(J{
>\setlength{\unitlength}{1mm}
>\begin{center}
>\begin{picture}(120,30)
>  \put(15,25){\line(1,0){90}}
>  \put(105,25){\line(-3,-5){15}}
>  \put(90,0){\line(-1,0){90}}
>  \put(0,0){\line(3,5){15}}
>  \put(15,25){\line(3,-5){15}}
>  \put(30,0){\line(3,5){15}}
>  \put(45,25){\line(3,-5){15}}
>  \put(60,0){\line(3,5){15}}
>  \put(75,25){\line(3,-5){15}}
>\end{picture}
>\end{center}}

      $@;OE@(J            $@E@(JA      $@E@(JB
       -------------------------
      /\      /\      /\      /
     /  \    /  \    /  \    /
    /    \  /    \  /    \  /
   /      \/      \/      \/
  -------------------------
                 $@E@(JC     $@=*E@(JE$@!J;OE@$H$b$J$k!K(J

  $@$G$9$,!"$3$3$G!";03Q7A(Jn$@8D$G=PMh$?F1MM$J?^7A$N0lI.=q$-$NAm?t$r(Ja(n)$@$H(J
$@$9$k$H!">e5-$N=*E@$K!"(J
$@!J#1!K(JA->B->E$@!'(Ja(n-1)$@DL$j(J
$@!J#2!K(JA->E   $@!'(Ja(n-1)$@DL$j(J
$@!J#3!K(JC->E   $@!'E@(JA$@$+$i(JA->B->E->A$@$"$k$$$O$=$N5U=g$r64$_9~$`$H9M$($F!"(J
               2a(n-2)$@DL$j(J
$@$G!"(Ja(n)=2{a(n-1)+a(n-2)}, (a(0)=1,a(1)=2)$@$H$J$k!#$3$l$O$9$0$K2r$1!"(J
x^2-2x-2=0$@$N#22r$r&A!"&B$H$9$k$H!"(Ja(n)=($@&A(J^(n+1)-$@&B(J^(n+1))/(2*3^(1/2))$@!#(J
$@7k6I!"(Ja(6)=328$@$G!";OE@=*E@5U$K$7$?$b$N$b9M$($k$H!"(J656$@DL$j!#(J

>4$@$D$NAj0[$J$k(J3$@7e$N@5@0?t$,$"$j!"I4$N0L$O$9$Y$FEy$7$$!#(J
>$@$3$N$&$A(J3$@$D$N?t$O!"(J4$@?t$NOB$NLs?t$K$J$C$F$$$k!#(J
>$@$3$N$h$&$J(J4$@$D$N?t$NAH$r$9$Y$F5a$a$h!#(J

  $@#4?t$r(Jn1,n2,n3,n4$@$H$9$k!#>r7o$+$i!"(Jk1n1=k2n2=k3n3=n1+n2+n3+n4$@$H$J$k(J
$@0[$J$k@0?t(Jk1,k2,k3$@$,$"$j!"$"$kI4$NG\?t(J100a$@$,$"$C$F!"(J(0<a<10)
100a<=ni<100(a+1) for each i$@$H$J$k!#>e5-$N#4?t$NOB$r(Js$@$H$9$k$H!"(Jki=s/ni
$@$G!"(J400a<s<400(a+1)$@$+$i!"(J4a/(a+1)<ki<4(a+1)/a$@!"$D$^$j!"(J4-4/(a+1)<ki<4+4/a
$@$G!"$3$N6h4V$K@0?t$,#38D0J>e$J$/$F$O$J$i$J$$$+$i!"(Ja=1,2$@$H$3$m$,!"(Ja=2
$@$N;~$O!"(Jki=3,4,5$@$G$J$/$F$O$J$i$J$$$,!"(J3n1<900<1000<=5n3$@$G$@$a!#(Ja=1$@$J$i!"(J
2<ki<8$@$G!"(Jki=3,4,5$@$+(J4,5,6$@$+(J4,5,7$@$+(J5,6,7$@$+$G$"$k!#!J(Jk1=3$@$J$i!"(J3n1<600<=6n3
$@$J$N$G!"$3$l$@$1!K$G!"$7$i$_$D$V$7$KD4$Y$k$H!"(J3n1=4n2=5n3=s$@$h$j!"(Js=60k
$@$G!"(Jn1=20k,n2=15k,n3=12k,n4=13k$@$H$J$k!#(J20k<200,12k>=100$@$h$j!"(Jk=9$@!#$3$N(J
$@;~!"(Jn1=180,n2=135,n3=108,n4=117$@!"$H$$$&2r0J30$J$$$3$H$,$o$+$k!#(J




  $@:G=i$N#6Ld$K#2;~4V$+$+$j$^$7$?!"$@$$$?$$!#8e$N#6Ld$K#4;~4V$G$9!#<B:](J
$@$KLdBj$K<h$jAH$s$@$J$i!"$3$s$J$$$$2C8:$J2rEz$G$J$/!"$-$C$A$j$7$?2rEz$r(J
$@5a$a$i$l$k$G$7$g$&$+$i!"$b$C$H$+$+$C$?$H;W$$$^$9$,!"$?$V$sF,$N2sE>$NAa(J
$@$$J}$J$i!"#3;~4V$G2r$1$J$$$3$H$O$J$$$H;W$$$^$9!#(J
  $@$d$O$jLdBj$,F~;nLdBjIw$J5$$,$7$^$7$?!#$H$b$&$7$^$9$+!"$*$=$i$/$3$s$J(J
$@LdBj$r:n$C$?$i!V$5$9$,!W$H$+$$$o$l$k$s$8$c$J$$$+$J$"$H46$8$^$7$?!#(J

>$@:#2s$N=PBj<T$O;d0J30$O$9$Y$F$I$3$+$NBg3X$G?t3X$N8&5f!&650i$K4X78$7$F$$(J
>$@$k?M$G$9!J=>$C$F;d$r4^$a$F$9$Y$F?&6H?t3X<T!K!#$=$N$h$&$J?M$O=jB0Bg3X$N(J
>$@F~;nLdBj:n@.$K4XM?$7$F$$$k$+$bCN$l$^$;$s$+$i!"$=$&$$$&0UL#$G$O3N$+$K(J
>$@!V<u83LdBj$N%W%m!W$H8@$($J$$$3$H$b$"$j$^$;$s$,!">/$J$/$H$b2f!9$ODL>o(J
>$@!V<u83?t3X!W$H8@$o$l$k$h$&$J$b$N$H$O0c$C$?0U5A$r$3$N?t3X%*%j%s%T%C%/$K(J
>$@8+$$=P$=$&$HEXNO$7$F$$$k$3$H$OM}2r$7$FD:$-$?$$$H;W$$$^$9!#(J

  $@$o$+$j$^$7$?!#$$$(!"$=$&$@$H;W$C$F$$$^$9!#:G=i$K$3$N?t3X%*%j%s%T%C%/(J
$@$N$3$H$rCN$C$?$N$O$$$D$@$C$?$+$b$&K:$l$^$7$?$,!"$=$N;~$+$i$H$F$b0U5A$"(J
$@$k$3$H$@$H;W$C$F$$$^$9!#(J

>$@$?$@!"2f!9$O<u83<T$N5$;}$A$r9M$($F2r$-0W$$LdBj$+$i=g$KJB$Y$k$h$&$KG[N8(J
>$@$O$7$F$$$F!"<u83LdBj=8$N$h$&$J$b$N$GH`$i$,7P83$7$?$H;W$o$l$k$h$&$JLdBj(J
>$@$OB?J,2r$-0W$$$G$"$m$&!"$H8@$&H=CG$O$7$F$$$^$9!#(J

  $@$"$"!"$=$&$G$7$?$+!#$=$l$GG<F@$$$?$7$^$7$?!#(J

>$@$G$9$+$i!"$3$N(J fj.sci.math $@$rFI$s$G$$$i$C$7$c$kJ}$G?t3X$NOS$K3P$($N$"(J
>$@$kJ}$O@'Hs(J 12 $@HV$+$i5U=g$K%H%i%$$7$FD:$-$?$$$H;W$$$^$9!#(J

  $@;d$b<B:]$K$H$$$F$_$F!"5U=g$K=P$5$l$F$$$?$iFq$7$/46$8$?$@$m$&$J$H;W$$(J
$@$^$7$?!#5W$7$V$j$K$3$&$$$&LdBj$r2r$$$F$_$F3Z$7$+$C$?$G$9!#(J

-- 
================================== $@0f>e9@0l!wBg:eI\N)9b@l(J=====================
                   Phone : (0720) 21-6401 ($@Fb@~(J304)  Fax : (0720) 21-0134
                   E-mail: f51323@sakura.kudpc.kyoto-u.ac.jp
=========================================$@;d$O(Jmohta$@;a$K5wN%$r$*$$$F$$$^$9!#(J====