規格 - 浮動小数点数 - 版の履歴

Wiki: /* 浮動小数点数の誤差 */

2025-12-23T17:27:47Z

浮動小数点数の誤差

← 古い版		2025年12月24日 (水) 02:27時点における版
262行目:		262行目:
	例.<br>		例.<br>
	以下のような絶対値のほぼ等しい値があるとする。<br>		以下のような絶対値のほぼ等しい値があるとする。<br>
	A = 1.1111111123334455667788<br>		<math>A = 1.1111111123334455667788</math><br>
	B = 1.111111111111111111111122<br>		<math>B = 1.111111111111111111111122</math><br>
	<br>		<br>
	A - ~~Bを行った後、正規化する。~~<br>		<math>A - B</math> を行った後、正規化する。<br>
	1.~~2223344556666×10<sup>~~-7</~~sup~~> ~~(1)~~<br>		<math>1.2223344556666 \times 10^{-7} \quad \cdots \, \mbox{(1)}</math><br>
	<br>		<br>
	上記を、有効桁数10桁の浮動小数点数で計算する。<br>		上記を、有効桁数10桁の浮動小数点数で計算する。<br>
	a = 1.111111123<br>		<math>a = 1.111111123</math><br>
	b = 1.111111111<br>		<math>b = 1.111111111</math><br>
	<br>		<br>
	a - ~~bを行った後、正規化する。~~<br>		<math>a - b</math> を行った後、正規化する。<br>
	1.~~200000000×10<sup>~~-7</~~sup~~> ~~(2)~~<br>		<math>1.200000000 \times 10^{-7} \quad \cdots \, \mbox{(2)}</math><br>
	<br>		<br>
	~~上記の~~(1)を有効桁数10桁に変換する。<br>		上記の演算結果(1)を有効桁数10桁に変換する。<br>
	(2)は(1)~~と比べて桁数が減少して、ほぼ等しい値にも関わらず、大きな誤差が生じていることが分かる。~~<br>		演算結果(2)は、演算結果(1)と比べて桁数が減少して、ほぼ等しい値にもかかわらず大きな誤差が生じていることが分かる。<br>
	1.~~222334455×10<sup>~~-7</~~sup~~> ~~… (1)~~<br>		<math>1.222334455 \times 10^{-7} \quad \cdots \, \mbox{(1)}</math><br>
	1.~~200000000×10<sup>~~-7</~~sup~~> ~~… (2)~~<br>		<math>1.200000000 \times 10^{-7} \quad \cdots \, \mbox{(2)}</math><br>
	<br>		<br>
	==== 情報落ち ====		==== 情報落ち ====
288行目:		288行目:
	例		例
	以下のような大きな値と小さい値があるとする。<br>		以下のような大きな値と小さい値があるとする。<br>
	~~A＝1100000000000~~<br>		<math>A = 1100000000000</math><br>
	~~B＝0~~.11<br>		<math>B = 0.11</math><br>
	<br>		<br>
	両方の値を有効桁数10桁の浮動小数点数に変換する。<br>		両方の値を有効桁数10桁の浮動小数点数に変換する。<br>
	a = 1.~~100000000×10<sup>~~12</~~sup~~><br>		<math>a = 1.100000000 \times 10^{12}</math><br>
	b = 1.~~100000000×10<sup>~~-1</~~sup~~><br>		<math>b = 1.100000000 \times 10^{-1}</math><br>
	<br>		<br>
	この時、bの指数をaに合わせると仮数部が0となり情報が落ちる。<br>		この時、bの指数をaに合わせると仮数部が0となり情報が落ちる。<br>
	b = 0.~~000000000×10<sup>~~12</~~sup~~><br>		<math>b = 0.000000000 \times 10^{12}</math><br>
	<br>		<br>

	==== 打ち切り誤差 ====		==== 打ち切り誤差 ====
	無限小数等の値に対して、ある程度の時点で処理を打ち切ることで発生する誤差のことである。<br>		無限小数等の値に対して、ある程度の時点で処理を打ち切ることで発生する誤差のことである。<br>

2025年12月23日 (火) 17:04にWikiによる

2025-12-23T17:04:00Z

