ruby-dev

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

>>> In message [ruby-dev:5704] Re: compare to NaN (Re: Re: call for finite/isnan testers) 
    On Thu, 25 Feb 1999 18:11:08 +0900, keiju@Rational.Com (Keiju ISHITSUKA) said:

keiju> けいじゅ＠日本ラショナルソフトウェアです.
keiju> 
keiju> In [ruby-dev :5625 ] the message: "[ruby-dev:5625] Re: compare to NaN
keiju> (Re: Re: call for finite/isnan testers) ", on Feb/24 20:34(JST) EGUCHI
keiju> Osamu writes:
keiju> 
keiju> >えぐち＠エスアンドイー です。
...
keiju> >＃半田付けは、おかげでめちゃめちゃうまいです。
keiju> 
keiju> そういう人も尊敬しちゃいマスです(^^;;;

でも最近は、面実装なので段々赤外線で半田ペーストを
融解する自動機が主流化して、こういう技能も段々
廃れていくみたいです。
ＰＣ組み立てるのに半田ゴテは不要になってしまったし、、
＃老人臭ぁ

keiju> >再帰の話ですね、再帰に効率を求めると Ruby では
keiju> >禁断の行末再帰最適化の話になりますが、メソッド
keiju> >キャッシュと連係すればあるいは、、やっぱ危険かな？
keiju> 
keiju> そういう話しは何度かあったような気がしますが, 
keiju> 何か理由があって採用されなかった覚えがないでもないです.

特異メソッドや再定義が実装を困難にしてたのでは？

keiju> >keiju> あ. あれですね. 最初効率が疑問でしたが,
keiju> >keiju>  良く考えたら良いことが分かりました.
keiju> >
keiju> >非割算バージョンの方ですね、
keiju> >極めて計算機向きに、きれいに仕つらえてありますよね、
keiju> >あれも再帰版つくれますけど。。
keiju> 
keiju> まあまあ(^^;;;

わざわざ効率落す事ないですね。
＃可読性が上がるとも言えないし、、

keiju> >『代数論』って奥深いのに素人もむづかしいって事が
keiju> >わかるのはなんでだろう。
keiju> 
keiju> 私も代数苦手です. 目(頭?)で見えないものは難しい(^^;;;

え゛、苦手のレベルが違うのかな？？？
わたしは、そうすると苦手ではありません。
最初からわかんないです ^^; ＜困った生徒の典型

keiju> >keiju> >keiju> double/floatはフォーマット上も完全上位互換に
keiju> >keiju> >keiju> なっているのでいいんですが.
keiju> >keiju> >keiju> Float => Rational では, 値以外にも正確な値である
keiju> >keiju> >keiju> という情報が付加されてしまいます. 
keiju> >keiju> >keiju> そこが気になるんですね.
keiju> >keiju> 
keiju> >keiju> こんな感じで, 値だけで云々はできないかなと
keiju> >
keiju> >あぁ、可逆性以外の解釈を想像できませんでした。
keiju> >そうかぁ、『正確』という背景を汲み取る必要あるんですね。
keiju> >で、Float => Rational は暗黙に起こらないので、
keiju> >「正確とみなす」を狙ったと暗示していませんか、、
keiju> >＃そんな事はないかぁ。。
keiju> 
keiju> そんなことあります. 話しがコンガラがっていマスね(^^;;; 
keiju> 
keiju> 結局何がいいたいんでしたっけ?

ちょうど、Mathmatica で 10 + 1^-32 の値が
Rational であるということで、決着したのでは。
うぅん、、無限精度かぁ。。

keiju> >keiju> いや. Bigfloatの方が良いでしょう(同じ数大きさであれば).
keiju> >
keiju> > + Rational は gcd() の効率化
keiju> > + Bigfloat は 正規化 の効率化
keiju> >
keiju> >がテーマになりそうですね。
keiju> >それから、 Bigfloat は精度の管理が剣呑ですね。
keiju> 
keiju> Rationalは演算の数が多いのも問題ですね. 

あと、Bignum の性能に依存します。
が、Ruby の Bignum の性能は悪くないので
Rational にも勝機はあります。

keiju> >keiju> ごとけんさんがLargeFloatだかなんだか作ったとかなんかで
keiju> >keiju> そういう話しが出ていたような...
keiju> >
keiju> >チェックしてみます。
keiju> >＃最近の量と質は尋常じゃないので、とても逐い切れていません。
keiju> >＃これがずっと続くのか、、まさか Ruby2 解禁で大爆発？？？
keiju> 
keiju> 恐いなあ(^^;;;

本当に、 ^^;;
最近、遅れをとっているのがはっきり判る ^^)l

keiju> >keiju> >モジュールが良いのでは？
keiju> >keiju> >この手のは、Ｃで書いてもご利益ないので
keiju> >keiju> >.rb なライブラリですね。
keiju> >keiju> 
keiju> >keiju> そうですか? sinとかlogとかはCの方が...
keiju> >
keiju> >データの内部構造に直接アクセスしなければ、
keiju> >アルゴリズムをＣで書いても、効率は不変では？
keiju> 
keiju> うーん. そういった意味では, 逐次処理の部分が
keiju> インタプリタか直接実行かの違いだけなんでしょうね...

  このモジュールは拡張ライブラリだから不変であるので、
  キャッシュをあてにして最適化を行なって良い

とかのブレークするがあれば、充分有意義なのですが、
残念ながらそういう特徴は内容です ;_;。

ただ、明確なアイディアにまとまりませんでしたが
Ｃ の register のようなヒントが出せないか考えた時期があります。
最適化は、未来永劫つづくテーマですね ;-)

keiju> >思い入れがないと、到底りかいできない表現でした ^^;;;;
keiju> >ruby の算術式の node列は概ね、上のような表現なので、
keiju> >Proc => Array; Array => Proc の型変換として実装が
keiju> >可能なきがします。（Proc でなく Lambda かな？）
keiju> >＃これで構文木を可視化できます (^^)
keiju> 
keiju> まあそうですが, 構文木って内部構造なので何時変わるか分からないしあまり
keiju> 表にだしたくないのでは? その内バイトコードになるかも知れないし....

そのとおりですね。
いま正規表現のように、特殊な構文で
遅延評価式を表せないか考えています。

例えば
	% 1 + PI * 2 %

の様に % で括る方法で表記して、内部的には

	( + 1 ( * PI 2 ) )

で保持しておくわけです。
＃なんで lisp 風味なのだろう

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

キーワードの追加は出来ますね、
演算子の強さとかリテラルの追加までできるかは、
読み切れてません。ごめんなさい ^^;;

keiju> >keiju> >ぜんぜん違うみたいですね。
keiju> >keiju> >と言う事は、この方法には新規性あり？
keiju> >keiju> というか, 昔はこういうものだったと思います.
keiju> >
keiju> >進化の過程で廃れちゃったのですね。。;_;
keiju> 
keiju> 廃れてはいないんでしょう多分. reduceはまだこのタイプだったと思います.

あれって lisp ですよね。
たしか電気屋さんが、論理設計のシュミレターが
reduce の上で動いていると言ってたけど、別人さんかな？

keiju> >keiju> >＃『融合すると融合されるは同じなんだ』
keiju> >keiju> >＃（捕食すると捕食されるは同じなんだ、のもじり）
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@...>