315 lines
6.8 KiB
Groff
315 lines
6.8 KiB
Groff
.\" Copyright (c) 1985, 1991 Regents of the University of California.
|
||
.\" All rights reserved.
|
||
.\"
|
||
.\" Redistribution and use in source and binary forms, with or without
|
||
.\" modification, are permitted provided that the following conditions
|
||
.\" are met:
|
||
.\" 1. Redistributions of source code must retain the above copyright
|
||
.\" notice, this list of conditions and the following disclaimer.
|
||
.\" 2. Redistributions in binary form must reproduce the above copyright
|
||
.\" notice, this list of conditions and the following disclaimer in the
|
||
.\" documentation and/or other materials provided with the distribution.
|
||
.\" 3. All advertising materials mentioning features or use of this software
|
||
.\" must display the following acknowledgement:
|
||
.\" This product includes software developed by the University of
|
||
.\" California, Berkeley and its contributors.
|
||
.\" 4. Neither the name of the University nor the names of its contributors
|
||
.\" may be used to endorse or promote products derived from this software
|
||
.\" without specific prior written permission.
|
||
.\"
|
||
.\" THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
|
||
.\" ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||
.\" IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||
.\" ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
|
||
.\" FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
||
.\" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
||
.\" OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
||
.\" HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
||
.\" LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
||
.\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
||
.\" SUCH DAMAGE.
|
||
.\"
|
||
.\" from: @(#)exp.3 6.12 (Berkeley) 7/31/91
|
||
.\" %FreeBSD: src/lib/msun/man/exp.3,v 1.9.2.4 2001/12/17 10:08:36 ru Exp %
|
||
.\"
|
||
.\" $FreeBSD$
|
||
.Dd July 31, 1991
|
||
.Dt EXP 3
|
||
.Os
|
||
.Sh ̾¾Î
|
||
.Nm exp ,
|
||
.Nm expf ,
|
||
.Nm exp10 ,
|
||
.Nm exp10f ,
|
||
.Nm expm1 ,
|
||
.Nm expm1f ,
|
||
.Nm log ,
|
||
.Nm logf ,
|
||
.Nm log10 ,
|
||
.Nm log10f ,
|
||
.Nm log1p ,
|
||
.Nm log1pf ,
|
||
.Nm pow ,
|
||
.Nm powf
|
||
.Nd »Ø¿ô´Ø¿ô¡¢Âпô´Ø¿ô¡¢Îß¾è´Ø¿ô
|
||
.Sh ¥é¥¤¥Ö¥é¥ê
|
||
.Lb libm
|
||
.Sh ½ñ¼°
|
||
.In math.h
|
||
.Ft double
|
||
.Fn exp "double x"
|
||
.Ft float
|
||
.Fn expf "float x"
|
||
.Ft double
|
||
.Fn expm1 "double x"
|
||
.Ft float
|
||
.Fn expm1f "float x"
|
||
.Ft double
|
||
.Fn log "double x"
|
||
.Ft float
|
||
.Fn logf "float x"
|
||
.Ft double
|
||
.Fn log10 "double x"
|
||
.Ft float
|
||
.Fn log10f "float x"
|
||
.Ft double
|
||
.Fn log1p "double x"
|
||
.Ft float
|
||
.Fn log1pf "float x"
|
||
.Ft double
|
||
.Fn pow "double x" "double y"
|
||
.Ft float
|
||
.Fn powf "float x" "float y"
|
||
.Sh ²òÀâ
|
||
.Fn exp
|
||
´Ø¿ô¤È
|
||
.Fn expf
|
||
´Ø¿ô¤Ï¡¢»ØÄê¤Î°ú¿ô
|
||
.Fa x
|
||
¤Î»Ø¿ôÃͤò·×»»¤·¤Þ¤¹¡£
|
||
.Pp
|
||
.Fn expm1
|
||
´Ø¿ô¤È
|
||
.Fn expm1f
|
||
´Ø¿ô¤Ï¡¢¾®¤µ¤¤°ú¿ô
|
||
.Fa x
|
||
¤Ë¤Ä¤¤¤Æ¤µ¤¨Àµ³Î¤Ë¡¢exp(x)\-1 ¤ÎÃͤò·×»»¤·¤Þ¤¹¡£
|
||
.Pp
|
||
.Fn log
|
||
´Ø¿ô¤È
|
||
.Fn logf
|
||
´Ø¿ô¤Ï°ú¿ô
|
||
.Fa x
|
||
¤Î¼«Á³Âпô¤ÎÃͤò·×»»¤·¤Þ¤¹¡£
|
||
.Pp
|
||
.Fn log10
|
||
´Ø¿ô¤È
|
||
.Fn log10f
|
||
´Ø¿ô¤Ï¡¢´ðÄì
|
||
10 ¤Ë¤Ä¤¤¤Æ°ú¿ô
|
||
.Fa x
|
||
¤ÎÂпô¤ò·×»»¤·¤Þ¤¹¡£
|
||
.Pp
|
||
.Fn log1p
|
||
´Ø¿ô¤È
|
||
.Fn log1pf
|
||
´Ø¿ô¤Ï¡¢¾®¤µ¤¤°ú¿ô
|
||
.Fa x
|
||
¤Ë¤Ä¤¤¤Æ¤µ¤¨ log(1+x) ¤ÎÃͤòÀµ³Î¤Ë·×»»¤·¤Þ¤¹¡£
|
||
.Pp
|
||
.Fn pow
|
||
´Ø¿ô¤È
|
||
.Fn powf
|
||
´Ø¿ô¤Ï¡¢»Ø¿ô
|
||
.Ar y
|
||
¤ËÂФ·¤Æ
|
||
.Ar x
|
||
¤ÎÃͤò·×»»¤·¤Þ¤¹¡£
|
||
.Sh ¸íº¹ (´Ý¤á¤Ê¤É¤Î¤¿¤á¤Ë¤è¤ë)
|
||
.Fn exp x ,
|
||
.Fn log x ,
|
||
.Fn expm1 x
|
||
¤ª¤è¤Ó
|
||
.Fn log1p x
|
||
¤Ï¡¢1
|
||
.Em ulp
|
||
ÆâÉô¤ÇÀµ³Î¤Ç¤¹¡£
|
||
.Fn log10 x
|
||
¤Ï 2
|
||
.Em ulps
|
||
ÆâÉô¤ÇÀµ³Î¤Ç¤¹¡£1
|
||
.Em ulp
|
||
¤Ï
|
||
.Em ºÇ¸å¤Î
|
||
.Em ¾ì½ê
|
||
¤Ç¤Î 1
|
||
.Em ñ°Ì
|
||
¤Ç¤¹¡£
|
||
.Fn pow x y
|
||
¤Î¸íº¹¤Ï¡¢Â礤µ¤¬ÃæÄøÅ٤ΤȤ¤ÏÌó 2
|
||
.Em ulps
|
||
̤Ëþ¤Ç¤¹¡£
|
||
.Fn pow x y
|
||
¤¬¥ª¡¼¥Ð¡¼¥Õ¥í¡¼/¥¢¥ó¥À¡¼¥Õ¥í¡¼¤·¤¤¤Ãͤ˶á¤Å¤¯¤ÈÁýÂ礷¤Þ¤¹¡£ºÇ¸å¤Ë¤Ï¡¢
|
||
¤Û¤È¤ó¤É¤¹¤Ù¤Æ¤Î¥Ó¥Ã¥È¤¬ÉâÆ°¾®¿ôÅÀ»Ø¿ô¥Õ¥£¡¼¥ë¥É¤Ë¤è¤Ã¤ÆÀê¤á¤é¤ì¤Æ
|
||
¼º¤ï¤ì¤Þ¤¹¡£¤³¤ì¤Ï
|
||
.Tn "VAX D"
|
||
¤Ç¤Ï 8 ¥Ó¥Ã¥È¤Ç¤¢¤ê¡¢IEEE 754 Double ¤Ç¤Ï 11 ¥Ó¥Ã¥È¤Ç¤¹¡£
|
||
¤³¤Î¤è¤¦¤ËÂ礤ʷçÍî¤Ï»î¸³¤Ë¤è¤Ã¤ÆÌÀ¤é¤«¤Ë¤µ¤ì¤Æ¤¤¤Þ¤»¤ó¡£
|
||
´Ñ»¡¤µ¤ì¤¿ºÇ°¤Î¸íº¹¤Ï¡¢
|
||
.Tn "VAX D"
|
||
¤Ë¤Ä¤¤¤Æ¤Ï 20
|
||
.Em ulps
|
||
̤Ëþ¡£
|
||
.Tn IEEE
|
||
754 Double ¤Ë¤Ä¤¤¤Æ¤Ï 300
|
||
.Em ulps
|
||
¤Ç¤¹¡£
|
||
.Fn pow
|
||
ÃæÄøÅÙ¤ÎÃͤ¬¡¢
|
||
.Fn pow integer integer
|
||
¤¬Àµ³Î¤Ë¤Ê¤ë¤¿¤á¤Ë½½Ê¬¤Ç¤¹¡£ºÇ¸å¤Ï¡¢
|
||
.Tn VAX
|
||
¤Ë¤Ä¤¤¤Æ¤Ï
|
||
2**56
|
||
¤è¤êÂ礤¯¤Ê¤ê¡¢
|
||
.Tn IEEE
|
||
754 ¤Ë¤Ä¤¤¤Æ¤Ï 2**53 ¤è¤êÂ礤¯¤Ê¤ê¤Þ¤¹¡£
|
||
.Sh Ìá¤êÃÍ
|
||
¤³¤ì¤é¤Î´Ø¿ô¤Ï¡¢¸íº¹¤¬È¯À¸¤¹¤ë¤«°ú¿ô¤¬Èϰϳ°¤Î¾ì¹ç¤ò½ü¤¡¢
|
||
ŬÀڤʷ׻»¤òÊÖ¤·¤Þ¤¹¡£´Ø¿ô
|
||
.Fn exp ,
|
||
.Fn expm1 ,
|
||
.Fn pow
|
||
¤Ï¡¢·×»»¤µ¤ì¤¿Ãͤ¬¥ª¡¼¥Ð¡¼¥Õ¥í¡¼¤¹¤ë¤«¤É¤¦¤«¸¡½Ð¤·¡¢
|
||
¥°¥í¡¼¥Ð¥ëÊÑ¿ô
|
||
.Va errno
|
||
¤ò
|
||
.Er ERANGE
|
||
¤ËÀßÄꤷ¡¢
|
||
.Tn VAX
|
||
¤Þ¤¿¤Ï
|
||
.Tn Tahoe
|
||
¤ÇͽÌ󥪥ڥé¥ó¥É¥Õ¥©¥ë¥È¤òȯÀ¸¤µ¤»¤Þ¤¹¡£´Ø¿ô
|
||
.Fn pow x y
|
||
¤Ï¡¢
|
||
.Fa x
|
||
< 0 ¤«
|
||
.Fa y
|
||
¤¬À°¿ô¤Ç¤Ê¤¤¤«¥Á¥§¥Ã¥¯¤·¤Þ¤¹¡£
|
||
¤³¤Î¾ì¹ç¡¢¥°¥í¡¼¥Ð¥ëÊÑ¿ô
|
||
.Va errno
|
||
¤ò
|
||
.Er EDOM
|
||
¤ËÀßÄꤷ¡¢
|
||
.Tn VAX
|
||
¤È
|
||
.Tn Tahoe
|
||
¤Ç¡¢Í½Ì󥪥ڥé¥ó¥É¥Õ¥©¥ë¥È¤òÀ¸À®¤·¤Þ¤¹¡£
|
||
.Fa x
|
||
> 0 ¤Ç¤Ê¤¤¾ì¹ç¤Î log ¤È¡¢
|
||
.Fa x
|
||
> \-1 ¤Ç¤Ê¤¤¾ì¹ç¤Î
|
||
.Fn log1p
|
||
¤Ï¡¢
|
||
.Tn VAX
|
||
¤È
|
||
.Tn Tahoe
|
||
¤Ç¤Ï¡¢
|
||
.Va errno
|
||
¤¬
|
||
.Er EDOM
|
||
¤ËÀßÄꤵ¤ì¡¢Í½Ì󥪥ڥé¥ó¥É¥Õ¥©¥ë¥È¤¬ÊÖ¤µ¤ì¤Þ¤¹¡£
|
||
.Sh Ãí
|
||
´Ø¿ô exp(x)\-1 ¤È log(1+x) ¤Ï¡¢Hewlett Packard
|
||
.Tn HP Ns \-71B
|
||
¤ª¤è¤Ó
|
||
.Tn APPLE
|
||
¤Î Macintosh ¤Î
|
||
.Tn BASIC
|
||
¤Ç¤Ï expm1 ¤È logp1 ¤È¸Æ¤Ð¤ì¡¢Pascal ¤Ç¤Ï
|
||
.Tn EXP1
|
||
¤È
|
||
.Tn LN1
|
||
¤È¸Æ¤Ð¤ì¡¢
|
||
.Tn APPLE
|
||
Macintosh ¤Î C ¤Ç¤Ï exp1 ¤È log1 ¤È¸Æ¤Ð¤ì¤Þ¤¹¡£
|
||
¤³¤Î¾ì¹ç¡¢¤³¤ì¤é¤Ï ((1+x)**n\-1)/x ¤¹¤Ê¤ï¤Á
|
||
expm1(n\(**log1p(x))/x ¤ÎºâÀ¯Åª·×»»¤¬
|
||
x ¤¬¾®¤µ¤¤¾ì¹ç¤ËÀµ³Î¤Ë¤Ê¤ë¤³¤È¤ò³Îǧ¤¹¤ë¤¿¤á¤ËÈ÷¤¨¤é¤ì¤Æ¤¤¤Þ¤¹¡£
|
||
¤³¤ì¤é¤ÏÀµ³Î¤ÊµÕÁжÊÀþ´Ø¿ô¤âÄ󶡤·¤Þ¤¹¡£
|
||
.Pp
|
||
´Ø¿ô
|
||
.Fn pow x 0
|
||
¤Ï¡¢¤¹¤Ù¤Æ¤Î x ¤Ë¤Ä¤¤¤Æ x**0 = 1 ¤òÊÖ¤·¤Þ¤¹¡£
|
||
x ¤Ë¤Ï¡¢x = 0¡¢
|
||
.if n \
|
||
infinity
|
||
.if t \
|
||
\(if
|
||
.Tn ( VAX
|
||
¤Ë¤Ï¤¢¤ê¤Þ¤»¤ó)¡¢
|
||
.Em NaN
|
||
.Tn ( VAX
|
||
¤ÎͽÌ󥪥ڥé¥ó¥É) ¤¬´Þ¤Þ¤ì¤Þ¤¹¡£
|
||
pow ¤Î¤³¤ì¤Þ¤Ç¤Î¼ÂÁõ¤Ï¡¢¤³¤ì¤é¤Î¤¹¤Ù¤Æ¤Î¾ì¹ç¤Þ¤¿¤Ï¤¤¤¯¤Ä¤«¤Î¾ì¹ç¤Ë¡¢
|
||
x**0 ¤ò̤ÄêµÁ¤È¤·¤Æ¤¤¿¤³¤È¤¬¤¢¤ê¤Þ¤¹¡£
|
||
¤³¤ì¤¬É¬¤º x**0 = 1 ¤òÊÖ¤¹Íýͳ¤Ç¤¹¡£
|
||
.Bl -enum -width indent
|
||
.It
|
||
x**0 ¤ò·×»»¤¹¤ëÁ°¤Ë x ¤¬ 0
|
||
(¤Þ¤¿¤Ï̵¸Â¤Þ¤¿¤Ï \*(Na) ¤Ç¤¢¤ë¤«¤ò»î¸³¤¹¤ë¥×¥í¥°¥é¥à¤Ï
|
||
0**0 = 1 ¤Ç¤¢¤ë¤«¤É¤¦¤«¤òÇÛθ¤Ç¤¤Þ¤»¤ó¡£
|
||
0**0 ¤¬Ìµ¸ú¤Ç¤¢¤ë¤³¤È¤Ëº¸±¦¤µ¤ì¤ë¥×¥í¥°¥é¥à¤Ï¡¢
|
||
¼°¤Î°ÕÌ£¤È¡¢Ìµ¸ú¤Ê¾ì¹ç¡¢
|
||
¼°¤Î·ë²Ì¤¬¥³¥ó¥Ô¥å¡¼¥¿¥·¥¹¥Æ¥à¤´¤È¤ËÊѲ½¤¹¤ë¤¿¤áµ¿¤ï¤·¤¤¤â¤Î¤Ç¤¹¡£
|
||
.It
|
||
»»½Ñ¥Æ¥¥¹¥È (¤¿¤È¤¨¤Ð¡¢Sigler ¤Î¤â¤Î) ¤Ë¤Ï¡¢
|
||
x = 0 ¤ò´Þ¤á¤Æ¤¹¤Ù¤Æ¤Î x ¤Ë¤Ä¤¤¤Æ x**0 = 1 ¤òÄêµÁ¤¹¤ë¤â¤Î¤¬¤¢¤ê¤Þ¤¹¡£
|
||
¤³¤ì¤Ï¡¢a[0] ¤ò¡¢a[0]\(**0**0 ¤ò̵¸ú¤È¤·¤ÆµñÀ䤹¤ë¤Î¤Ç¤Ï¤Ê¤¯¡¢Â¿¹à¼°
|
||
.Bd -literal -offset -indent
|
||
p(x) = a[0]\(**x**0 + a[1]\(**x**1 + a[2]\(**x**2 +...+ a[n]\(**x**n
|
||
.Ed
|
||
.Pp
|
||
¤ÎÃͤò a[0] ¤È¤·¤Æ¼õ¤±Æþ¤ì¤ë´·¹Ô¤È¸ß´¹À¤¬¤¢¤ê¤Þ¤¹¡£
|
||
.It
|
||
¥¢¥Ê¥ê¥¹¥È¤Ï¡¢x ¤È y ¤¬ÆÈΩ¤Ë 0 ¤Ë¶á¤Å¤¯¤È¤¤Ë¡¢
|
||
x**y ¤¬ÆÃÄê¤ÎÃͤ˶á¤Å¤¯¤«¤Þ¤¿¤Ï²¿¤Ë¤â¶á¤Å¤«¤Ê¤¤¤«¤Ë´Ø¤ï¤é¤º¡¢
|
||
0**0 = 1 ¤ò¼õ¤±Æþ¤ì¤Þ¤¹¡£
|
||
0**0 = 1 ¤ò¼õ¤±Æþ¤ì¤ëÍýͳ¤Ï¼¡¤Î¤È¤ª¤ê¤Ç¤¹¡£
|
||
.Bd -filled -offset indent
|
||
x(z) ¤È y(z) ¤¬ z = 0 ÉÕ¶á¤Î z ¤ÇʬÀÏŪ¤Ê´Ø¿ô¤Ç¤¢¤ê
|
||
(Îß¾è¤ÎϢ³¤Ç³ÈÄ¥²Äǽ)¡¢
|
||
¤·¤«¤â x(0) = y(0) = 0 ¤Î¾ì¹ç¡¢z \(-> 0 ¤Î¤È¤
|
||
x(z)**y(z) \(-> 1 ¤Ç¤¹¡£
|
||
.Ed
|
||
.It
|
||
0**0 = 1 ¤Î¾ì¹ç¡¢
|
||
.if n \
|
||
infinity**0 = 1/0**0 = 1
|
||
.if t \
|
||
\(if**0 = 1/0**0 = 1
|
||
¤Ç¤¹¡£¼¡¤¤¤Ç¡¢\*(Na**0 = 1 ¤Ç¤â¤¢¤ê¤Þ¤¹¡£
|
||
¤¹¤Ù¤Æ¤Î͸¤ª¤è¤Ó̵¸Â¤Ê x ¤Ë¤Ä¤¤¤Æ¡¢
|
||
¤¹¤Ê¤ï¤Á x ¤ËÆÈΩ¤Ë x**0 = 1 ¤À¤«¤é¤Ç¤¹¡£
|
||
.El
|
||
.Sh ´ØÏ¢¹àÌÜ
|
||
.Xr math 3
|
||
.Sh Îò»Ë
|
||
.Fn exp ,
|
||
.Fn log
|
||
¤ª¤è¤Ó
|
||
.Fn pow
|
||
´Ø¿ô¤Ï
|
||
.At v6
|
||
¤ÇÅо줷¤Þ¤·¤¿¡£
|
||
.Fn log10
|
||
´Ø¿ô¤Ï
|
||
.At v7
|
||
¤Ç¸½¤ì¤Þ¤·¤¿¡£
|
||
.Fn log1p
|
||
´Ø¿ô¤È
|
||
.Fn expm1
|
||
´Ø¿ô¤Ï
|
||
.Bx 4.3
|
||
¤ÇÅо줷¤Þ¤·¤¿¡£
|