ruby-dev

えぐち＠エスアンドイー です。

>>> In message [ruby-dev:5621] Re: compare to NaN (Re: Re: call for finite/isnan testers) 
    On Wed, 24 Feb 1999 19:34:37 +0900, keiju@rational.com (Keiju ISHITSUKA) said:

keiju> けいじゅ＠日本ラショナルソフトウェアです.
keiju> 
keiju> In [ruby-dev :5602 ] the message: "[ruby-dev:5602] Re: compare to NaN
keiju> (Re: Re: call for finite/isnan testers) ", on Feb/24 17:42(JST) EGUCHI
keiju> Osamu writes:
keiju> 
keiju> >えぐち＠エスアンドイー です。
keiju> 
keiju> >keiju> うーん. 最初っからそういう世界でしたか(^^;;; 
keiju> >keiju> そういうお方は尊敬しちゃうなあ(^^;;;
keiju> >
keiju> >「最初」は、制御盤の組立工です、で隣の検査課の
keiju> >修理を見てったら、『自分の方が早く直せる』と思い、
keiju> >部内トラバーユしたら、設計に抜擢されて、、うにゅうにゅ
keiju> >という感じなのでした。
keiju> 
keiju> うーん. 確かに大部仕事が変わりましたねぇ(^^;;; 

本質的には、最初の仕事が向いてたかも ^^;;;
＃半田付けは、おかげでめちゃめちゃうまいです。

keiju> >keiju> 確かにそっちの方がシンプルですね.
keiju> >
keiju> >効率悪そうですが。
keiju> 
keiju> (^^;;

再帰の話ですね、再帰に効率を求めると Ruby では
禁断の行末再帰最適化の話になりますが、メソッド
キャッシュと連係すればあるいは、、やっぱ危険かな？

keiju> >バグある以外は、ある程度効率はあげるようですが、
keiju> >別出の非割算バージョンの魅力と優雅さには達打ちできません。^^;;
keiju> 
keiju> あ. あれですね. 最初効率が疑問でしたが,
keiju>  良く考えたら良いことが分かりました.

非割算バージョンの方ですね、
極めて計算機向きに、きれいに仕つらえてありますよね、
あれも再帰版つくれますけど。。

keiju> >keiju> これ別のスレッドで議論していますね. 参加して下さい(__;;;
keiju> >
keiju> >数学論的な議論なので、意見の基盤に対する知識の
keiju> >絶対量が不足してるのですが ^^;;;
keiju> >『使い勝手論』的な観点からの参加になりますでしょう ;p
keiju> 
keiju> 基本はそれで良いと思うんですけどね.

『代数論』って奥深いのに素人もむづかしいって事が
わかるのはなんでだろう。

keiju> >keiju> 値っていうのが微妙ですね. 
keiju> >
keiju> >そうですか？
keiju> >
keiju> >  float の変数 f を double  の変数 d に代入し、
keiju> >  d を f に代入した場合、f の値は不変
keiju> >
keiju> >程度の意味なんですが。
keiju> 
keiju> ええ. そっちはいいんです.

値：参照 ばなしでなければですね (^^)

keiju> >keiju> double/floatはフォーマット上も完全上位互換に
keiju> >keiju> なっているのでいいんですが.
keiju> >keiju> Float => Rational では, 値以外にも正確な値である
keiju> >keiju> という情報が付加されてしまいます. 
keiju> >keiju> そこが気になるんですね.
keiju> 
keiju> こんな感じで, 値だけで云々はできないかなと

あぁ、可逆性以外の解釈を想像できませんでした。
そうかぁ、『正確』という背景を汲み取る必要あるんですね。
で、Float => Rational は暗黙に起こらないので、
「正確とみなす」を狙ったと暗示していませんか、、
＃そんな事はないかぁ。。
まずは、何桁有効を明示する方法が必要ですか？

keiju> >keiju> そうですね. 四則演算だけなら正直いってRationalがあるし, 
keiju> >keiju> Bigfloatはあまり必要はないと思います.
keiju> >
keiju> >1/3 を正確に表せると言う点だけで、Bigfloat の負けですね ^^;;
keiju> >効率は、、Ｃで書けば互角かな？
keiju> 
keiju> いや. Bigfloatの方が良いでしょう(同じ数大きさであれば).

 + Rational は gcd() の効率化
 + Bigfloat は 正規化 の効率化

がテーマになりそうですね。
それから、 Bigfloat は精度の管理が剣呑ですね。

keiju> >keiju> そういえば, Floatを抽象クラスにするって案があったけど
keiju> >keiju> どうなったんでしょう?? これもごとけんさんがやっていたかな?
keiju> >
keiju> >これって、いわゆる Real ぢゃないんでしたよね。
keiju> 
keiju> ごとけんさんがLargeFloatだかなんだか作ったとかなんかで
keiju> そういう話しが出ていたような...

チェックしてみます。
＃最近の量と質は尋常じゃないので、とても逐い切れていません。
＃これがずっと続くのか、、まさか Ruby2 解禁で大爆発？？？

keiju> >IEEE754 の実装を表すクラスってのと分離が必要な
keiju> >時期に来たようですね(Ruby2 がですよ)
keiju> 
keiju> そうかも知れませんね.

これも起爆剤になりそうですね。

keiju> >keiju> 確かそうだと思ったんですが, そうであればFloatの
keiju> >keiju> メソッドとすれば良さそうですね. 
keiju> >keiju> それか, モジュールとして実装するか.
keiju> >
keiju> >モジュールが良いのでは？
keiju> >この手のは、Ｃで書いてもご利益ないので
keiju> >.rb なライブラリですね。
keiju> 
keiju> そうですか? sinとかlogとかはCの方が...

データの内部構造に直接アクセスしなければ、
アルゴリズムをＣで書いても、効率は不変では？
その点 C++ の template は、効率出るので羨ましいです。

keiju> >keiju> なんか, 文字列に足したり引いたりしている
keiju> >keiju> だけって感じがしたものですから (^^;;;
keiju> >
keiju> >  ( / PI 4)
keiju> >  ( sin ( / PI 4) )
keiju> >  ( + ( sin ( / PI 4) ) 2 )
keiju> >  ( - ( + ( sin ( / PI 4) ) 2 ) 2 )
keiju> >  ( sin ( / PI 4) ) <= 相殺
keiju> >
keiju> >なイメージでした。
keiju> 
keiju> (^^;;; 深いことが書かれていたんですね...
keiju> 
keiju> >keiju> >keiju> >  puts a += 2		=>   2.7071067812
keiju> >keiju> >keiju> >  puts a -= 2		=>   0.7071067812
keiju> 
keiju> これらなんか, 末尾に "+2"をつけたり引いたりしているかと思っていました
keiju> (^^;;;

思い入れがないと、到底りかいできない表現でした ^^;;;;
ruby の算術式の node列は概ね、上のような表現なので、
Proc => Array; Array => Proc の型変換として実装が
可能なきがします。（Proc でなく Lambda かな？）
＃これで構文木を可視化できます (^^)

keiju> >keiju> >keiju> 私のイメージは, 構文木を直接操作するイメージでした.
keiju> >keiju> >
keiju> >keiju> >あ、ruby の node って、その構文木の節の事です。
keiju> >keiju> >Proc などは、かなりこれに近い気がします。
keiju> >keiju> 
keiju> >keiju> これと上の操作って違いがあるよな??
keiju> >
keiju> >あります、ありありです。
keiju> >
keiju> >parse をいじってリテラルの node を
keiju> >数値文字列で保持し直すような企みを
keiju> >持っていたのです。
keiju> >
keiju> >これは、ｎ進数リテラルや任意進数浮動小数の
keiju> >実装の検討の過程での副産物なので、その説明が
keiju> >ないと意味が全然わかりませんね。^^;;;;
keiju> 
keiju> ああ. なるほどね.

最近 OpenC++ など、動的文法(？)に興味が湧いて来たので、
ruby のインタプリタ本体を Ruby のスクリプトにある程度
操作させると自己修飾ＤＮＡの様なダイナミックな特徴を
持たせられるなと思ったです。
＃歯止めが効かなくなると、癌化する （オイオイ）

keiju> >keiju> >keiju> 知っているのは積分のことだけですが, 
keiju> >keiju> >keiju> 昔はパターンマッチが主流だったけど, 
keiju> >keiju> >keiju> 最近は変わってきていると聞いた覚えがあります.
keiju> >keiju> >私は、実際の処理系に殆んど触れた事がないので、もとより
keiju> >keiju> >想像するしかないですが、チェスの終盤の総当たり戦の
keiju> >keiju> >イメージでした。
keiju> >keiju> 違うみたいですよ.
keiju> >
keiju> >ぜんぜん違うみたいですね。
keiju> >と言う事は、この方法には新規性あり？
keiju> 
keiju> というか, 昔はこういうものだったと思います.

進化の過程で廃れちゃったのですね。。;_;

keiju> >keiju> うーん. ちょっと違うような... 
keiju> >
keiju> >eRuby は、書類埋め込みのスクリプトで
keiju> >私の考えているのは、スクリプト埋め込みの
keiju> >数理処理系なので、立場が逆ですね。
keiju> 
keiju> ですね.
keiju> 
keiju> >＃『融合すると融合されるは同じなんだ』
keiju> >＃（捕食すると捕食されるは同じなんだ、のもじり）

これ、出展は 風の谷のナウシカ の 粘菌 の出てくる巻です。
セリフは、、たぶん正確ぢゃないです。

	えぐち

Thread

Prev Next

In This Thread

Prev Next

[#4543] bug 1.3.1 ENV — WATANABE Tetsuya <tetsu@...>

[#4564] EXTERN and DLLIMPORT — WATANABE Hirofumi <watanabe@...>

[#4566] [Q] internal type of klass — gotoken@... (GOTO Kentaro)

[#4573] Ruby ruby-1.3.1-990201 — matz@... (Yukihiro Matsumoto)

[#4576] Ruby ruby-1.3.1-990201 — matz@... (Yukihiro Matsumoto)

[#4603] call for finite/isnan testers — gotoken@... (GOTO Kentaro)

[#4613] \1, \2, ... — Wakou Aoyama <wakou@...>

[#4614] Re: cookie on cgi-lib.rb — Wakou Aoyama <wakou@...>

[#4615] HTML generator — Wakou Aoyama <wakou@...>

[#4619] Why automake+libtool? (Re: --enable-shared/BSD) — Motoyuki Kasahara <m-kasahr@...>

[#4640] Ruby 1.3.1-990203 — matz@... (Yukihiro Matsumoto)

[#4644] lib/README — Tadayoshi Funaba <tadf@...>

[#4693] Line # of error message — Jun Adachi <adachi@...>

[#4710] -e without an argument — Yasuhiro Fukuma <yasuf@...>

[#4727] [REQ] ２進数整数リテラル — EGUCHI Osamu <eguchi@...>

[#4745] Re: [ruby-list:11929] Re: to_i,to_s の素朴な疑問 — Shugo Maeda <shugo@...>

[#4747] Ruby 1.3.1-990205 — Yukihiro Matsumoto <matz@...>

[#4754] Re: Ruby 1.3.1-990205 — KIMURA Koichi <kbk@...>

[#4755] Re: call for finite/isnan testers — KIMURA Koichi <kbk@...>

[#4757] Re: [ruby-list:11703] Re: shared library — Yasuhiro Fukuma <yasuf@...>

[#4759] Ruby 1.2.2 on FreeBSD 4.0-current — Yasuhiro Fukuma <yasuf@...>

[#4767] [BUG] gsub?, Hash? — Wakou Aoyama <wakou@...>

[#4775] [BUG] ruby1.3 -0015 — Wakou Aoyama <wakou@...>

[#4786] Re: module Precision — "豊福" <toyofuku@...>

[#4797] Re: module Precision — Toyofuku <toyofuku@...>

[#4825] Backslash(EOL) in comment — WATANABE Hirofumi <eban@...>

[#4829] Re: to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#4837] man Precision — gotoken@... (GOTO Kentaro)

[#4838] [patch] module Precision — gotoken@... (GOTO Kentaro)

[#4851] Re: port NetBSD/ alpha 1.3I — SHIROYAMA Takayuki <psi@...>

[#4852] Re: module Precision — "豊福" <toyofuku@...>

[#4853] Integer#format — Koji Arai <JCA02266@...>

[#4890] ruby 1.2.3-990209 — matz@... (Yukihiro Matsumoto)

[#4893] Ruby 1.3.1-990209 — Yukihiro Matsumoto <matz@...>

[#4900] Ruby 1.3.1-990209 — Yukihiro Matsumoto <matz@...>

[#4904] Re: to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#4910] Re: Ruby 1.3.1-990209 — TAKAHASHI Masayoshi <maki@...>

[#4929] Re: module Precision — "豊福" <toyofuku@...>

[#4950] parse error "and" — Koji Arai <JCA02266@...>

[#4959] Solaris and GNU Linker — WATANABE Hirofumi <watanabe@...>

[#4970] Re: to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#4971] Ruby 1.3.1-990210 — Yukihiro Matsumoto <matz@...>

[#4974] object#scanf(pat) — HQss_YasuiS/hq_ss@...

[#4995] ruby -e '(10**999).to_f' => Floating exception (core dumped) — EGUCHI Osamu <eguchi@...>

[#5010] #{\n}\\ in heredoc — Koji Arai <JCA02266@...>

[#5021] [BUG] 'p Class.new' on 'ruby 1.3.1(99/02/05)' — gotoken@... (GOTO Kentaro)

[#5036] Re: a genericity — Toyofuku <toyofuku@...>

[#5048] Re: a genericity — Toyofuku <toyofuku@...>

[#5054] little bug in lib/weakref.rb — Minero Aoki <aamine@...>

[#5057] Re: a genericity — "豊福" <toyofuku@...>

[#5061] Re: 10e9999.to_i — Toyofuku <toyofuku@...>

[#5066] Re: a genericity — Toyofuku <toyofuku@...>

[#5075] patch (mswin32) — KIMURA Koichi <kbk@...>

[#5083] [req] cgi-lib NPH support — Shugo Maeda <shugo@...>

[#5085] [ruby-list:12065] Re: document|implemnt bu on Array#[x..y] — Inaba Hiroto <inaba@...>

[#5086] [FIX] checking whether [sg]etpgrp takes no argument — EGUCHI Osamu <eguchi@...>

[#5088] Re: patch (mswin32) — KIMURA Koichi <kbk@...>

[#5089] Re: patch (mswin32) — KIMURA Koichi <kbk@...>

[#5090] [PATCH] printf の %g — EGUCHI Osamu <eguchi@...>

[#5092] Time#yday — Tadayoshi Funaba <tadf@...>

[#5093] Re: patch (mswin32) — 助田 雅紀 <masaki.suketa@...>

[#5096] Re: patch (mswin32) — 助田 雅紀 <masaki.suketa@...>

[#5099] [PATCH] infinite loop of inspect (ruby-1.2.2) — gotoken@... (GOTO Kentaro)

[#5119] Ruby 1.3.1-990215 — Yukihiro Matsumoto <matz@...>

[#5130] Re: [ruby-list:12091] Re: !=~ — ttate@...

[#5141] [req] rb_setenv() — Shugo Maeda <shugo@...>

[#5164] exception — gotoken@... (GOTO Kentaro)

[#5176] mod_ruby 0.0.4 — Shugo Maeda <shugo@...>

[#5181] Re: [ruby-list:12113] ruby 1.2.3 released — Yasuhiro Fukuma <yasuf@...>

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

[#5247] Re: a genericity — "豊福" <toyofuku@...>

[#5251] Re: a genericity — "豊福" <toyofuku@...>

[#5264] Re: ruby 1.2.3 released — Jun Adachi <adachi@...>

[#5270] Prec.html — gotoken@... (GOTO Kentaro)

[#5287] Time class — Tadayoshi Funaba <tadf@...>

[#5312] Re: htmlelem.rb (Re: HTML generator) — TAKAHASHI Masayoshi <maki@...>

[#5316] system "make all" or exit 1 — WATANABE Hirofumi <watanabe@...>

[#5355] value of form (CGI.rb) — Wakou Aoyama <wakou@...>

[#5385] [PATCH] Inf or Infinity — EGUCHI Osamu <eguchi@...>

[#5395] Subseq of Array — Inaba Hiroto <inaba@...>

[#5093] Re: patch (mswin32) — 助田　雅紀 <masaki.suketa@...>

[#5096] Re: patch (mswin32) — 助田　雅紀 <masaki.suketa@...>

[#5568] join — たむら　けんいち <tamura-r@...>