← 古い版		2025年12月24日 (水) 02:04時点における版
36行目:		36行目:
	*: 仮数部は、数値の有効桁 (精度) を表す。		*: 仮数部は、数値の有効桁 (精度) を表す。
	*: 仮数部は、通常、1.XXXX...の形で表現され、仮数部にはこの小数部分が格納される。 (先頭の1は省略される)		*: 仮数部は、通常、1.XXXX...の形で表現され、仮数部にはこの小数部分が格納される。 (先頭の1は省略される)
			<br>
			[[ファイル:IEEE754 Float Block Diagram.jpg\|フレームなし\|中央]]
	<br>		<br>
	===== 例: 9.875<sub>(10)</sub> =====		===== 例: 9.875<sub>(10)</sub> =====
142行目:		144行目:
	* M : 仮数部		* M : 仮数部
	* E : 指数部		* E : 指数部
			<br>
			[[ファイル:IEEE754 Double Block Diagram.jpg\|フレームなし\|中央]]
	<br>		<br>
	===== 例 : 倍精度浮動小数点数 =====		===== 例 : 倍精度浮動小数点数 =====
306行目:		310行目:

	__FORCETOC__		__FORCETOC__
	[[カテゴリ:C]][[カテゴリ:C++]][[カテゴリ:MFC]][[カテゴリ:Qt]][[カテゴリ:C_Sharp]]		[[カテゴリ:C]][[カテゴリ:C++]][[カテゴリ:MFC]][[カテゴリ:Qt]][[カテゴリ:C_Sharp]][[カテゴリ:Rust]][[カテゴリ:Python]][[カテゴリ:Web]]

Wiki: /* 浮動小数点数の構造 */

2025-12-23T16:37:20Z

浮動小数点数の構造

