Wikippe - 利用者の投稿記録 [ja]

心停止

2014-03-25T09:50:07Z

124.18.203.237: /* 関連項目 */

{{出典の明記|date=2011年10月|ソートキー=医}}
'''心停止'''（しんていし、cardiac arrest）とは、[[心臓]]が有効な循環を保てなくなっている状態のことで、脈の触知不能、[[血圧]]の測定不能から診断される。

心停止を来す[[不整脈]]は以下のようなものがある。
; 心静止 (asystole)
: [[心電図]]は平坦となり、心臓は電気的に活動していない
; 無脈性電気活動 (pulseless electrical activity)
: 心電図上収縮波形はみられるが拍出がない
; 無脈性心室頻拍 (pulseless ventricular tachycardia)
: [[心室頻拍]]の中でも拍出のみられないもの
; [[心室細動]] (ventricular fibrillation)
: [[心筋]]が不規則に収縮し統一した収縮運動がみられない

発症後数分で死に至る（心拍が再開しなくなる）ため、[[心臓マッサージ]]を始めとする迅速な処置が必要である（[[心肺蘇生法]]を参照）。また、無脈性心室頻拍と心室細動に対しては[[電気的除細動|除細動]]のみが有効で、直ちに試みなければならない。このため[[自動体外式除細動器|AED]]がいろいろなところに設置されている（前2者には無効である）。

薬剤は[[アドレナリン]]あるいは[[抗利尿ホルモン]]（バソプレッシン）を用いる。心静止に対してはアトロピンも考慮する。心室性頻拍には抗不整脈薬を用いることもある。


== 参考文献 ==  
{{節stub}}

== 関連項目 ==
{{Commonscat|Cardiac arrest}}
* [[心臓血管外科学]]
* [[心肺停止]]
* [[心肺蘇生法]]
* [[心臓麻痺]]
* [[電気的除細動]]
* [[自動体外式除細動器]]
* [[脳死]]

== 外部リンク == 
{{節stub}}

{{心血管疾患}}
{{Medical-stub}}

{{デフォルトソート:しんていし}}
[[Category:症候]]
{{Link FA|hu}}

数学的構造

2014-03-09T23:21:46Z

124.18.203.237: /* 定義 */

[[数学]]における'''構造'''（こうぞう、{{lang|en|mathematical ''structure''}}）とは、[[ニコラ・ブルバキ|ブルバキ]]によって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは[[圏論|圏]]の対象に構造を決めることで、その構造に対する[[準同型]]が構造を保つ[[写像]]として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。

== 定義 ==
*集合論的な定義（ブルバキ「集合論」4章による）
構造種とは以下の四つからなる。
*主基集合──[[順序集合|順序]]ならば、順序の定義される集合。[[位相空間|位相]]ならば、位相の定義される集合。複数あってもよい
*副基集合──なくてもよい。[[ベクトル空間]]ならば、ある[[体 (数学)|体]]。複素多様体ならば、[[複素数|複素数体]]
*代表的特性記述──「主基集合と副基集合から、[[直積]]と[[べき集合]]をとることを繰り返して得られる集合（階梯と呼ばれる）にある集合（'''構造'''と呼ばれる）が含まれる」ということを表す[[論理式]]。複数あってもよい。
*[[公理]]──構造が満たす[[論理式]]。ただし''移行可能''であるという条件が付く。この条件は、準同型などを定義する際に必要になる?

== 例 ==
位相空間の構造種は、主基集合が位相の定義される集合（ X とする）で、副基集合はなし。代表的特性記述は ''O''∈P(P(X)) で（ ''O'' は普通にいう開集合系）、公理は「{},X∈''O'' 、かつ、A,B∈''O'' ならば A∩B∈''O'' 、かつ、Oλ∈''O'' をみたす任意の {Oλ}λ∈Λ に対して ∪Oλ∈''O'' 」である。

== 構造の例 ==
*[[順序的構造]]
*[[代数的構造]]
*[[位相的構造]]

例えば、実数は上の三つの構造をすべて持っている。すなわち、実数は全順序集合であり、体であり、また距離空間である。

