ruby-dev

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :6409 ] the message: "[ruby-dev:6409] Exceptoions in
IEEE754 (Re: Precision in Mathematica) ", on Mar/19 06:24(JST) GOTO
Kentaro writes:

>ごとけんです

>>うーん. 一度は許すけど2度目は駄目ってモデルなのかしら? 
>それを選択できるということのようです．
>
>例外とは，トラップ発生とフラグ変更の両方もしくはいずれかで
>現れるもののことです．トラップ発生の許可はユーザーが選択
>できるようにすることが推奨されています．

なるほど. Rubyの例外のようなものをいっていたわけではないんですね.

>  例えば，x786系では，そのためのマスクが用意されており，

x786って?

>  FreeBSD だとこれらのマスクは fpgetmask() と fpsetmask() で
>  取得/変更できます．
>
>また，フラグとは，どの例外が発生したかを特定するためモノです．
>
>  FreeBSD では fpgetsticy() と fpresetsticky() で取得/再設定
>  されます．

>>あと, ゼロ除算は分かりますが他のものはどういうものなんでしょう?
>
>オーバーフローとアンダーフローは指数部の上と下への
>あふれです．不正確とは，丸めの結果が正確でない場合と，
>上述のトラップでオーバーフローのトラップが許可されて
>いないときにオーバーフローした場合に発生されるものです．
>無効操作に付いては下で述べます．

そうなんですよね. なんで何でもかもがInfと0何だろうって思っていたんです
よ.  Infとか0になったらさらにフラグを調べることによって, どういうInfか
0かが分かるってことになっているんですね.

>>ただ, BigfloatがRubyにどのような形で組み込まれるかにもよりますが... 場
>>合によっては, IEEE754とは関係ない世界にいってしまうかも知れないし...
>
>そうですね，これは我々の Bigfloat 像を固めないと議論できません．
>これはもとのスレッドに戻って議論したいと思います．

はい. 期待してお待ちしております.

>>あと、NaN にも２種類あったように思います。
>
>quiet NaN と signaling NaN ですね．シグナルを発生せずに
>計算を続けるための意味のない値として quiet があるようです．
>オペランドとしての signaling が，無効操作の対象であり，
>いっぽう quiet への操作は例外の対象ではありません．
>一般に NaN というときは，quiet のことのような気がします．

なるなる. と思ったんですが, quiet NaNとsignaling NaNってどっちがどうい
う時に発生するのでしょう?

>無効操作は具体的に列挙されており，以下のとおりです(無限大を
>Infと書きます):
>
>(1) Signaling NaN に関するすべての操作
>(2) 加算と減算 --- (Inf)+(-Inf)のような、無限大の減算
>(3) 乗算 --- 0×(Inf)
>(4) 除算 --- 0/0 または Inf/Inf
>(5) 剰余 --- y がゼロか x が無限のときの x % y
>(6) オペランドがゼロより小さいときの平方根
>(7) オーバーフロー，無限大，NaNの2進浮動小数点数から整数や
>    10進形式への変換
>(8) オペランドが順序無しの時に，? 無しの，<， > を含んだ述語による比
>較

おお. はっきり決められているんですね.

>ここで，順序なしとは，比較のオペランドのうち少なくとも一方が
>NaN であるときを指します．また，? 付きの比較演算，?, ?<, ?<=, 
>?<>, ? >, ?>=, ?= とは順序なしのとき真となるます．
>
>>例外からのうまい復旧方法が出来ると、Float から
>>Bigfloat への復旧などに使えそうに思います。
>
>上で述べたように IEEE754 では，例外発生の制御をフラグによって
>実現することを推奨しているわけですが，丸めや，各種例外を
>ハンドルする指針がまとまればよいわけですね．

なるほど. そういう方向もありますね.

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: keiju@rational.com <<---

Thread

Prev Next

In This Thread

Prev Next

