Doc enhancement of srfi-94

Author: shirok

doc/corelib.texi

@@ -4088,8 +4088,7 @@ Returns an exact integer only if all the given numbers are exact integers.
 
 
 @defun exp z
-@defunx log z
-@defunx log z1 z2
+@defunx log z :optional base
 @defunx sin z
 @defunx cos z
 @defunx tan z
@@ -4110,12 +4109,12 @@ R7RSではこれらの手続きは@code{(scheme inexact)}モジュールにあ
 @code{exp} returns @i{e} raised to the power of @var{z}.  The one-argument
 version of @code{log} returns the natural logarithm of @var{z}.
 The two-argument version of @code{log} is added in R6RS, and returns
-base-@var{z2} logarithm of @var{z1}.
+base @var{base} logarithm of @var{z}.
 @c JP
 @code{exp}は@i{e}の@var{z}乗を返します。
 1引数の@code{log}は@var{z}の自然対数を返します。
 2引数の@code{log}はR6RSで追加されたもので、
-@var{z2}を底とした@var{z1}の対数を返します。
+@var{base}を底とした@var{z}の対数を返します。
 @c COMMON
 
 @c EN

doc/modsrfi.texi

@@ -5946,33 +5946,65 @@ However, only the tests using @code{check} and @code{check-ec} are counted.
 
 @deftp {Module} srfi.94
 @mdindex srfi.94
-This module provides arithmetic functions specialized for exact integers
-and reals.  Similar to @code{scheme.fixnum} (@pxref{R7RS fixnum})
+@c EN
+This module provides arithmetic functions specialized for reals
+and exact integers.  Similar to @code{scheme.fixnum} (@pxref{R7RS fixnum})
 and @code{scheme.flonum} (@pxref{R7RS flonum}) in a sense of restricting
 types of range and domains, but this srfi procedures cover wider range
 (e.g. @code{real-*} procedures can accept all real numbers include
 exact integers, and @code{integer-*} procedures can accept both fixnums
 and bignums).
+@c JP
+このモジュールは実数および正確な整数に特化した数値演算関数を提供します。
+定義域や値域の型を制約するという意味では
+@code{scheme.fixnum} (@ref{R7RS fixnum}参照) や
+@code{scheme.flonum} ((@ref{R7RS flonum})参照) と似ていますが、
+このSRFIの関数はそれらのモジュールよりは広い範囲をカバーします
+(例えば@code{real-*}手続きは正確な整数を含めた全ての実数を
+対象としますし、@code{integer-*}手続きはfixnumだけでなくbignumも
+扱えます)。
+@c COMMON
 
+@c EN
 This module is provided mostly for the completeness.  Generally useful
 procedures are already built-in, so you don't need to use this
 module to use them.  Furthermore, some SRFI-94 procedures have the
 same name of Gauche's built-in but behave slightly differently, so
 just importing everything from @code{srfi.94} may cause unexpected effect.
 If you need certain srfi-94 specific procedures, we recommend you to import
 them selectively.
+@c JP
+このモジュール自体は完全性のために用意してあります。
+一般的に有用と思われる関数については組み込みになっているので、
+わざわざこのモジュールをuseする必要はありません。
+さらに、SRFI-94の手続きのいくつかはGaucheの組み込み手続きと同じ名前を
+持ちながら振る舞いが他所う異なったりするので、
+@code{srfi.94}をまるごとインポートすると思いがけない副作用があるかもしれません。
+特定の、SRFI-94特有の手続きを使いたい場合は、それに絞ってインポートすることを
+お勧めします。
+@c COMMON
 
+@c EN
 The following procedures are built-in.  @xref{Arithmetics} for the details.
+@c JP
+以下の手続きは組み込みになっています。詳しくは@ref{Arithmetics}を参照してください。
+@c COMMON
 @example
 real-exp          real-tan          atan              make-rectangular
 real-ln           real-asin         real-sqrt         make-polar
 real-sin          real-acos         integer-expt
 real-cos          real-atan         real-expt
 @end example
 
