ruby-list

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

これも ruby-devに引っ越します.

In [ruby-list :07060 ] the message: "[ruby-list:7060] Re: infinity ",
on Mar/10 19:30(JST) Kazuhisa YANAGAWA writes:

>> とすれば今のままで, 表現をちゃんとした対応を行なった方が良さそうですね.
>> # Math.exp(inf)以外はちゃんとした結果になっているところがこわい...

と思いましたが, ちゃんとしていませんでした.

rbc0> Inf = 2.0**100**100
Inf
rbc0> Inf <= Inf
true
rbc0> Nan = Inf - Inf
NaN
rbc0> Nan <= Inf
true
rbc0> Nan <= Nan
true
rbc0> 1 < Nan
true
rbc0> Nan > 1
false
rbc0> Inf > 1
true
rbc0> Inf < 1
false
rbc0> Inf >= Nan
false

どうなっているんだ...

>  もっともこれだと最初の話にあった, 「改歴日を無限大にしておいて....」
>  というのはできないかもしれませんが.
>  # いや, 問題ないか?

不等号さえちゃんとすれば問題ないのかな?

ただ, そういう使い方をするとなるとFloat::Infinityは気分が悪いような...

>> そうですね. RealがあるならRealが良いですが, きっとRealは採用されること
>> はないでしょう(^^;;;
>  いまから突っ込むのはちょっと辛いでしょうね....

辛くないと思いますが, 今のところ, カテゴリ分けのためのクラスになって機
能的にはほとんど意味のないクラスになりますので...

>> >  # たぶん Float で表現できる範囲を超えても無限大/無限小になることはな
>> >  # いと思いますが. オーバフローするだけですね
>> そうですね. オーバフローした状態がInfなんですね.

>  いや, 整数でオーバフローした時と扱いは同じではないかと思いますが. オー
>  バフローを検出して値を無限大/無限小にするというのはありでしょうが.

rubyの整数はオーバフローすることはないと思います. する時はメモリを食い
潰した時ですから別の例外が出ると思います. 試した結果:

rbc0> 2**100000000000000000000000000000000000000
/home/keiju/var/bin/rbc:127:in `**': failed to allocate memory (fatal)

それはともかく, 言葉の使い方が食い違っているのかな?

>|rbc0> _**2
>|1.0e+168
>|rbc0> _**2
>|Inf.0

このように, Floatの扱える範囲を越えた時をオーバフローと言っているのか
と思ったのですが? そうすると, その時の結果がInfになっているのかな? と.

>> 結論としては, Floatの定数とした方が良いかなって思うようになりました.

>  実用で閉じるとこっちでしょうかね. 大本の話は実数の数学的な無限大/無
>  限小を扱いたい, という要求だと思ってました.

ですね... いろいろなことがあってコンガラがってしまいました(^^;;;

別メイルで整理します.

>  # とはいえそれも Float--Integer 間の適当な型変換で実用的に問題なく処
>  # 理できそうだ, と.

まあ, そうなんですが, そういう使い方を考えるとFloat::Infは気分が...

>> どんな提案をされていたのでしょう?
>
>  URR（Universal Real-number Representation?）という浮動小数点数表現で, 
>  指数部のビット数を値のオーダで変えてしまうというものです. 適当にやれ
>  ばメモリの許す限りどんなに大きな数でも表現できるという特徴があります.
>  ただし仮数部の精度は 0 から離れるにつれてどんどん落ちます.

浮動小数点数としては, 常に同じサイズなんですね? それで, 数値が大きくな
るにしたがって, 指数部のサイズを大きくする... 

精度が一定でないのが実用的でないような気もしますが... そうでもないのか
な...

>  「充分に効率的な演算ができる, 大きな数も扱える, 0 付近での精度は 
>  IEEE のものより良い, 数の表現に数以外の変なものは入っていない (^^)」
>  というのが宣伝文句.

0/0とかはどうなるんでしょうね? やはりNaNのような...

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

Thread

Prev Next

In This Thread

Prev Next

[#6858] monitor.rb and ftplib.rb — shugo@... (Shugo Maeda)

[#6859] register calc (call for scripts) — TEI meiki <tei@...>

[#6860] inspect (mb string) — 青山 和光 <PXN11625@...>

[#6861] Re: http_get.rb — 青山 和光 <PXN11625@...>

[#6862] Re: http_get.rb — 青山 和光 <PXN11625@...>

[#6863] Re: http_get.rb — 青山 和光 <PXN11625@...>

[#6889] lib/date.rb — Tadayoshi Funaba <tadf@...>

[#6890] date class — Tadayoshi Funaba <tadf@...>

[#6893] Re: http_get.rb — 青山 和光 <PXN11625@...>

[#6905] Email your AD to 57 MILLION People ONLY $99 — 29818412@...

[#6906] ruby's Icon ? — 藤本尚邦 / FUJIMOTO Hisakuni <hisa@...>

[#6915] Re: inspect (mb string) — 青山 和光 <PXN11625@...>

[#6916] Re: http_get.rb — 青山 和光 <PXN11625@...>

[#6917] Re: inspect (mb string) — 青山 和光 <PXN11625@...>

[#6918] manual 1.18b index — WATANABE Tetsuya <tetsu@...>

[#6920] Re: call for scripts — sakamoto@... (Sadayuki Sakamoto)

[#6929] Expect lib for ruby — nosuzuki@... (Norio Suzuki)

[#6938] Re: ruby's Icon ? — 助田 雅紀 <masaki.suketa@...>

[#6954] Re: ruby's Icon ? — nosuzuki@... (Norio Suzuki)

[#6956] Re: ruby's Icon ? — takehiro.kubo@... (KUBO Takehiro)

[#6958] Re: inspect (mb string) — 青山 和光 <PXN11625@...>

[#6968] Re: ruby's Icon ? — 助田 雅紀 <masaki.suketa@...>

[#6975] Re: coerce — toyofuku@...

[#6978] win32 版 ruby の getc について — ARIMA Yasuhiro <fit0298@...>

[#6983] ext POSIX.setsid — WATANABE Tetsuya <tetsu@...>

[#6999] RE: [ruby-list:6994] Re: Curses and Slang Module (was Re: win32版ruby の getc について) — 助田 雅紀 <masaki.suketa@...>

[#7003] Ruby for MacOS, BeOS — 藤本尚邦 / FUJIMOTO Hisakuni <hisa@...>

[#7004] gtk 0.99.4 and gtk module — Noritsugu Nakamura <nnakamur@...>

[#7008] builtin class inherit — TEI meiki <tei@...>

[#7009] netscape remote script — Noritsugu Nakamura <nnakamur@...>

[#7013] modulo — toyofuku@...

[#7021] unary +/- — Tadayoshi Funaba <tadf@...>

[#7022] スレッドの終了待ち — densuke@...2.so-net.or.jp

[#7023] infinity — Tadayoshi Funaba <tadf@...>

[#7035] Re: modulo — toyofuku@...

[#7067] rfc822.rb — akira yamada / やまだあきら <akira@...>

[#7083] about rbc — Kazuhisa YANAGAWA <katze@...>

[#7094] Re: ruby-beginners — matz@... (Yukihiro Matsumoto)

[#7097] bltlib module — Noritsugu Nakamura <nnakamur@...>

[#7098] rbc and readline — keiju@... (Keiju ISHITSUKA)

[#7105] postgres-6.3 and postgres-module — Eiji-usagi-MATSUmoto <ematsu@...>

[#7107] calender-html.rb (Re: call for scripts) — Shin-ichiro HARA <sinara@...>

[#7111] How to simulate Perl's DATA file handle — OZAWA Sakuro <crouton@...>

[#7118] Re: rfc822.rb — 青山 和光 <PXN11625@...>

[#7119] Re: inspect (mb string) — 青山 和光 <PXN11625@...>

[#7120] Re: Ruby for MacOS, BeOS — 青山 和光 <PXN11625@...>

[#7121] simple_chat_server.rb — 青山 和光 <PXN11625@...>

[#7125] Re: CGI#include? — 青山 和光 <PXN11625@...>

[#7126] do end or {} — Eiji-usagi-MATSUmoto <ematsu@...>

[#7128] fixed man pages — Kazuhisa YANAGAWA <katze@...>

[#7145] gsub — WATANABE Tetsuya <tetsu@...>

[#7147] each_char — TEI meiki <tei@...>

[#7153] please apply me — SHUDOH Kazuyuki <shudoh@...>

[#7155] undefined class switch — keiju@... (Keiju ISHITSUKA)

[#7160] [Bug] 10e0.9 — keiju@... (Keiju ISHITSUKA)

[#7166] bit — matz@... (Yukihiro Matsumoto)

[#7173] ASCII 98/4 — WATANABE Tetsuya <tetsu@...>

[#7174] join in — takas-su@... (Takashi Sugimura)

[#7175] Re: CGI#include? — 青山 和光 <PXN11625@...>

[#7177] Re: [ruby-dev:1845] [ANNOUNCE] grepsvr.rb — Shin-ichiro HARA <sinara@...>

[#7180] chomp! — Kazunori NISHI <kazunori@...>

[#7183] Numeric — toyofuku@...

[#7186] Re: Numeric — toyofuku@...

[#7192] I hope join. — Takashi Shimizu <simtak@...>

[#7200] delegation of TCPsocket — TAKEUCHI Kahori (竹内かほり) <take-k@...>

[#7208] for in bsh — matz@... (Yukihiro Matsumoto)

[#7221] test — matz@... (Yukihiro Matsumoto)

[#7222] jcode.rb — NAGAI Hidetoshi <nagai@...>

[#7229] Re: call for scripts — Yasunari Momoi <conan@...>

[#7232] final.rb error? — tateishi@...

[#7234] final.rb error? 2 — tateishi@...

[#7238] Forward: 自己再生プログラム — matz@... (Yukihiro Matsumoto)

[#7244] [Q] test file1 -nt file2 — matz@... (Yukihiro Matsumoto)

[#7253] tk version — gotoken@... (GOTO Kentaro)

[#7257] TkScale.new(parent){to -0.1} — gotoken@... (GOTO Kentaro)

[#7259] Socket#shutdown — keiju@... (Keiju ISHITSUKA)

[#7261] — Sinichiro Dezawa <dezawa@...>

[#7282] ruby ftp mirror to my disk — Noritsugu Nakamura <nnakamur@...>

[#7284] base64.rb — jkuro@... (Kuroda Jun)

[#7285] Re: modulo — Toyofuku <toyofuku@...>

[#6860] inspect (mb string) — 青山　和光 <PXN11625@...>

[#6861] Re: http_get.rb — 青山　和光 <PXN11625@...>

[#6862] Re: http_get.rb — 青山　和光 <PXN11625@...>

[#6863] Re: http_get.rb — 青山　和光 <PXN11625@...>

[#6893] Re: http_get.rb — 青山　和光 <PXN11625@...>

[#6915] Re: inspect (mb string) — 青山　和光 <PXN11625@...>

[#6916] Re: http_get.rb — 青山　和光 <PXN11625@...>

[#6917] Re: inspect (mb string) — 青山　和光 <PXN11625@...>

[#6938] Re: ruby's Icon ? — 助田　雅紀 <masaki.suketa@...>

[#6958] Re: inspect (mb string) — 青山　和光 <PXN11625@...>

[#6968] Re: ruby's Icon ? — 助田　雅紀 <masaki.suketa@...>

[#6999] RE: [ruby-list:6994] Re: Curses and Slang Module (was Re: win32版ruby の getc について) — 助田　雅紀 <masaki.suketa@...>

[#7118] Re: rfc822.rb — 青山　和光 <PXN11625@...>

[#7119] Re: inspect (mb string) — 青山　和光 <PXN11625@...>

[#7120] Re: Ruby for MacOS, BeOS — 青山　和光 <PXN11625@...>

[#7121] simple_chat_server.rb — 青山　和光 <PXN11625@...>

[#7125] Re: CGI#include? — 青山　和光 <PXN11625@...>

[#7175] Re: CGI#include? — 青山　和光 <PXN11625@...>