補数のソースを表示

{{読み仮名|'''補数'''|ほすう|{{lang-en-short|complement}}}}または{{読み仮名|'''余数'''|よすう}}とは、ある数 {{mvar|x}} との[[加法|和]]が基準となる数 {{mvar|C}} に等しくなるような数である<ref>{{cite kotobank
  |word=補数
  |encyclopedia=精選版 日本国語大辞典
  |accessdate=2023-04-03
}}</ref>{{sfn|JIS X 0005:2002|2002|loc=05.08.01 補数}}{{sfn|ISO/IEC 2382:2015|2015|loc=2. Terms and definition. 2121097. complement}}。すなわち、補数を {{math|''x''{{sub|c}}}} とすればこれは {{math|1=''x'' + ''x''{{sub|c}} = ''C''}} を満たす。

{{mvar|C}} を [[位取り記数法|{{mvar|b}} 進法]]の基数の[[冪乗|冪]] {{math|''b''{{sup|''n''}}}} とすればこれは、{{mvar|b}} 進法で {{math|1=''b''{{sup|''n''}} = 100…00{{sub|''b''}}}} と表せる。従ってこの場合、非負の整数 {{mvar|x}} に対する補数 {{math|''x''{{sub|c}}}} は {{mvar|x}} に足して {{math|''n'' + 1}} 桁になる最小の整数と言える。

補数は[[計算機]]において、[[減法|減算]]や負の数を表すためにしばしば利用される。