+@c EN
 The following procedures are redefined in this module, shadowing
 Gauche's built-in procedures.   See the description
 of each entry for the difference.
+@c JP
+以下の手続きはこのモジュールで定義され、インポートすると
+組み込み手続きをシャドウします。違いについてはそれぞれの
+エントリの記述を参照してください。
+@c COMMON
 @example
 quotient     modulo       remainder    mod         abs
 @end example
@@ -5981,29 +6013,54 @@ quotient     modulo       remainder    mod         abs
 @defun real-log base x
 [SRFI-94]
 @c MOD srfi.94
+@c EN
 The arguments must be nonnegative reals.  Returns logarithm of @var{x}
 with base @var{base}, computed as
 @code{(/ (real-ln x) (real-ln base))}.
 
 Note that R7RS's @code{log} takes @var{x} first, then optional @var{base}.
 Gauche doesn't provide this procedure as built-in to avoid confusion.
+@c JP
+引数は非負の実数でなければなりません。
+@var{base}を底とする@var{x}の対数を@code{(/ (real-ln x) (real-ln base))}
+で計算して返します。
+
+R7RSの@code{log}は@var{x}を最初に取り、
+省略可能な@var{base}で底を指定することに注意してください。
+Gaucheがこの手続きを組み込みとして提供していないのは、
+引数順の混乱を避けるためです。
+@c COMMON
 @end defun
 
 @defun integer-sqrt n
 [SRFI-94]
 @c MOD srfi.94
+@c EN
 This is the same as @code{exact-integer-sqrt} (@pxref{Arithmetics}).
+@c JP
+これは@code{exact-integer-sqrt}と同じです
+(@ref{Arithmetics}参照)。
+@c COMMON
 @end defun
 
 @defun integer-log base k
 [SRFI-94]
 @c MOD srfi.94
+@c EN
 Both arguments must be exact integers, and @var{base} must be
 positive, while @var{x} must be nonnegative.
 
 Returns a maximum exact integer @var{n} such that @code{(<= (expt base n) k)}.
 
 The order of arguments is the same as @code{real-log}---not @code{log}.
+@c JP
+引数は正確な整数でなければならず、@var{base}は正数、
+@var{x}は非負でなければなりません。
+
+@code{(<= (expt base n) k)}となるような最大の正確な整数@var{n}を返します。
+
+引数の順序は@code{real-log}と同じ、すなわち@code{log}とは異なります。
+@c COMMON
 
 @example
 (integer-log 2 1500) @result{} 10
@@ -6013,41 +6070,122 @@ The order of arguments is the same as @code{real-log}---not @code{log}.
 @defun abs x
 [SRFI-94]
 @c MOD srfi.94
+@c EN
 While Gauche's built-in @code{abs} can take a non-real number
 (in which case, it acts like @code{magnitude}), this version
 throws an error.
+@c JP
+Gauche組み込みの@code{abs}は実数でない複素数を取ることができて、
+その場合は@code{magnitude}のように振る舞いますが、
+この手続きはエラーを投げます。
+@c COMMON
 @end defun
 
 @defun quo n d
 @defunx mod n d
 @defunx rem n d
 [SRFI-94]
 @c MOD srfi.94
+@c EN
 Real version of @code{quotient}, @code{modulo}, and @code{remainder}
 (@pxref{Arithmetics}).
 
 Returns quotient, modulo, and remainder of @var{n} divided by @var{d}.
 Arguments doesn't need to be integers.  If both are exact, the result
 is exact.
+@c JP
+@code{quotient}、@code{modulo}、@code{remainder}の実数への拡張版です。
+
+@var{n}を@var{d}で割った時の商および余りを返します。
+引数は整数である必要はありません。両方とも正確数であれば結果も正確数となります。
+@c COMMON
 
