「余り」はこの項目へ転送されています。
会計の剰余金については「剰余金」をご覧ください。
一般的な意味については「wikt:余り
演算の結果
加法 (+)
項 + 項 = 和
加法因子 + 加法因子 = 和
被加数 + 加数 = 和
減法 (-)
被減数 − 減数 = 差
乗法 (×)
因数 × 因数 = 積
被乗数 × 乗数 = 積
被乗数 × 倍率 = 積
除法 (÷)
被除数 ÷ 除数 = 商
被約数 ÷ 約数 = 商
実 ÷ 法 = 商
.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}分子/分母 = 商
剰余算 (mod)
被除数 .mw-parser-output .monospaced{font-family:monospace,monospace}mod 除数 = 剰余
被除数 mod 法 = 剰余
冪 (^)
底冪指数 = 冪
冪根 (√)
次数√被開方数 = 冪根
対数 (log)
log底(真数) = 対数
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}
表
話
編
歴
数学において剰余(じょうよ、英語: remainder)とは、ある種の計算を実行した後の「あまり」の量を指す。算術においては、剰余とはある整数を別の整数で割って(除法、割り算)商を得る際に「あまる」整数の事を指す(整数除法)。多項代数学においては、剰余とはある多項式を別の多項式で割った際の「あまり」を指す。剰余演算は被除数と除数が与えられた際にそのような乗除を得るような演算である。
他に、ある数から別の数を引いた(減法、引き算)際に残された数のことも剰余であるが、「差」という言い方がより一般的である。この用法はいくつかの基礎的な教科書で見られる。会話では「2ドルを私に返して、残りはそちらで持っておいてくれ」といったようにしばしば「残り」という語に置き換えられる[1]。しかしながら、「剰余」という用語はこの用法であっても、函数を級数展開(英語版)する際に「誤差」が剰余項として使われる。 a を整数、d を0でない整数とすると、式 a = qd + r(0 ? r < |d|)を満たすただ一組の整数 q および r が存在する。ここで q は「商」、r は「剰余」とそれぞれ呼ばれる。 (この結果の証明は en:Euclidean division
整数除法
上で定義されたような剰余は「最小正剰余」あるいは単に「剰余」と呼ばれる[2]。整数 a は d の倍数か、(q を正として)q?d と (q + 1)d の間にある数のどちらかである。
いくつかの場合、a ができる限り d の整数倍になるようにすると便利である。このとき、いくつかの整数 k に対してa = k?d + s(ただし |s。? |d/2|)
となる。
この場合、s は「最小絶対剰余」と呼ばれる[3]。商および剰余と同様に、d = 2n かつ s = ± n の場合を除き、k と s は一意に定まる。例外の場合、a = k?d + n = (k + 1)d ? n
となる。固有の剰余はいくつかの条件(例えば s は正に限る)などの条件を付け加えた場合に得られる。 43を5で割る場合、43 = 8 × 5 + 3 となり、3が最小正剰余となる。また43 = 9 × 5 ? 2 となるから、?2が最小絶対剰余となる。 これらの定義は d が負の場合も有効である。例えば43を?5で割ると43 = (?8) × (?5) + 3 より3が最小正剰余となり、一方 より?2が最小絶対剰余となる。 42を5で割ると42 = 8 × 5 + 2 となり、2 < 5/2 であるから、2は最小正剰余かつ最小絶対剰余となる。 これらの例において、(負の)最小絶対剰余は最小正剰余から5、すなわち d を引くことで得られる。このことは一般に成り立つ。d で割った際、両方の剰余は正でそれゆえ等しくなるか、あるいは正負が真逆になる。正剰余を r1 とし、負のものを r2 とするとr1 = r2 + d となる。 a および d が浮動小数点数で、かつ d がゼロでない時、a は d によって剰余なしで割り切れ、その商は別の浮動小数点数となる。しかしながら、商を整数値に制限するとき、剰余の概念が必要となる。a = qd + r(ただし 0 ? r < |d|)を満たすような唯一つの整数商 q および浮動小数点数剰余 r が存在することを示せる。 上記のような、剰余の概念を浮動小数点数へ拡張することは数学の理論上重要ではない。しかしながら、多くのプログラミング言語はこの定義を実装している(剰余演算を参照)。 定義に困難は無い一方で、剰余を計算する際に負の数が関わることによる実装の問題が存在する。プログラミング言語毎に異なる解決法が適用されている。例を示す。
例
43 = (?9) × (?5) + (?2)
浮動小数点数
プログラミング言語詳細は「剰余演算」を参照
Pascal は mod 演算の結果が正になるよう選び、d が負や0になるのを許容していない(それゆえ a = (a div d ) × d + a mod d は必ずしも成り立たない)[4]。
C99 は剰余が分子 a と同じ符号になるよう選ぶ[5]。(C99より前では、C言語は他の選択肢を許容していた)
Perl と Python(新しい版のみ)は剰余が分母 d と同じ符号になるよう選ぶ[6]。
Haskell と Scheme は2つの函数(remainder と modulo)を提供している。Ada、Common Lisp、PL/I(mod と rem)や Fortran(mod と modulo)も同様である。それぞれ前者が分子に、後者が分母に符号を合わせる。
多項式の除法詳細は「en:Euclidean division of polynominals」を参照