== 定義 ==
{{mvar|x}} を [[位取り記数法|{{mvar|b}} 進法]]で {{mvar|n}} 桁{{efn2|ここで「{{mvar|n}} 桁」とは単に {{mvar|n}} 文字の[[数字]]で表されることを意味する。この意味で例えば {{math|012}} や {{math|000}} は {{math|3}} 桁の数である。}}の[[正の数と負の数|非負]]の[[整数]]とする。
{{mvar|x}} に対する'''基数の補数'''（{{lang-en-short|radix complement}}）は以下のように定義される{{sfn|JIS X 0005:2002|2002|loc=05.08.02 基数の補数}}{{sfn|ISO/IEC 2382:2015|2015|loc=2. Terms and definition. 2121098. radix complement}}：
: <math>b^n - x</math>
基数が文脈から明らかなら、単に '''{{mvar|b}} の補数'''（{{lang-en-short|{{mvar|b}}'s complement}}）と呼ばれる（例えば二進法における基数の補数は[[2の補数]]と呼ばれる）。
同様に、{{mvar|x}} に対する'''減基数の補数'''（{{lang-en-short|diminished radix complement}}）{{efn2|減基数の補数は'''基数&minus;1の補数'''（{{lang-en-short|radix-minus-one complement}}）とも呼ばれる。}}は以下のように定義される{{sfn|JIS X 0005:2002|2002|loc=5.8.5 減基数の補数}}{{sfn|ISO/IEC 2382:2015|2015|loc=2. Terms and definition. 2121101. diminished radix complement}}：
: <math>(b^n - 1) - x</math> 
基数が文脈から明らかなら、単に '''{{math|(''b'' &minus; 1)}} の補数'''（{{lang-en-short|{{math|(''b'' &minus; 1)}}s' complement}}）と呼ばれる（例えば二進法における減基数の補数は[[1の補数]]と呼ばれる）。

== 呼称 ==
[[日本語]]において、文脈から[[位取り記数法|基数]]が明らかでない状況で「{{mvar|N}} の補数」と言った場合、「{{math|''N'' + 1}} 進法における減基数の補数」と「{{mvar|N}} 進法における基数の補数」のどちらを指すか曖昧である。例えば、「9の補数」は「9進法における基数の補数」と「10進法における減基数の補数」のいずれの意味でも用いられ得る。曖昧さを取り除くためには、「基数の補数」か「減基数の補数」のいずれであるかを示したり、基数が何であるかを示す必要がある。

[[英語]]において文章上は、例えば基数の補数を {{en|nine's complement}}{{efn2|{{en|nine's}} は 9 を意味する[[名詞#英語|名詞]] {{en|nine}} の[[数 (文法)|単数形]] {{en|nine}} の[[属格|所有格]]（属格）であり、一方 {{en|nines'}} は {{en|nine}} の[[数 (文法)|複数形]] {{en|nines}} の所有格である。単数形と複数形の違いは補数の計算方法に由来する。{{en|nine's complement}} は単一の 9 の[[冪乗|冪]]から元の数を引くことで求まる補数であることを示し、{{en|nines' complement}} は[[位取り記数法]]で通常複数の 9 を並べた数（{{math|99...99}}）から元の数を引くことで求まる補数であることを示している。この慣習は[[ドナルド・クヌース]]が著書“[[The Art of Computer Programming]]”の中で提案したもので、必ずしも一般的な区別ではない。|name=convention-knuth}}と書き、減基数の補数を {{en|nines' complement}}{{efn2|name=convention-knuth}}と書くことで区別できる{{sfn|Knuth “TAOCP” vol. 2, 3rd ed.|1997|p=203}}。

== 補数の利用・応用 ==
=== 繰り上がり（繰り下がり）のある計算 ===
補数は身近なところでも利用される。ほぼ無意識のうちに使っているが、繰り上がりのある足し算で使われる
<ref>{{Cite web|和書|url=https://kodomo-monju.com/blog/%E6%95%99%E6%9D%90%E3%83%BB%E6%8E%88%E6%A5%AD%E7%B4%B9%E4%BB%8B/%E3%80%8C10%E3%81%AE%E3%81%8A%E5%8F%8B%E3%81%A0%E3%81%A1%E3%80%8D%E3%81%A8%E3%80%8C5%E3%81%AE%E3%81%AA%E3%81%8B%E8%89%AF%E3%81%97%E3%80%8D/|title=「10になるお友だち」と「5になる仲よし」|website=こども教室 ≪もんじゅ≫|access-date=2023-03-29}}</ref>。
<ref>{{Cite web|和書|url=https://そろばん情報.jp/soroban10kuriagarikurisagari/|title=そろばんの教え方【１０の繰り上がり繰り下がり編】|access-date=2023-03-29}}</ref>
例えば、「8 + 7 = 15] という計算を考える。まず、7 に何を足せば 10 を作れるかを考えると 3 である。8 を 5 + 3 に分解して、3 + 7 で 10 を作り、1 の位は残った 5 であるから、合わせて 15 となる。
つまり、1の位の計算で、7 を足す代わりに 7 の補数である 3 を引くことで、繰り上がりのある計算ができる。
これをきちんと数式で書くと

<math>
\begin{align}
x + y & = x + y + b^1 - b^1 \\
      & = b^1 + x - (b^1 - y)\\
\end{align}
</math>

である。
式の最右辺において、<math>b^1</math> は上の位への繰り上がりである。
残りの <math>x - (b^1 - y)</math> が、<math>y</math> を足す代わりに、<math>y</math> の補数を引くことを意味する。

この計算方法は、そろばんでも同様に使われる。
つまり 7 を足すときに、繰り上がりが発生するときは、一の珠を 3つ下げる。ほかの数字でも同様。
なお、そろばんでは五珠もあるので、10 の補数のほか、5 の補数も使わなければならない。

繰り下がりのある引き算でも同様である。

=== 補数を利用した減算 ===
補数を利用すると、正整数の減算を加算処理で行うことができる。

以下に、10 進 5 桁の減算 <math>52934 - 38917 = 14017</math> を、補数を用いて加算処理に置き換えた例を説明する。被減数を ''x''、減数を ''y'' とし、減算結果を <math>x - y \equiv z</math> とする。

* 減数 ''y'' の減基数の補数を求める。この計算は、各桁について補数を求めればよいので桁借りが発生せず、簡単に行うことができる。

{{indent|
<math>
\begin{align}
y' & \equiv (10^5 - 1) - y
\end{align}
</math>
}}

{{indent|
<math>
\Longrightarrow \left[\quad
\begin{matrix}
  & 9 & 9 & 9 & 9 & 9 \\
- & 3 & 8 & 9 & 1 & 7 \\
\hline
  & 6 & 1 & 0 & 8 & 2 \\
\end{matrix}
\quad\right]
</math>
}}

* 減数 ''y'' の基数の補数を求める。これは減基数の補数 <math>y'</math> に 1 を加えるだけである。

{{indent|
<math>
\begin{align}
y'' & \equiv 10^5 - y \\
    & = y' + 1 \\
\end{align}
</math>
}}

{{indent|
<math>
\Longrightarrow \left[\quad
\begin{matrix}
  & 6 & 1 & 0 & 8 & 2 \\
+ &   &   &   &   & 1 \\
\hline
  & 6 & 1 & 0 & 8 & 3 \\
\end{matrix}
\quad\right]
</math>
}}

* 被減数 ''x'' と 減数 ''y'' の基数の補数とを足し合わせる。このとき、最上桁の桁上がりは無視する（つまり結果から <math>10^5</math> を減ずる）。

{{indent|
<math>
\begin{align}
z & \equiv x - y \\
  & = x + y'' - 10^5 \\
\end{align}
</math>

<math>
\Longrightarrow \left[\quad
\begin{matrix}
  & 5 & 2 & 9 & 3 & 4 \\
+ & 6 & 1 & 0 & 8 & 3 \\
\hline
(1)& 1 & 4 & 0 & 1 & 7 \\
\end{matrix}
\quad\right]
</math>
}}

このように、本来桁借りを考慮しなければならないような減算であっても、補数の概念を利用すれば加算処理に置き換えて計算することができる。

上に挙げたのは10進法の例であるが、これは任意の基数において成り立つ。

この性質により、負整数の表記法として基数の補数を採用すると、最上位桁からの桁上がり（桁あふれ・[[算術オーバーフロー]]）を無視すれば、通常の加算処理で負整数の加算（つまり正整数の減算）が行えることになる。この利点のため、[[2の補数]]は多くのコンピュータで負整数の内部表現に採用されている。

== 脚注 ==

=== 注釈 ===
{{notelist2}}

=== 出典 ===
{{reflist}}

== 参考文献 ==
* {{cite book|和書
  |title=JIS X 0005:2002 情報処理用語（データの表現） 
  |publisher=日本規格協会
  |editor1=日本規格協会
  |editor2=情報処理学会
  |date=2002-08-31
  |ref={{sfnref|JIS X 0005:2002|2002}}
}}
* {{cite book
  |title=ISO/IEC 2382:2015 Information technology — Vocabulary
  |publisher=ISO/IEC
  |editor1=ISO
  |editor2=IEC
  |date=2015-05
  |ref={{sfnref|ISO/IEC 2382:2015|2015}}
}}
* {{cite book
  |first=Donald E.
  |last=Knuth
  |title=The Art of Computer Programming Volume 2: Seminumerical Algorithms
  |edition=3rd
  |publisher=Addison-Wesley
  |date=1997
  |isbn=0-201-89684-2
  |ref={{sfnref|Knuth “TAOCP” vol. 2, 3rd ed.|1997}}
}}

== 関連項目 ==
* [[加算器]]
* [[2の補数]]
* [[1の補数]]
* [[符号付数値表現]]

{{DEFAULTSORT:ほすう}}
[[Category:数の表現]]
[[Category:数学に関する記事]]