← 古い版		2025年12月24日 (水) 01:37時点における版
179行目:		179行目:
	単精度浮動小数点数(float型)は、4バイトのサイズを持ち、符号部(1bit)、指数部(8bit)、仮数部(23bit)で表す。<br>		単精度浮動小数点数(float型)は、4バイトのサイズを持ち、符号部(1bit)、指数部(8bit)、仮数部(23bit)で表す。<br>
	<br>		<br>
	~~指数部は、-~~127のバイアスが掛かる。<br>		<u>指数部は、実際の指数 + 127のバイアスが掛かる。</u><br>
	仮数部は、仮数の小数点以下を表す。すなわち、仮数は仮数部の先頭に1(ケチ表現)を付加したものとなる。<br>		仮数部は、仮数の小数点以下を表す。すなわち、仮数は仮数部の先頭に1(ケチ表現)を付加したものとなる。<br>
	単精度浮動小数点数(float型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>(~~指数部 -~~ 127)</sup> × 1.仮数部		単精度浮動小数点数(float型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>指数部 = (実際の指数 + 127)</sup> × 1.仮数部
	<br>		<br>
	* 仮数部 : 2進数から10進数への変換		* 仮数部 : 2進数から10進数への変換
208行目:		208行目:
	倍精度浮動小数点数(double型)は、単精度浮動小数点数(float型)に比べて、倍の精度(8byte)を持ち、符号部(1bit)、指数部(11bit)、仮数部(52bit)で表す。<br>		倍精度浮動小数点数(double型)は、単精度浮動小数点数(float型)に比べて、倍の精度(8byte)を持ち、符号部(1bit)、指数部(11bit)、仮数部(52bit)で表す。<br>
	<br>		<br>
	<u>~~指数部は、-~~1023のバイアスが掛かる。</u><br>		<u>指数部は、実際の指数 + 1023のバイアスが掛かる。</u><br>
	仮数部は、仮数の小数点以下を表す。<br>		仮数部は、仮数の小数点以下を表す。<br>
	すなわち、仮数は仮数部の先頭に1 (ケチ表現) を付加したものとなる。<br>		すなわち、仮数は仮数部の先頭に1 (ケチ表現) を付加したものとなる。<br>
	倍精度浮動小数点数(double型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>(~~指数部 -~~ 1023)</sup> × 1.仮数部		倍精度浮動小数点数(double型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>指数部 = (実際の指数 + 1023)</sup> × 1.仮数部
	<br>		<br>
	* 仮数部 : 2進数から10進数への変換		* 仮数部 : 2進数から10進数への変換

Wiki: /* 例: IEEE754形式 (倍精度浮動小数点数) への変換 */

2025-12-23T16:23:36Z

例: IEEE754形式 (倍精度浮動小数点数) への変換

← 古い版		2025年12月24日 (水) 01:23時点における版
128行目:		128行目:
	*: 指数部は、数値を2の何乗するかを示す。		*: 指数部は、数値を2の何乗するかを示す。
	*: 指数部はバイアス (基準となる値) として1023を用いたバイアス形式で表現される。		*: 指数部はバイアス (基準となる値) として1023を用いたバイアス形式で表現される。
	*: 指数部 eは、実際の指数 Eからバイアス (1023) ~~を減算することにより求められる。~~		*: 指数部 eは、実際の指数 Eからバイアス (1023) を加算することにより求められる。
	*: <math>\mbox{ 指数部 } \, \, e = \mbox{E} + 1023</math>		*: <math>\mbox{ 指数部 } \, \, e = \mbox{E} + 1023</math>
	*: <br>		*: <br>

Wiki: /* 例: IEEE754形式 (倍精度浮動小数点数) への変換 */

2025-12-23T16:23:15Z

例: IEEE754形式 (倍精度浮動小数点数) への変換

← 古い版		2025年12月24日 (水) 01:23時点における版
128行目:		128行目:
	*: 指数部は、数値を2の何乗するかを示す。		*: 指数部は、数値を2の何乗するかを示す。
	*: 指数部はバイアス (基準となる値) として1023を用いたバイアス形式で表現される。		*: 指数部はバイアス (基準となる値) として1023を用いたバイアス形式で表現される。
	*: ~~実際の指数Eは、ストアされる指数値eからバイアスを減算することにより求められる。~~		*: 指数部 eは、実際の指数 Eからバイアス (1023) を減算することにより求められる。
	*: <math>E ~~= e -~~ 1023</math>		*: <math>\mbox{ 指数部 } \, \, e = \mbox{E} + 1023</math>
	*: <br>		*: <br>
	*: 最小の正規化指数: <math>00000000001_{(2)} = -1022_{(10)}</math>		*: 最小の正規化指数: <math>00000000001_{(2)} = -1022_{(10)}</math>

Wiki: /* 例: IEEE754形式 (単精度浮動小数点数) への変換 */

2025-12-23T16:11:16Z

例: IEEE754形式 (単精度浮動小数点数) への変換

← 古い版		2025年12月24日 (水) 01:11時点における版
28行目:		28行目:
	*: 指数部は、数値を2の何乗するかを示す。		*: 指数部は、数値を2の何乗するかを示す。
	*: 指数部はバイアス (基準となる値) として127を用いたバイアス形式で表現される。		*: 指数部はバイアス (基準となる値) として127を用いたバイアス形式で表現される。
	*: ~~実際の指数Eは、ストアされる指数値eからバイアスを減算することにより求められる。~~		*: 指数部 eは、実際の指数 Eからバイアス (127) を加算することにより求められる。
	*: <math>E ~~= e -~~ 127</math>		*: <math>\mbox{ 指数部 } \, \, e = \mbox{E} + 127</math>
	*: <br>		*: <br>
	*: 最小の正規化指数: <math>00000001_{(2)} = -126_{(10)}</math>		*: 最小の正規化指数: <math>00000001_{(2)} = -126_{(10)}</math>

Wiki: /* 浮動小数点数の構造 */

2024-12-21T11:19:38Z

浮動小数点数の構造

← 古い版		2024年12月21日 (土) 20:19時点における版
170行目:		170行目:

	== 浮動小数点数の構造 ==		== 浮動小数点数の構造 ==
			==== ケチ表現 (正規化数) について ====
			仮数部は、2進数で1.xxxxx...という形式で表現される。<br>
			小数点の前の1は暗黙的に存在する (ケチ表現) とみなされる。<br>
			<br>
			そのため、例えば、仮数部が23ビットの場合は実質24ビット分の精度を得ることができる。<br>
			<br>
	==== 単精度浮動小数点数(float型) ====		==== 単精度浮動小数点数(float型) ====
	単精度浮動小数点数(float型)は、4バイトのサイズを持ち、符号部(1bit)、指数部(8bit)、仮数部(23bit)で表す。<br>		単精度浮動小数点数(float型)は、4バイトのサイズを持ち、符号部(1bit)、指数部(8bit)、仮数部(23bit)で表す。<br>
177行目:		183行目:
	単精度浮動小数点数(float型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>(指数部 - 127)</sup> × 1.仮数部		単精度浮動小数点数(float型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>(指数部 - 127)</sup> × 1.仮数部
	<br>		<br>
	~~単精度浮動小数点数~~(float型)の精度(有効桁数)は、2進数では24(=23 + 1)桁、10進数では約7桁となる。<br>		* 仮数部 : 2進数から10進数への変換
			*: 2進数24桁は、<math>\log_{10} 2^{24} \cong 7.22 ...</math><br>
			<br>
			したがって、単精度浮動小数点数(float型)の精度(有効桁数)は、2進数では24 (= 23 + 1) 桁、10進数では約7桁となる。<br>
			<br>
	指数部も有限であるため、単精度浮動小数点数(float型)で表すことのできる実数の絶対値は、以下の範囲に限られる。<br>		指数部も有限であるため、単精度浮動小数点数(float型)で表すことのできる実数の絶対値は、以下の範囲に限られる。<br>
	<math>1.175494 \times 10^{-38} < x < 3.402823 \times 10^{38}</math><br>		<math>1.175494 \times 10^{-38} < x < 3.402823 \times 10^{38}</math><br>
198行目:		208行目:
	倍精度浮動小数点数(double型)は、単精度浮動小数点数(float型)に比べて、倍の精度(8byte)を持ち、符号部(1bit)、指数部(11bit)、仮数部(52bit)で表す。<br>		倍精度浮動小数点数(double型)は、単精度浮動小数点数(float型)に比べて、倍の精度(8byte)を持ち、符号部(1bit)、指数部(11bit)、仮数部(52bit)で表す。<br>
	<br>		<br>
	指数部は、-1023のバイアスが掛かる。<br>		<u>指数部は、-1023のバイアスが掛かる。</u><br>
	~~仮数部は、仮数の小数点以下を表す。すなわち、仮数は仮数部の先頭に1~~(ケチ表現) を付加したものとなる。<br>		仮数部は、仮数の小数点以下を表す。<br>
			すなわち、仮数は仮数部の先頭に1 (ケチ表現) を付加したものとなる。<br>
	倍精度浮動小数点数(double型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>(指数部 - 1023)</sup> × 1.仮数部		倍精度浮動小数点数(double型)の表す値 = (-1)<sup>符号部</sup> × 2<sup>(指数部 - 1023)</sup> × 1.仮数部
	<br>		<br>
	~~倍精度浮動小数点数~~(double型)の精度(有効桁数)は、2進数では53(=52 + 1)~~桁、10進数では約15桁となる。~~<br>		* 仮数部 : 2進数から10進数への変換
			*: 2進数24桁は、<math>\log_{10} 2^{53} \cong 15.954 ...</math><br>
			<br>
			したがって、倍精度浮動小数点数(double型)の精度(有効桁数)は、2進数では53 (= 52 + 1) 桁、10進数では約15桁 (16桁弱) となる。<br>
	<br>		<br>
	指数部も有限であるため、倍精度浮動小数点数(double型)で表すことができる実数の絶対値は、以下の範囲に限られる。<br>		指数部も有限であるため、倍精度浮動小数点数(double型)で表すことができる実数の絶対値は、以下の範囲に限られる。<br>

Wiki: /* 例: IEEE754形式 (倍精度浮動小数点数) への変換 */

2024-06-21T14:24:18Z

例: IEEE754形式 (倍精度浮動小数点数) への変換

← 古い版		2024年6月21日 (金) 23:24時点における版
130行目:		130行目:
	*: 実際の指数Eは、ストアされる指数値eからバイアスを減算することにより求められる。		*: 実際の指数Eは、ストアされる指数値eからバイアスを減算することにより求められる。
	*: <math>E = e - 1023</math>		*: <math>E = e - 1023</math>
			*: <br>
			*: 最小の正規化指数: <math>00000000001_{(2)} = -1022_{(10)}</math>
			*: 最大の正規化指数: <math>11111111110_{(2)} = 1023_{(10)}</math>
	* 仮数部 (Mantissa or Significand) : 52ビット		* 仮数部 (Mantissa or Significand) : 52ビット
	*: 仮数部は、数値の有効桁 (精度) を表す。		*: 仮数部は、数値の有効桁 (精度) を表す。
156行目:		159行目:
	<math>(+1) \times 1.25 \times 2^{4} = 1.25 \times 16 = 20.0</math><br>		<math>(+1) \times 1.25 \times 2^{4} = 1.25 \times 16 = 20.0</math><br>
	<br>		<br>

	==== 特殊な値 ====		==== 特殊な値 ====
	* ゼロ		* ゼロ

Wiki: /* 例: IEEE754形式 (単精度浮動小数点数) への変換 */

2024-06-21T14:21:47Z

例: IEEE754形式 (単精度浮動小数点数) への変換

← 古い版		2024年6月21日 (金) 23:21時点における版
31行目:		31行目:
	*: <math>E = e - 127</math>		*: <math>E = e - 127</math>
	*: <br>		*: <br>
	*: ~~ただし、2の補数表示であるため、最小値は~~ <math>~~10000000_~~{(2)} = -~~128_~~{(10)}</math>~~、最大値は~~ <math>~~01111111_~~{(2)} = ~~+127~~</math>		*: 最小の正規化指数: <math>00000001_{(2)} = -126_{(10)}</math>
			*: 最大の正規化指数: <math>11111110_{(2)} = 127_{(10)}</math>
	* 仮数部 : 23ビット		* 仮数部 : 23ビット
	*: 仮数部は、数値の有効桁 (精度) を表す。		*: 仮数部は、数値の有効桁 (精度) を表す。

Wiki: /* 例: IEEE754形式 (単精度浮動小数点数) への変換 */

2024-06-21T14:10:15Z

例: IEEE754形式 (単精度浮動小数点数) への変換

← 古い版		2024年6月21日 (金) 23:10時点における版
30行目:		30行目:
	*: 実際の指数Eは、ストアされる指数値eからバイアスを減算することにより求められる。		*: 実際の指数Eは、ストアされる指数値eからバイアスを減算することにより求められる。
	*: <math>E = e - 127</math>		*: <math>E = e - 127</math>
			*: <br>
			*: ただし、2の補数表示であるため、最小値は <math>10000000_{(2)} = -128_{(10)}</math>、最大値は <math>01111111_{(2)} = +127</math>
	* 仮数部 : 23ビット		* 仮数部 : 23ビット
	*: 仮数部は、数値の有効桁 (精度) を表す。		*: 仮数部は、数値の有効桁 (精度) を表す。

Wiki: /* 例: 0.3125(10) */

2024-06-21T14:06:48Z

例: 0.3125(10)

@@ 95行目: / 95行目: @@
 #: これにより、<math>0.3125_{(10)}</math> をIEEE754形式の32ビットの浮動小数点数にした値は <math>00111110110100000000000000000000_{(2)}</math> となる。
 <br>
 ==== 例: IEEE754形式 (倍精度浮動小数点数) への変換 ====
 IEEE 754 倍精度浮動小数点数 (double-precision floating-point number) は、コンピュータで浮動小数点数を表現するための標準規格である。<br>

Wiki: /* 例: IEEE754形式 (単精度浮動小数点数) への変換 */

2024-06-21T14:00:40Z

例: IEEE754形式 (単精度浮動小数点数) への変換

@@ 16行目: / 16行目: @@
 == IEEE 754形式 ==
 ==== 例: IEEE754形式 (単精度浮動小数点数) への変換 ====
 ===== 例: 9.875<sub>(10)</sub> =====
 以下の例では、<math>9.875_{(10)}</math> をIEEE754形式の浮動小数点に変換している。<br>
@@ 76行目: / 94行目: @@
 # 変換完了
 #: これにより、<math>0.3125_{(10)}</math> をIEEE754形式の32ビットの浮動小数点数にした値は <math>00111110110100000000000000000000_{(2)}</math> となる。
 <br><br>

Wiki: /* 例: IEEE754形式への変換 */

2024-06-21T13:36:19Z

例: IEEE754形式への変換

← 古い版		2024年6月21日 (金) 22:36時点における版
15行目:		15行目:

	== IEEE 754形式 ==		== IEEE 754形式 ==
	==== 例: ~~IEEE754形式への変換~~ ====		==== 例: IEEE754形式 (単精度浮動小数点数) への変換 ====
	===== 例: 9.875<sub>(10)</sub> =====		===== 例: 9.875<sub>(10)</sub> =====
	以下の例では、<math>9.875_{(10)}</math> をIEEE754形式の浮動小数点に変換している。<br>		以下の例では、<math>9.875_{(10)}</math> をIEEE754形式の浮動小数点に変換している。<br>

Wiki: /* 単精度浮動小数点数(float型) */

2024-06-21T13:34:54Z

単精度浮動小数点数(float型)

← 古い版		2024年6月21日 (金) 22:34時点における版
99行目:		99行目:
	printf("FLT_MIN = %e, FLT_MAX =%e\n", FLT_MIN, FLT_MAX);		printf("FLT_MIN = %e, FLT_MAX =%e\n", FLT_MIN, FLT_MAX);

	return 0;		return 0;
	}		}
	</syntaxhighlight>		</syntaxhighlight>
	<br>		<br>

	==== 倍精度浮動小数点数(double型) ====		==== 倍精度浮動小数点数(double型) ====
	倍精度浮動小数点数(double型)は、単精度浮動小数点数(float型)に比べて、倍の精度(8byte)を持ち、符号部(1bit)、指数部(11bit)、仮数部(52bit)で表す。<br>		倍精度浮動小数点数(double型)は、単精度浮動小数点数(float型)に比べて、倍の精度(8byte)を持ち、符号部(1bit)、指数部(11bit)、仮数部(52bit)で表す。<br>

Wiki: /* 例: 10進数をIEEE754形式にする */

2024-06-21T11:49:22Z

例: 10進数をIEEE754形式にする

@@ 15行目: / 15行目: @@
 == IEEE 754形式 ==
-==== 例: 10進数をIEEE754形式にする ====
+==== 例: IEEE754形式への変換 ====
 以下の例では、<math>9.875_{(10)}</math> をIEEE754形式の浮動小数点に変換している。<br>
 <br>
@@ 34行目: / 35行目: @@
 #: 指数表記から浮動小数点数に格納する数に変換する。
 #: <br>
-#:* 仮数部
+#:* 符号部
 #:*: <math>1.001111 \times 2^{3}</math> は正であるため、IEEE754形式の仮数部は <math>0</math> となる。
 #:* 指数部
@@ 45行目: / 46行目: @@
 # 変換完了
 #: これにより、<math>9.875_{(10)}</math> をIEEE754形式の32ビットの浮動小数点数にした値は <math>01000001000111100000000000000000_{(2)}</math> となる。
 <br><br>

Wiki: /* 例: 10進数をIEEE754形式にする */

2024-06-21T11:20:19Z

例: 10進数をIEEE754形式にする

← 古い版		2024年6月21日 (金) 20:20時点における版
37行目:		37行目:
	#:*: <math>1.001111 \times 2^{3}</math> は正であるため、IEEE754形式の仮数部は <math>0</math> となる。		#:*: <math>1.001111 \times 2^{3}</math> は正であるため、IEEE754形式の仮数部は <math>0</math> となる。
	#:* 指数部		#:* 指数部
	#:*: <math>1.001111 \times 2^{3}</math> の指数は <math>3_{(10)}</math> であるため、(8ビットの)2進数にすると <math>~~00000011~~</math> となる。		#:*: <math>1.001111 \times 2^{3}</math> の指数は <math>3_{(10)}</math> であるため、(8ビットの)2進数にすると <math>00000011_{(2)}</math> となる。
	#:*: ~~さらに、指数に~~ <math>01111111_{(2)} \, \, = 127_{(10)}</math> を加算すると、<math>~~10000010~~</math> となる。		#:*: この <math>00000011_{(2)} \, \, = 3_{(10)}</math> に <math>01111111_{(2)} \, \, = 127_{(10)}</math> を加算すると、<math>10000010_{(2)} \, \, = 130_{(10)}</math> となる。
	#:* 仮数部		#:* 仮数部
	#:*: 上記で求めた仮数 <math>1.001111</math> の小数点以下の数 <math>001111</math> を仮数部の先頭から格納する。		#:*: 上記で求めた仮数 <math>1.001111</math> の小数点以下の数 <math>001111</math> を仮数部の先頭から格納する。

Wiki: /* IEEE 754 = */

2024-06-21T11:18:18Z

IEEE 754 =

← 古い版		2024年6月21日 (金) 20:18時点における版
14行目:		14行目:
	<br><br>		<br><br>

	== IEEE ~~754 =~~==		== IEEE 754形式 ==
	==== 例: 10進数をIEEE754形式にする ====		==== 例: 10進数をIEEE754形式にする ====
	以下の例では、<math>9.875_{(10)}</math> をIEEE754形式の浮動小数点に変換している。<br>		以下の例では、<math>9.875_{(10)}</math> をIEEE754形式の浮動小数点に変換している。<br>

Wiki: /* 概要 */

2024-06-21T11:17:58Z

概要

@@ 12行目: / 12行目: @@
 例えば、0.1を浮動小数点数で表すと、0.1<sub>(10)</sub> = 0.000110011001100110011...<sub>(2)</sub>と無限に続くが、コンピュータ内部では有限桁で丸められるため、<br>
 真値ではなく、近似値で表現することになる。<br>
 <br><br>

Wiki: /* 情報落ち */

2021-08-06T08:25:57Z

情報落ち

@@ 112行目: / 112行目: @@
 浮動小数点数の加減算は、指数部を大きい方に揃えてから仮数部同士の計算をするため、値の差が大きいと小さい値は指数を大きくするために仮数部が0になるからである。<br>
 <br>
 ==== 打ち切り誤差 ====
 無限小数等の値に対して、ある程度の時点で処理を打ち切ることで発生する誤差のことである。<br>

Wiki: ページの作成:「== 概要 == 浮動小数点数とは、実数の表現方法の1つであり、2進数の有限桁数で表された数値である。(対義語は、固定小数点数)…」

2021-08-06T08:14:33Z

ページの作成:「== 概要 == 浮動小数点数とは、実数の表現方法の1つであり、2進数の有限桁数で表された数値である。(対義語は、固定小数点数)…」

新規ページ

== 概要 ==
浮動小数点数とは、実数の表現方法の1つであり、2進数の有限桁数で表された数値である。(対義語は、固定小数点数) 
小数点の位置を変えて表現するため、浮動(動く)の小数点と呼ばれる。 
 
固定小数点数は、小数点の位置を固定して表現される。 
 
以下に、浮動小数点数の例を示す。 
1.5(10) = 1.1(2)
3.25(10) = 11.01(2)
 >
理論的には小数が無限に続く値でも、その内の有限個の桁数でその値を表す。 
例えば、0.1を浮動小数点数で表すと、0.1(10) = 0.000110011001100110011...(2)と無限に続くが、コンピュータ内部では有限桁で丸められるため、 
真値ではなく、近似値で表現することになる。 
 

== 浮動小数点数の構造 ==
==== 単精度浮動小数点数(float型) ====
単精度浮動小数点数(float型)は、4バイトのサイズを持ち、符号部(1bit)、指数部(8bit)、仮数部(23bit)で表す。 
 
指数部は、-127のバイアスが掛かる。 
仮数部は、仮数の小数点以下を表す。すなわち、仮数は仮数部の先頭に1(ケチ表現)を付加したものとなる。 
単精度浮動小数点数(float型)の表す値 = (-1)符号部 × 2(指数部 - 127) × 1.仮数部
 
単精度浮動小数点数(float型)の精度(有効桁数)は、2進数では24(=23 + 1)桁、10進数では約7桁となる。 
指数部も有限であるため、単精度浮動小数点数(float型)で表すことのできる実数の絶対値は、以下の範囲に限られる。 
<math>1.175494 \times 10^{-38} < x < 3.402823 \times 10^{38}</math> 
 
C言語において、単精度浮動小数点数の下限値および上限値は、float.hファイルの<code>FLT_MIN</code>および<code>FLT_MAX</code>というマクロで定義されている。 
<syntaxhighlight lang="c">
#include <stdio.h>
#include <float.h>

int main()
{
printf("FLT_MIN = %e, FLT_MAX =%e\n", FLT_MIN, FLT_MAX);

return 0;
}
</syntaxhighlight>
 
==== 倍精度浮動小数点数(double型) ====
倍精度浮動小数点数(double型)は、単精度浮動小数点数(float型)に比べて、倍の精度(8byte)を持ち、符号部(1bit)、指数部(11bit)、仮数部(52bit)で表す。 
 
指数部は、-1023のバイアスが掛かる。 
仮数部は、仮数の小数点以下を表す。すなわち、仮数は仮数部の先頭に1(ケチ表現) を付加したものとなる。 
倍精度浮動小数点数(double型)の表す値 = (-1)符号部 × 2(指数部 - 1023) × 1.仮数部
 
倍精度浮動小数点数(double型)の精度(有効桁数)は、2進数では53(=52 + 1)桁、10進数では約15桁となる。 
 
指数部も有限であるため、倍精度浮動小数点数(double型)で表すことができる実数の絶対値は、以下の範囲に限られる。 
<math>2.225074 \times 10^{-308} < x < 1.797693 \times 10^{308}</math> 
 
C言語において、単精度浮動小数点数の下限値および上限値は、float.hファイルの<code>DBL_MIN</code>および<code>DBL_MAX</code>というマクロで定義されている。 
<syntaxhighlight lang="c">
#include <stdio.h>
#include <float.h>

int main()
{
printf("DBL_MIN = %e, DBL_MAX =%e\n", DBL_MIN, DBL_MAX);

return 0;
}
</syntaxhighlight>
 
現在のコンピュータでは、float型よりもdouble型を使用することが多い。 
その理由として、以下が挙げられる。 
* 精度が良い。
* 計算速度が速い。
 
計算速度が速い理由は、現在のコンピュータには、double型のデータを扱う専用回路が存在するからである。 
float型の計算を行う場合、double型に変換した後、double型の専用回路で計算して、再度float型に変換するため、float型の方が計算時間が多く掛かる。 
 

== 浮動小数点数の誤差 ==
==== 丸め誤差 ====
仮数部が循環小数となる場合、仮数(の桁)が有限になるため、特定の桁数で四捨五入・切り捨て等を行うことにより発生する誤差である。 
10進数を2進数に変換する時に、発生する誤差のことである。 
 
==== 桁落ち ====
桁数が決まっている浮動小数点数において、絶対値がほぼ等しい数値を減算した時に、実際の数値と比べて著しく桁数が減る誤差のことである。 
(桁が落ちるのは、基本的に少数以下の部分である) 
 
絶対値がほぼ等しい値同士を減算する場合、その差異は非常に小さな値となる。 
浮動小数点数では桁数が決まっているため、非常に小さい値は切り捨てられる場合が多い。 
この値を正規化する時、非常に小さい値は切り捨てられているため、0となり、実際の数値より小数点以下の桁数が大きく減ってしまう。 
 
例. 
以下のような絶対値のほぼ等しい値があるとする。 
A = 1.1111111123334455667788 
B = 1.111111111111111111111122 
 
A - Bを行った後、正規化する。 
1.2223344556666×10-7 (1) 
 
上記を、有効桁数10桁の浮動小数点数で計算する。 
a = 1.111111123 
b = 1.111111111 
 
a - bを行った後、正規化する。 
1.200000000×10-7 (2) 
 
上記の(1)を有効桁数10桁に変換する。 
(2)は(1)と比べて桁数が減少して、ほぼ等しい値にも関わらず、大きな誤差が生じていることが分かる。 
1.222334455×10-7 … (1) 
1.200000000×10-7 … (2) 
 
==== 情報落ち ====
絶対値の差が非常に大きい2つの値の加減算を行う場合、小さい値が無視される誤差のことである。 
桁数の決まっている浮動小数点数の計算において発生する誤差である。 
 
浮動小数点数の加減算は、指数部を大きい方に揃えてから仮数部同士の計算をするため、値の差が大きいと小さい値は指数を大きくするために仮数部が0になるからである。 
 
==== 打ち切り誤差 ====
無限小数等の値に対して、ある程度の時点で処理を打ち切ることで発生する誤差のことである。 
 
丸め誤差との違いを以下に示す。 
* 丸め誤差
*: 10進数から2進数に変換する場合等に、特定の桁数で四捨五入や切り捨て等を行うことで生じる誤差。
* 打ち切り誤差
*: 円周率等の無限小数が続く計算を途中で止めることで生じる誤差。
 

__FORCETOC__
[[カテゴリ:C]][[カテゴリ:C++]][[カテゴリ:MFC]][[カテゴリ:Qt]][[カテゴリ:C_Sharp]]