[#790] "".succ is "\377" — WATANABE Hirofumi <eban@...>
わたなべです.
12 messages
1997/11/02
[#822] "+" of Time in the manual — Shin-ichiro HARA <sinara@...>
原です。
13 messages
1997/11/11
[#823] Re: "+" of Time in the manual
— matz@... (Yukihiro Matsumoto)
1997/11/11
まつもと ゆきひろです
[#824] Re: "+" of Time in the manual
— Shin-ichiro HARA <sinara@...>
1997/11/11
原です。
[#825] Re: "+" of Time in the manual
— matz@... (Yukihiro Matsumoto)
1997/11/11
まつもと ゆきひろです
[#826] Re: "+" of Time in the manual
— Shin-ichiro HARA <sinara@...>
1997/11/11
原です。
[#837] request SCAN — Shin-ichiro HARA <sinara@...>
原です。
25 messages
1997/11/14
[#838] Re: request SCAN
— matz@... (Yukihiro Matsumoto)
1997/11/14
まつもと ゆきひろです
[#839] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/14
原です。
[#840] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/14
原です。
[#841] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/14
原です。
[#843] Re: request SCAN
— matz@... (Yukihiro Matsumoto)
1997/11/14
まつもと ゆきひろです
[#844] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/14
原です。
[#845] Re: request SCAN
— matz@... (Yukihiro Matsumoto)
1997/11/14
まつもと ゆきひろです
[#846] Re: request SCAN
— matz@... (Yukihiro Matsumoto)
1997/11/14
まつもと ゆきひろです
[#847] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/14
原です。
[#848] Re: request SCAN
— matz@... (Yukihiro Matsumoto)
1997/11/14
まつもと ゆきひろです
[#849] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/14
原です。
[#851] Re: request SCAN
— matz@... (Yukihiro Matsumoto)
1997/11/14
まつもと ゆきひろです
[#852] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/14
原です。
[#853] Re: request SCAN
— matz@... (Yukihiro Matsumoto)
1997/11/14
まつもと ゆきひろです
[#855] Re: request SCAN
— Shin-ichiro HARA <sinara@...>
1997/11/15
原です。
[#864] [Req] Proc.new — Shin-ichiro HARA <sinara@...>
原です。
53 messages
1997/11/19
[#865] Re: [Req] Proc.new
— matz@... (Yukihiro Matsumoto)
1997/11/19
まつもと ゆきひろです
[#866] Re: [Req] Proc.new
— Shin-ichiro HARA <sinara@...>
1997/11/19
原です。
[#867] Re: [Req] Proc.new
— matz@... (Yukihiro Matsumoto)
1997/11/19
まつもと ゆきひろです
[#869] Re: [Req] Proc.new
— Shin-ichiro HARA <sinara@...>
1997/11/19
原です。
[#887] Re: [Req] Proc.new
— matz@... (Yukihiro Matsumoto)
1997/11/20
まつもと ゆきひろです
[#896] Re: [Req] Proc.new
— keiju@... (石塚圭樹 )
1997/11/20
けいじゅ＠日本ラショナルソフトウェアです.
[#871] Re: [Req] Proc.new
— keiju@... (石塚圭樹 )
1997/11/19
けいじゅ＠日本ラショナルソフトウェアです.
[#875] Re: [Req] Proc.new
— Shin-ichiro HARA <sinara@...>
1997/11/20
原です。
[#877] Re: [Req] Proc.new
— shugo@... (Shugo Maeda)
1997/11/20
前田です。
[#879] Re: [Req] Proc.new
— Shin-ichiro HARA <sinara@...>
1997/11/20
原です。
[#886] Re: [Req] Proc.new
— shugo@... (Shugo Maeda)
1997/11/20
前田です。
[#890] Re: [Req] Proc.new
— keiju@... (石塚圭樹 )
1997/11/20
けいじゅ＠日本ラショナルソフトウェアです.
[#895] Re: [Req] Proc.new
— matz@... (Yukihiro Matsumoto)
1997/11/20
まつもと ゆきひろです
[#903] ruby env[ Re: [Req] Proc.new ]
— keiju@... (石塚圭樹 )
1997/11/20
けいじゅ＠日本ラショナルソフトウェアです.
[#906] Re: ruby env[ Re: [Req] Proc.new ]
— matz@... (Yukihiro Matsumoto)
1997/11/20
まつもと ゆきひろです
[#874] extension of case — Masaki Suketa <masaki.suketa@...>
今回はできなきゃできないでいいけどこんなことできませんか
14 messages
1997/11/20
[#876] Re: extension of case
— shugo@... (Shugo Maeda)
1997/11/20
前田です。
[#929] extmk.rb — shugo@... (Shugo Maeda)
前田です。
14 messages
1997/11/26
[#930] Re: extmk.rb
— Eiji-usagi-MATSUmoto <ematsu@...>
1997/11/27
うさぎです。
[ruby-dev:801] Re: "".succ is "\377"
From:
keiju@... (石塚圭樹 )
Date:
1997-11-05 15:37:37 UTC
List:
ruby-dev #801
けいじゅ＠日本ラショナルソフトウェアです. いきなり面白そうな問題が出てきましたねえ... In [ruby-dev :00796 ] the message: "[ruby-dev:796] Re: "".succ is "\377" ", on Nov/05 12:19(JST) matz@netlab.co.jp (Yukihiro Matsumoto) writes: >まつもと ゆきひろです >|そもそも "".succ って何と言われると身もふたもないけど, >|"".succ は "" なったほうがいいかなと思うので, ちょっといじっ >|てみました. >うーん．Perlだと""に++を適用すると1になりますね．これは多分， > > ""の数値的な値は0 > 0の次は1 > >という連想なんでしょうが．rubyではどうあるべきでしょう？ >""はsuccに対して元であると言うことでも良いとは思いますが． きっと, 単位元といいたかったのですよね? つまり: "".succ == "" 私も, "".succは * "" * 0 * 1 * \001" のどれかかなとは思うんですが, 数システムとしてどあるべきか検討しますの で一日待って下さい. ちょっと考えただけをここに書きます,. 代数的立場: 数の0のはなしを例に考えると, 0は無を表すのであって無位を表している(つ まり, 10における0みたいなもの)わけではありません. そういう意味では, "" と似ていると思います同じです. そう考えると後半の3つが怪しいんだけど, ""の次として合理的に適当なものが... 解析的立場: また, 桁数の見方からすると, ""は0桁を表しています. "0"などは1桁ありま すね. そうすると, LOGxx str + 1 == 桁数 と考えると LOGxx "" == -∞です から, "".succ == "" も納得できます... ただ, このモデルを採用する場合は, マイナスの数の時の動作を改めないと駄目ですが... rcb0> "-9".succ "1-0" はいただけない... "-10"になって欲しい... # この動作は深い意味があるんですかねえ... PS. succと0さえあれば, すべての数と四則演算は定義できます. さらに大きく広 げれば数学のモデルも作ることができます. そのぐらいこの問題は根が深いん ですよ!! つまり, "0"...をruby自然数とすれば, ruby有理数, ruby実数... ruby代数, ruby解析学と... __ ................................石塚 圭樹＠日本ラショナルソフトェア... ----------------------------------->> e-mail: keiju@rational.com <<---