== 構造とブルバキズムに対する批判 ==

*一般的な枠組みから数学の記述を目指したにもかかわらず[[圏論]]を無視したこと。
*[[数学基礎論|基礎論]]に対する偏った扱い。
*過度の抽象性が引き起こした教育的配慮のなさ。

== 関連項目 ==
*[[構造#数学における構造]]
*[[構造主義]]

{{DEFAULTSORT:すうかくてきこうそう}}
[[Category:数学的構造|* こうそう]]
[[Category:数学に関する記事|こうそう]]
[[Category:型理論]]

浮動小数点数

2014-03-06T19:23:33Z

124.18.203.237: /* デジタル信号処理 */

'''浮動小数点数'''（ふどうしょうすうてんすう）は、浮動小数点方式による[[数]]のことで、もっぱら[[コンピュータの数値表現]]において、それぞれ固定長の仮数部と指数部を持つ、数値の表現法により表現された数である。
==概要==
指数表現によって可能な十分に広い[[絶対値]]の範囲内において、仮数部の桁数に依って常に一定の範囲内の相対誤差で任意の実数を近似できるという特性がある。そのため、極端な数を扱う分野（科学計算など）で多く用いられている。また、[[プログラミング言語]]のほとんどが対応しているということもあり、[[小数]]の表現方法としては最も普及している。

整数演算と同じ操作で処理が済む[[固定小数点数|固定小数点]]と違い、通常の整数演算命令を使って実装すると多くの命令と、時間が必要になる。処理の軽減のため、演算にはハードウェアで実装した[[FPU]]などの[[コプロセッサ]]を用い、現在の[[マイクロプロセッサ]]などの多くでは内蔵されていることが多い。

なお、この記事では固定精度の浮動小数点数のみ扱う。任意精度の浮動小数点については[[任意精度演算]]を参照のこと。
==浮動小数点数の構造==
浮動小数点数では次のデータで数値を表現する。

* [[仮数]]
** （仮数の）符号
** （値が非0の場合、1以上で基数未満の、または、1以下の）仮数の絶対値
* 基数（1より大きい整数）
* 指数（符号付き整数）

現在広く使われている表現方法ではいずれも基数を固定しており、明示的に符号化しないため、実際に符号化されるのは、次の3つである。

* 符号部（1[[ビット]]）
* 仮数部（符号なし整数）
* 指数部（符号付き整数）

浮動小数点数では、数値の絶対値は（仮数部）×（基数）（指数部）となる。たとえば、0.5を浮動小数点数で表すと、基数が10の場合は5.0×10-1（5.0e-1）、基数が2の場合は1.0×2-1となる。

2進法で正規化をすると、最上位ビットは常に1になるので、これを表さず常に1があるものとみなす省略が可能で、省略した表現をケチ表現などと言う。この省略を使うと、仮数部に割り当てたビット数がnであれば、有効桁数はn+1となる。

0を表す場合は符号部、仮数部、指数部のすべてのビットを0とすると都合が良いことからそのようにされることが多い。またその場合は+0.0で、浮動小数点では他に符号部が負をあらわし他が0の-0.0という0もあることがある。たとえば正の数を負の無限大で割ったり、負の数を正の無限大で割ったりすると-0.0になる。
==浮動小数点数のフォーマット==
主要な浮動小数点数のフォーマットには、以下がある。

*[[IEEE]]方式（[[IEEE 754]]。最も広く採用されている標準規格）
*[[IBM]]方式（IBMの[[メインフレーム]]で使われていて、指数部を基数16で表現するのが特徴）
*指数部と仮数部を可変とする方式（以下の該当する節で詳述）

それぞれ[[32ビット]]表現（[[単精度]]）と[[64ビット]]表現（[[倍精度]]）とがある。[[x87]]や[[MC68881]]は内部表現に80ビットの[[拡張倍精度]]表現を使っている。

===IEEE方式（IEEE 754 形式）===
{{main|IEEE 754}}
{{seealso|半精度|単精度|倍精度|四倍精度}}
[[ファイル:Float example.svg|thumb|350px|単精度浮動小数点数型式 sign:符号部、exponent:指数部、fraction:仮数部]]
[[ファイル:IEEE 754 Double Floating Point Format.svg|thumb|350px|倍精度浮動小数点数型式]]

IEEE 754 形式の
*半精度浮動小数点数では、符号部 1 ビット・指数部 5 ビット・仮数部 10 ビット
*単精度浮動小数点数では、符号部 1 ビット・指数部 8 ビット・仮数部 23 ビット
*倍精度浮動小数点数では、符号部 1 ビット・指数部 11 ビット・仮数部 52 ビット
*四倍精度浮動小数点数では、符号部 1 ビット・指数部 15 ビット・仮数部 112 ビット
で表現されている。各部は次のように定義されている。

*符号部は、 0 を正、1 を負とする
*仮数部は、整数部分が 1 であるような2進小数の小数部分（ケチ表現）を表す
*指数部は、符号なし2進整数とし、半精度では 15、単精度では 127、倍精度では 1023、四倍精度では 16383 のゲタを履かせた[[符号付数値表現#エクセスN|ゲタ履き表現]]で表す
つまり、IEEE 754 形式で表現する値は

:半精度の場合：　(-1) 符号部×2指数部 ‐15 ×（1＋仮数部）
:単精度の場合：　(-1) 符号部×2指数部 ‐127 ×（1＋仮数部）
:倍精度の場合：　(-1) 符号部×2指数部 ‐1023×（1＋仮数部）
:四倍精度の場合：　(-1) 符号部×2指数部 ‐16383×（1＋仮数部）

である。

ただし、IEEE 754 形式の指数部は複雑で、以下のような役割も持つ。

*通常の浮動小数点数（正規化数）を表現するのは、指数部が単精度で 254 ～ 1（127 ～ -126）、倍精度で 2046 ～ 1（1023 ～ -1022）の範囲のときである
*指数部が、単精度の場合 255（128）、倍精度の場合 2047（1024）のとき：
:仮数部が 0 以外の場合は、非数（[[NaN]]; Not a Number）を表す
:仮数部が 0 の場合は、符号部が 0 のときは正の無限大、符号部が 1 のときは負の無限大を表す
*指数部が 0（単精度の場合 -127、倍精度の場合 -1023）のとき：
:[[非正規化数]]
*指数部、仮数部ともに 0 のときは ±0 を表す

0 を 0 で割ろうとすると NaN になる。また、<math>\sqrt{-1}</math> も、求めるとNaNになる。

====IEEE 754 で表現するまでの過程====
2.5を例にとると、

*仮数の符号は、+
*仮数の絶対値は、2.5
*IEEE 754の基数は、2で固定（簡単のため、以下では省略）
*指数は、0

であることから、まず次のように考える。

:(-1)0×2.5×20

仮数部は1未満でなければならないため、仮数の値2.5を（この例では右へ）シフトし正規化する。基数は2、コンピュータの内部表現は2進法であるため、シフト量は1ビットである。さらに、右シフトして{{分数|1|2}}になったことを相殺するため、指数に1を加える（もし左シフトなら、指数から1を引く）。
値をシフトすることで表現範囲を広げ、[[#浮動小数点数の精度|丸め誤差]]を少なくなるようにしている。この操作を[[正規化]]という。正規化は基数の±1乗を繰り返し求めればよい。

このままでは (-1)0×1.25×21 となり、仮数の絶対値は1未満ではないが、仮数部は仮数 - 1 と決められているため、次のようになる。

:(-1)'''0'''×(1 + '''0.25''')×21
*符号部は、0
*仮数部は、0.25
*指数は、1

指数部は、指数に127をバイアスすることが決まっているため

:(-1)'''0'''×(1 + '''0.25''')×2('''128''' - 127)
*符号部は、0
*仮数部は、0.25
*指数部は、128

2進法では、

*符号部（1ビット）：+→0
*仮数部（23ビット）：0.25→.01000000000000000000000
*指数部（8ビット）：128→10000000

浮動小数点は、最上位ビットから符号部、指数部、仮数部の順に符号化するため

:2進値：0 10000000 01000000000000000000000、16進値：40200000

===IBM方式===
IBM方式は、IBMが[[System/360]]で導入し、以後同社の標準としてメインフレームで使った方式である。指数部が2のべき乗ではなく16のべき乗を表すという特徴がある。この方式は、より大きな範囲を少ないビット数の指数部で表すことができ、そのぶんのビットを仮数部の桁数に使うことで精度も確保できるように一見思える。しかし、仮数部にケチ表現を使うことができず、さらに指数部の変化の前後で、仮数部のLSBが表現する値の刻み幅が16倍変化するため、2べきの場合に比べ最悪の場合の精度が2進で3桁ぶん損なわれるため、大成功と一般に評されるSystem/360において、まずかった点として挙げられる設計のひとつである。

特に単精度において、前世代機のIBM 7094（全部で36ビット）よりも桁数を減らした（32ビット）こととあいまって大きく精度がそこなわれた。その他にも問題があり、ユーザグループであるSHAREから改善提案が出され、その多くを受け入れて多大なコストのかかる改修をおこなったほどであり、これを記憶しているIBMの古参社員は「身の縮む思い」をおぼえているという<ref>パターソン＆ヘネシー『コンピュータの構成と設計第3版別冊歴史展望』第3章 pp. 53-55</ref>。

また、計算対象の数値が[[ベンフォードの法則]]に従って分布していた場合、計算対象として精度の低い数（仮数部の最上位4ビットが0b0001）の現れる確率は1/15にはならず、もっと高い<ref>『ハッカーのたのしみ』15章3節（pp. 283-285）</ref>。

IBM方式の単精度浮動小数点数では、符号部1ビット、指数部7ビット、仮数部24ビットで表現されている。各部は次のように定義されている。

*符号部は、0を正、1を負とする
*仮数部は、1未満の16進小数とする
*指数部は、16を基数とした指数に64をバイアスした値で表す

符号部は仮数の符号を表す。
指数部は-1663～-16-64と16-64～1663の範囲が表現できる。これを下回れば[[算術アンダーフロー]]、上回れば[[算術オーバーフロー]]となる。
====IBM方式で表現するまでの過程====
1.5を単精度のIBM方式で表現するには、次のようになる。

:(-1)0×1.5×160

仮数部は1未満でなければならないため、値を（この例では右へ）シフトする。ただし、基数が16で、コンピュータの内部表現は2進法であるため、シフト量は4ビットである（24 = 16）。加えて正規化し、その結果は次の通り。

:(-1)0×0.09375×161

次に指数部を、64をバイアスしたゲタ履き表現（エクセス64）で表現する。バイアスにより、0～127のビットパターンで、整数値-64～+63を表現するということになる（-64 + 64 = 0、63 + 64 = 127）。
よって、今回の例では以下のようになる。

:(-1)'''0'''×'''0.09375'''×16('''65''' - 64)

2進法では、

*符号部（1ビット）：+→0
*仮数部（24ビット）：0.09375→.000110000000000000000000
*指数部（7ビット）：65→1000001

浮動小数点は、最上位ビットから符号部、指数部、仮数部の順に符号化するため

:2進値：0 1000001 000110000000000000000000、16進値：41180000

=== 指数部と仮数部を可変とする方式 ===
[[任意精度演算]]と、従来の指数部と仮数部を共に固定長とする形式の中庸と言えるような方式が、いくつか提案されている。絶対値が1に近い値では指数部の桁数を短くし、仮数部の桁数を多くとって、よく使われる値を精度よく表現する。絶対値が極端に大きい値や小さい値には、精度とひきかえに指数部の桁数を増やすことで対応する。以下で述べる方式を提案している文献では、アプリケーションとして、通常の浮動小数点計算には、指数が大きくなり過ぎることがあって向かないとされている[[w:Graeffe's method]]をうまく扱えたという例が示されている。

==== 松井・伊理の表現法 ====
松井正一と伊理正夫が提案した方式で、符号と絶対値による表現法である。論文中に示された例では、64ビットの倍精度浮動小数点数として、仮数部の長さnを示す情報6ビットと、（符号部を含む）mビットの指数部とnビットの仮数部（m+n = 58）から成る。彼らは、オーバーフローを起こさせないための、より大きい数やより小さい数の表現や、無限大などの例外的な値を含めた算術（IEEE標準の±∞や-0の扱いに似ているが、より拡張されている）も提案しているが、ここでは割愛する。<ref>松井正一, 伊理正夫「あふれのない浮動小数点表示方式」情報処理学会論文誌 Vol. 21 No. 4（1980 Jul）pp. 306～313 {{NAID|110002723544}}</ref><ref>共立『アルゴリズム辞典』p. 677</ref>

==== 浜田のURR ====
浜田穂積が提案した方式<ref>[http://ci.nii.ac.jp/naid/110002673431 Data Length Independent Real Number Representation Based on Double Exponential Cut]</ref>で、Universal Representation of Real numbersの意でURRと名付けられている<ref>「URR」という名前の初出は[http://www.ipsj.or.jp/prosym/prosyncontentsamagai.html#idx25 1984年1月の第25回プログラミング・シンポジウム]における発表「(25-9) 新しい数値表現法URR」だと思われる</ref>。-∞ ～ 0 ～ ∞ の区間を、次のように分割しながら、二進法による表現に対応付ける、というのが基本的な考え方で、「符号と絶対値」形ではなく、浮動小数点の表現としては比較的珍しい2の補数の形をしている。
* 100 = -∞
* 101 = -2
* 110 = -1
* 111 = -0.5
* 000 = 0
* 001 = 0.5
* 010 = 1
* 011 = 2 ～ ∞
ここで±1の前後は、区間の両端の比が2なので、指数部の表現は終わったとみなすことができ、残りの桁は仮数部のように扱う（±1の前後は、以後は1/2で等差分割する）。次のように分割を続ける。
* 1000 = -∞
* 1001 = -4
* 1010 = -2
* 1011 = -1.5
* 1100 = -1
* 1101 = -0.75
* 1110 = -0.5
* 1111 = -0.25
* 0000 = 0
* 0001 = 0.25
* 0010 = 0.5
* 0011 = 0.75
* 0100 = 1
* 0101 = 1.5
* 0110 = 2
* 0111 = 4 ～ ∞
以降は、0 ～ 0.25 と 4 ～ ∞ の区間に絞って説明する。
* 00000 = 0
* 00001 = 0.0625 (1/16)
* 00010 = 0.25 (1/4)

* 01110 = 4
* 01111 = 16 ～ ∞
ここで、4 = 221、16 = 222 である。このように 0 や ±∞ を含む区間は「二重指数分割」する。
* 000000 = 0
* 000001 = 0.00390625 (1/256)
* 000010 = 0.0625 (1/16)
* 000011 = 0.125 (1/8)
* 000100 = 0.25 (1/4)

* 011100 = 4
* 011101 = 8
* 011110 = 16
* 011111 = 256 ～ ∞
このように、区間の両端の比が2より大きい場合は、「等比分割」する。
以上のような操作の結果として、表現が自然に自分の長さを含むような指数部と、残りの仮数部から成る、と見ることができるような表現が得られる。

利点として、単精度と倍精度、さらには4倍精度との相互変換が、この方式では単に右にビットを伸ばしたり切り落としたりするだけで良い、という点が挙げられる。また、1の近くでは桁数のほとんどが仮数部となるので精度が高い。

欠点としては、精度が変化するため従来の精度一定を前提としたノウハウに修正が必要かもしれない、-∞を除くワードのあらゆるビット表現に浮動小数点数としての意味が与えられるため、例外的な値を表現する方法を別に考えなければいけない、などといった点がある。浜田は1000...を符号なしの∞（射影モード<ref>射影モード = projective mode、射影幾何における[[無限遠点]]のような、符号の付かない1点のみの無限大の値が実数に加わった（射影拡張実数）モード、[[拡大実数]]を参照。IEEE 754の検討段階では議論されたが、最終的な標準ではオミットされアフィンモードのみになった。</ref>用。符号なしの0と対応する）とし、表現可能な最大と最小の絶対値を持つ値を、具体的にその値を表すのではなく±∞と±0を表現するものとする（0は、通常の0を符号なしの0とし、符号付きの+0や-0は、無限大で割った結果など例外的な値としてのみ現れる）、という方法を提案している。

この表現法の初出は1981年だが<ref>浜田穂積「二重指数分割に基づくデータ長独立実数値表現法」情報処理学会論文誌 Vol. 22 No. 6 (1981 Nov) pp. 521～526 {{NAID|110002723634}}</ref>、1983年に改良版が提案されている<ref>浜田穂積「二重指数分割に基づくデータ長独立実数値表現法 II」情報処理学会論文誌 Vol. 24 No. 2 (1983 Mar) pp. 149～156 {{NAID|110002723753}}</ref>のでそちらをまずは参照すべきである。<ref>他に[http://homepage2.nifty.com/m_kamada/docsproc/asmurr.htm 鎌田誠による解説]や、共立『アルゴリズム辞典』p. 677 なども参考のこと。</ref>

いくつかの実装の報告<ref>http://ci.nii.ac.jp/naid/110002724403 http://ci.nii.ac.jp/naid/40015918740 など</ref>や改良の提案<ref>http://dx.doi.org/10.1109/12.156546 http://ci.nii.ac.jp/naid/110002885170 http://ci.nii.ac.jp/naid/110002932278 http://ci.nii.ac.jp/naid/80003909822 http://ci.nii.ac.jp/naid/110002932023 http://ci.nii.ac.jp/naid/110002722057 など</ref>がある。

==エラー（誤差）==
{{seealso|誤差#計算誤差の種類|数値解析#誤差の発生と伝播}}
;オーバーフロー／アンダーフロー : 演算結果が指数部で表現できる範囲を超える場合があるが、最大値を超えた場合は'''オーバーフロー'''、絶対値の最小より小さい場合は'''アンダーフロー'''という。IEEE 754の場合、アンダーフローは、まず結果が[[非正規化数]]となり精度が低下し、さらに進むと結果が0になる。
;桁落ち : 絶対値がほぼ等しい異符号の数値同士の加算後や、同符号でほぼ等しい数値同士の減算の後、[[指数表記#正規化|正規化]]で[[有効数字]]が減少すること。詳細は[[誤差#桁落ち|桁落ち]]を参照。
;情報落ち : 浮動小数点数値を加減算するときはまず指数を揃えなければならない。絶対値の非常に小さな値と絶対値の非常に大きな値との浮動小数点数の加減算を行うときは、まず指数を絶対値の大きい方に揃える桁合わせを行ない、それから加減算を行なう。そのため絶対値の小さな値は仮数部が右側に多くシフトされて下位の桁の部分が反映されずに結果の値が丸められて情報が欠落する。情報欠落ともいう。詳細は[[誤差#情報落ち|情報落ち]]を参照。
;積み残し : 情報落ちが繰り返し起こる場合を言う。たとえば <math>\sum_{n=0}^{100} \frac{1}{1.5^n}</math> を n=0 の初項からn=100に向かって順番に加えて計算しようとすると、ある項から先で情報落ちが起こり、それ以降の項は無視されてしまうことになる。これを積み残しと呼び、値の小さい項から大きい項に向かって加算をする（この例では逆順に加算をする）ことで対処する。
;丸め誤差 : 仮数部の桁数が有限であるため、収まらない部分の最上位桁で四捨五入（2進法では0捨1入）して仮数部の桁数に丸めることによる誤差。

==デジタル信号処理==
32bit-floatの場合には156[dB]、64bit-floatの場合には331[dB]もの広いダイナミックレンジを確保できる。
この広いダイナミックレンジで計算を行うことで、整数型のデータに変換して信号を出力する際に内部計算において累積した誤差を切り捨てることにより、出力データの精度の範囲内においては内部計算の誤差が現れないように処理を行うことが可能となる。

製品に収録する音声信号フォーマットに直す直前まで音が全く濁らないように音声加工処理を行えるメリットが有るため、2000年代以降は[[DTM]]や[[DAW]]においては全ての処理工程で浮動小数点数を用いている。

従来よりDSPや音楽用ワークステーション等では、精度と計算コストの兼ね合いから32bit-floatが内部計算において標準的に用いられてきたが、2010年代以降はコンピュータの高性能化と低価格化を受けて、より高精度な64bit-floatで内部計算を行う場合が増えて来ている。

浮動小数点数を表現するための仮数部の桁数の関係で、32bit-integerよりも32bit-floatの方が量子化ノイズが大きい。従って、最終的に32bit-integerのデータを作成する場合には、内部計算においては64bit-float以上の精度を持つ浮動小数点数を用いるべきである。

==関連項目==
{{Portal box|コンピュータ|数学}}
*[[コンピュータの数値表現]]
*[[固定小数点数]]
*[[誤差]]、[[端数処理]]
*[[3増し符号|エクセス3]]
*[[二進化十進表現]]
==参考文献==
*IEEE 754 http://grouper.ieee.org/groups/754/
*"IEEE Standard for Binary Floating-Point Arithmetic", IEEE, ISBN:978-9996639524, (1985).
*Peter J. L. Wallis (Editor): "Improving Floating-Point Programming", Wiley, ISBN:978-0471924371,(1990).
*Michael L. Overton:"Numerical Computing With IEEE Floating Point Arithmetic", SIAM, ISBN:978-0898714821, (2001).
*Jean-Michel Muller:"Elementary Functions: Algorithms and Implementation", 2nd ed., Birkhaeuser, ISBN:978-0817643720, (2005).
*Jean-Michel Muller:"Handbook of Floating-Point Arithmetic", Birkhaeuser, ISBN:978-0817647049, (2009).
*Peter Kornerup, David W. Matula: "Finite Precision Number Systems and Arithmetic", Cambridge University Press, ISBN:978-0521761352, (2010).
<references/>

==外部リンク==
*[http://download.oracle.com/docs/cd/E19957-01/806-4847/ncg_goldberg.html 浮動小数点演算について] （1991 年 3 月発行の "Computing Surveys" に掲載された "Every Computer Scientist Should Know About Floating-Point Arithmetic" 稿 (David Goldberg著) を再編集したもの）

{{データ型}}

{{DEFAULTSORT:ふとうしようすうてんすう}}
[[Category:コンピュータの算術]]
[[Category:数の表現]]
[[Category:データ型]]
{{Computer-stub}}

PC-UNIX

2014-02-25T10:48:16Z

124.18.203.237: /* PC-UNIXの例 */

'''PC-UNIX'''とは、[[パーソナルコンピュータ|パソコン]](PC)で動作する[[UNIX]]互換[[オペレーティングシステム]]の総称である。

1980年代終盤まで、UNIXは複数人が利用する高速な汎用計算機でしか動作しないOSと見られていたが、90年代初頭には一般家庭で使われるような[[パーソナルコンピュータ]]の処理能力がUNIXの機能を動作させるためには十分なほどまで向上し、UNIXを実装して動作させることが出来るようになった。そのため、高価な汎用計算機のUNIXとの対比という意味でこの名称が用いられている。

ただ、PC-UNIXが提供され始めた頃は、PCの方にUNIXを動かすのに必要な機能(メモリ管理
機能)がない場合があり、そのような場合にはメモリ管理機能をハードウェアで提供する
ための専用ボードが必要な場合もあった。PC9800シリーズ用のPC-UX Ver 1.0はそのよう
な方式であった。

PC-UNIXは、[[オープンソースソフトウェア]]あるいは[[フリーソフトウェア]]として提供される物が多い。

== PC-UNIXの例 ==
*[[MINIX]]
*[[Linux]]
*[[FreeBSD]]
*[[NetBSD]]
*[[OpenBSD]]
*[[PANIX]]
*[[XENIX]]
*[[Solaris]]/[[OpenSolaris]]
*Mac[[OS X]]

[[Category:UNIX]]