🚀 go-pugleaf

$B>>85N4Fs!wCNG=!&6e=#9)6HBg3X$G$9!%(B

$B;d$O1_<~N(7W;;$,<qL#$J$N$G$9$,!$$?$@7W;;$9$k$@$1$G$O$D$^$i$J$$$N$G!$(B
$BLLGr$$J*$D$/$C$F$_$^$7$?!%(B

$B1_<~N($N8x<0$K$O!$;03Q4X?t$N(Barctan(X)$B$r;H$C$?<0$,$"$j$^$9$,!$Nc$($P(B

$B%^%A%s$N<0(B
 pi/4 = arctan(1) = 4 * arctan(1/5) - arctan(1/239)

$B%7%e%F%k%^!<$N<0(B
 pi/4 = 8 * arctan(1/8) - 4 * arctan(1/18)- 3 * arctan(1/239)

$B$J$I$"$j$^$9$,!$$3$N%?%$%W$N<0$r7W;;5!$r;H$C$FC5:w$7$F$_$^$7$?!%(B

($B;29MJ88%(B: $B9bLn4n5WM:(B, $B!V&P$N(Barctangent relation $B$r5a$a$F!W(B,
bit 1983$BG/(B4$B7n9f(B.)

arctan$B$N9`?t$,(B4$B$D$^$G$rBP>]$KC5:w$7$F$_$?$N$G$9$,!$Ls(B2000$B6a$/$N<0$,(B
$B8+$D$+$j$^$7$?!%(B

$BI=$,(B
	http://www.pluto.ai.kyutech.ac.jp/plt/matumoto/syumi.html

$B$KCV$$$F$"$j$^$9!%6=L#$N$"$kJ}$O8fMw$/$@$5$$!%(B

---------
ps. $B%W%m%0%i%`$O(Bprolog$B$G=q$-$^$7$?!%(B

$B0JA0(Bfj.lang.prolog$B$G(Bprolog$B$NNI$$;29M=q$,$J$$$+<ALd$7$?$N$G$9$,!$(B
$BEz$($F$$$?$@$$$?J}$"$j$,$H$&$4$6$$$^$7$?!%$3$N<j$NC5:w$O(Bprolog
$B$O==H,HV$G$9$M!%:G=i$O(BC$B$G=q$$$F$$$?$N$G$9$,!$;`$s$G$$$^$7$?!%(B
---------------------------
Ryuji Matsumoto
Kyushu Institute of Technology.(Japan)
e-mail:matumoto@pluto.ai.kyutech.ac.jp