[#5809] mod_ruby-0.0.7 — Shugo Maeda <shugo@...>

[#5868] Re: Precision in Mathematica (Re: Bigfloat) — "豊福" <toyofuku@...>

[#5895] [REQ] 中置の def — EGUCHI Osamu <eguchi@...>

[#5906] Re: [REQ] 中置の def — Inaba Hiroto <inaba@...>

[#5931] Re: [REQ] 中置の def — Inaba Hiroto <inaba@...>

[#5934] Re: Subseq of Array — Inaba Hiroto <inaba@...>

[#5945] \xff doesn't work fine? — Yasuhiro Fukuma <yasuf@...>

[#5948] Re: Precision in Mathematica (Re: Bigfloat) — "豊福" <toyofuku@...>

[#5955] Re: a genericity — toyofuku@...

[#5965] Re: Precision in Mathematica (Re: Bigfloat) — keiju@... (石塚圭樹 )

[#5970] [REQ] variable of regex — keiju@... (Keiju ISHITSUKA)

[#5978] [BUG] Rational#initialize w/ !Integer === den — EGUCHI Osamu <eguchi@...>

[#5982] Re: [REQ] 中置の def — "Takehiko Ueki" <takehiko@...>

[#5991] Re: Subseq of Array — Inaba Hiroto <inaba@...>

[#5995] Re: [REQ] 中置の def — "Takehiko Ueki" <takehiko@...>

[#6009] Re: [REQ] 中置の def — "Takehiko Ueki" <takehiko@...>

[#6016] [Req] Thread#name — Shugo Maeda <shugo@...>

[#6034] Re: [REQ] 中置の def — "Takehiko Ueki" <takehiko@...>

[#6039] Forward: [ruby-talk:00243] win32 lib — matz@... (Yukihiro Matsumoto)

[#6059] [PATCH] str_index — IKARASHI Akira <ikarashi@...>

[#6063] [PATCH] io_write — IKARASHI Akira <ikarashi@...>

[#6064] ruby-1.3.1-990225 — IKARASHI Akira <ikarashi@...>

[#6089] Thread.current.join — Shugo Maeda <shugo@...>

[#6090] Thread#kill — Shugo Maeda <shugo@...>

[#6093] Re: sieve.rb — Inaba Hiroto <inaba@...>

[#6100] [PATCH] my_setenv() for cygwin — WATANABE Hirofumi <watanabe@...>

[#6120] Re: [REQ] 中置の def — "Takehiko Ueki" <takehiko@...>

[#6121] Re: [REQ] 中置の def — "Takehiko Ueki" <takehiko@...>

[#6122] Re: [REQ] 中置の def — "Takehiko Ueki" <takehiko@...>

[#6141] Retry of mod_ruby — moochan <moochan@...>

[#6148] String#index — IKARASHI Akira <ikarashi@...>

[#6175] unpack — IKARASHI Akira <ikarashi@...>

[#6176] Re: [ruby-list:12717] String#unpack — matz@... (Yukihiro Matsumoto)

[#6181] Making of Interval class. — moochan <moochan@...>

[#6206] [bug?] ftplib.rb — ttate@...

[#6213] Ruby 1.3.1-990311 — Yukihiro Matsumoto <matz@...>

[#6220] Re: [ruby-list:12721] __FILE__,__LINE__ への代入 (Re: [REQ] rlex.rb) — keiju@... (石塚圭樹 )

[#6229] exception re-raise in Thread#join — Shugo Maeda <shugo@...>

[#6237] [REQ] p -10 == p(-10) — Koji Arai <JCA02266@...>

[#6242] "a\n".gsub(/$/, '-') — Wakou Aoyama <wakou@...>

[#6257] 米国からコンタクトレンズの個人輸入のご案内 !!! — DM <dmservice@...>

[#6259] str += — WATANABE Tetsuya <tetsu@...>

[#6276] Re: [ruby-list:12784] String#index, String#unpack — IKARASHI Akira <ikarashi@...>

[#6278] ruby-mode.el — IKARASHI Akira <ikarashi@...>

[#6281] Re: "a\n".gsub(/$/, '-') — Inaba Hiroto <inaba@...>

[#6282] Re: "a\n".gsub(/$/, '-') — Inaba Hiroto <inaba@...>

[#6288] [REQ] interh.h — Shugo Maeda <shugo@...>

[#6313] [PATCH] nkf.c — WATANABE Hirofumi <eban@...>

[#6317] Re: Bigfloat [compare to NaN] — "豊福" <toyofuku@...>

[#6319] Re: Bigfloat [compare to NaN] — "豊福" <toyofuku@...>

[#6323] [REQ] mkmf.rb — Yasuhiro Fukuma <yasuf@...>

[#6328] Re: Ruby 1.3.1-990315 — WATANABE Hirofumi <watanabe@...>

[#6330] sprintf — Tadayoshi Funaba <tadf@...>

[#6332] Re: Ruby 1.3.1-990315 — ttate@...

[#6334] Re: Ruby 1.3.1-990315 — Koji Arai <JCA02266@...>

[#6335] Re: Ruby 1.3.1-990315 — Koji Arai <JCA02266@...>

[#6336] security level — ttate@...

[#6337] Re: Ruby 1.3.1-990315 — WATANABE Tetsuya <tetsu@...>

[#6351] patch to ruby-1.3.1-990315, suppress warnings — Ryo HAYASAKA <hayasaka@...>

[#6356] [PATCH] ext/extmk.rb — WATANABE Hirofumi <watanabe@...>

[#6357] Re: Ruby 1.3.1-990315 — Yoshida Masato <yoshidam@...>

[#6358] Re: Bigfloat [compare to NaN] — toyofuku@...

[#6359] Re: array[last..first] (Re: Subseq of Array)" — toyofuku@...

[#6391] value of NODE_DEFN — Shugo Maeda <shugo@...>

[#6402] class_eval{} SEGVs in 1.3.1-990315 — Inaba Hiroto <inaba@...>

[#6403] [BUG?] bignum "&" and "or" — IKARASHI Akira <ikarashi@...>

[#6404] [BUG] select — Wakou Aoyama <wakou@...>

[#6408] Re: class_eval{} SEGVs in 1.3.1-990315 — Inaba Hiroto <inaba@...>

[#6411] [PATCH] END, at_exit (Re: profiler) — WATANABE Hirofumi <watanabe@...>

[#6415] Kconv.kconv("", Kconv::EUC, Kconv::JIS) — Wakou Aoyama <wakou@...>

[#6417] nonzero? should return nil — Inaba Hiroto <inaba@...>

[#6425] [BUG] unsaved context — ttate@...

[#6426] wrong line number — Koji Arai <JCA02266@...>

[#6427] invalid argument check in specify_eval() — Koji Arai <JCA02266@...>

[#6434] Time#+ — Koji Arai <JCA02266@...>

[#6446] sub("string", "string") — Wakou Aoyama <wakou@...>

[#6449] Re: Ruby 1.3.1-990315 — KIMURA Koichi <kimura@...>

[#6450] Re: [REQ] Object#+@ as identity (Re: [REQ] p -10 == p(-10)) — Inaba Hiroto <inaba@...>

[#6451] AC_C_CONST (Re: Ruby 1.3.1-990315) — EGUCHI Osamu <eguchi@...>

[#6467] Re: regexp — Inaba Hiroto <inaba@...>

[#6220] Re: [ruby-list:12721] FILE,LINE への代入 (Re: [REQ] rlex.rb) — keiju@... (石塚圭樹 )

[#6521] how to control hash in C — 助田　雅紀 <masaki.suketa@...>

[#6522] RE: how to control hash in C — 助田　雅紀 <masaki.suketa@...>

[#6526] Re: how to control hash in C — 助田　雅紀 <masaki.suketa@...>

[#6535] Re: how to control hash in C — 助田　雅紀 <masaki.suketa@...>

[#6536] Re: how to control hash in C — 助田　雅紀 <masaki.suketa@...>