+@c EN
 @code{quo} returns @code{(truncate (/ n d))}.
 @code{rem} returns @code{(- n (* d (quo n d)))}.
 @code{mod} returns @code{(- n (* d (floor (/ n d))))}.
+@c JP
+@code{quo}は@code{(truncate (/ n d))}を、
+@code{rem}は@code{(- n (* d (quo n d)))}を、
+そして@code{mod}は@code{(- n (* d (floor (/ n d))))}を返します。
+@c COMMON
 
-Note: R6RS introduced different divison operators, @code{div} and @code{mod}
+@c EN
+Note: R6RS defined different divison operators, @code{div}, @code{mod},
+@code{div0}, and @code{mod0}
 (@pxref{Arithmetics}).
 They can take non-integer arguments, but unfortunately, they behave
-differently from SRFI-94.
+differently from SRFI-94.  SRFI-94's @code{quo} behaves the same as
+R6RS's @code{div0}, and SRFI-94's @code{rem} behaves the same as
+R6RS's @code{mod0}.
+@c JP
+註: R6RSは異なる除算オペレータ、@code{div}、@code{mod}、
+@code{div0}、および@code{mod0}を定義しました(@ref{Arithmetics}参照)。
+これらも非整数を取ることができますが、残念なことに
+SRFI-94とは振る舞いが異なります。SRFI-94の@code{quo}は
+R6RSの@code{div0}と、SRFI-94の@code{rem}は
+R6RSの@code{mod0}と、それぞれ同じふるまいです。
+@c COMMON
+
+@example
+(quo 2/3 1/5)    @result{} 3
+(mod 2/3 1/5)    @result{} 1/15
+(rem 2/3 1/5)    @result{} 1/15
+
+(quo 2/3 -1/5)   @result{} -3
+(mod 2/3 -1/5)   @result{} -2/15
+(rem 2/3 -1/5)   @result{} 1/15
+
+(quo -2/3 1/5)   @result{} -3
+(mod -2/3 1/5)   @result{} 2/15
+(rem -2/3 1/5)   @result{} -1/15
+
+(quo -2/3 -1/5)  @result{} 3
+(mod -2/3 -1/5)  @result{} -1/15
+(rem -2/3 -1/5)  @result{} -1/15
+
+@c EN
+;; For comparison- R6RS procedures
+@c JP
+;; 比較のため: R6RS手続き
+@c COMMON
+(use gauche.base)
+(div 2/3 1/5)    @result{} 3
+(mod 2/3 1/5)    @result{} 1/15
+(div0 2/3 1/5)   @result{} 3
+(mod0 2/3 1/5)   @result{} 1/15
+
+(div 2/3 -1/5)   @result{} -3
+(mod 2/3 -1/5)   @result{} 1/15
+(div0 2/3 -1/5)  @result{} -3
+(mod0 2/3 -1/5)  @result{} 1/15
+
+(div -2/3 1/5)   @result{} -4
+(mod -2/3 1/5)   @result{} 2/15
+(div0 -2/3 1/5)  @result{} -3
+(mod0 -2/3 1/5)  @result{} -1/15
+
+(div -2/3 -1/5)  @result{} 4
+(mod -2/3 -1/5)  @result{} 2/15
+(div0 -2/3 -1/5) @result{} 3
+(mod0 -2/3 -1/5) @result{} -1/15
+@end example
 @end defun
 
 @defun quotient n d
 @defunx modulo n d
 @defunx remainder n d
 [SRFI-94]
 @c MOD srfi.94
+@c EN
 SRFI-94 version of these procedures throws an error if the arguments
 are not exact integers.  Otherwise they behave the same
 as built-in (@pxref{Arithmetics}).
+@c JP
+SRFI-94のバージョンは、引数が正確な整数でなければエラーを投げます。
+それ以外は組み込みと同じように振る舞います
+(@ref{Arithmetics}参照)。
+@c COMMON
 @end defun