[#34647] fork 不可能な環境での test_argv0_noarg — wanabe <s.wanabe@...>

ワナベと申します。

13 messages 2008/05/11
[#34667] Re: fork 不可能な環境での test_argv0_noarg — Yukihiro Matsumoto <matz@...> 2008/05/13

まつもと ゆきひろです

[#34742] Ruby 1.8.7-preview3 has been released — "Akinori MUSHA" <knu@...>

 Ruby 1.8.7-preview3 をリリースしました。

14 messages 2008/05/18

[#34800] Windows2000上でtrunkがビルドできない — KIMURA Koichi <kimura.koichi@...>

木村です。

18 messages 2008/05/22
[#34801] Re: Windows2000上でtrunkがビルドできない — "U.Nakamura" <usa@...> 2008/05/22

こんにちは、なかむら(う)です。

[#34824] Re: Windows2000上でtrunkがビルドできない — KIMURA Koichi <kimura.koichi@...> 2008/05/23

木村です。

[#34850] Re: Windows2000上でtrunkがビルドできない — KIMURA Koichi <kimura.koichi@...> 2008/05/26

木村です。

[#34854] Re: Windows2000上でtrunkがビルドできない — "U.Nakamura" <usa@...> 2008/05/26

こんにちは、なかむら(う)です。

[#34889] Ruby 1.8.7-preview4 test-all failed in OpenSSL::TestSSL — Nobuhiro IMAI <nov@...>

いまいです。

10 messages 2008/05/29

[ruby-dev:34725] Re: int/int -> rational (Re: Re: ComplexFloat)

From: Shin-ichiro HARA <sinara@...>
Date: 2008-05-15 23:11:18 UTC
List: ruby-dev #34725
原です。

> けいじゅ@いしつかです.

>> 原です。
>
>>>   1.0/3 != 1/3
>> これは、1.0 と 1 の属するクラスが違うからいいんですよ。
>> Complex(1.0) と Complex(1) じゃ同じだから問題にしている
>> (いた)んです。
>
> ん?
> よく分からないんですが,
>
>   Complex(1.0)/3 == Complex(1)/3
>
> でありたいってことです?
>
> それなら, 現行は成り立っていなくて, Complex::/でquoを使うっえば解決し
> ますが?

わははは。何にぶつかれば怪我が少ないか、みたいな話で、意思疎
通が難しいですね。

3つ問題がある。

  (A) 1 == Complex(1) なのに 1/3 != Complex(1)/3
  (B) Complex(1.0) == Complex(1) なのに Complex(1.0)/3 != Complex(1)/3
  (C) 1.0 == 1 なのに 1.0/3 != 1/3

現行では、B, C の状態。Complex#/ を quo に変えると、A, C の
状態になる。

整理しただけに留めておこう。(^^;


>>> 実数がないのに複素数があるのはおかしいうんぬんの話がありましたが, 両者
>>> は独立に発展した概念ですのでいいんじゃないでしょうか?
>
>> ??素朴に考えると実数が2本で複素数なので、複素数は実数を前提
>> とすると思うんだけど、「独立に発展した概念」ってどういう意味
>> ですか?
>
> 実数て言うのは歴史的には位相とか解析的な必要性から出てきて(有理数の完
> 備化とか連続性), 複素数は代数的な必要性から出てきている(代数方程式の解
> のための代数的拡大)と言いたかっただけです.

つまり、

  実数=有理数+α
 複素数=実数+β

となっている(α=完備化、β=代数的閉体を取ること)。

で、「実数がないのに複素数があるのおかしくない?」という
問いに、「α≠βだから実数と複素数は独立に考えてよい」と
石塚さんは答えているんですね。それって、

  複素数=実数+β

の右辺の左の「実数」より、「β」に着目にしているわけですね。

ここも確認だけにしておこう。(^^;

確かに、mathn を組み込みにして、もはや数に対してはその属する
クラスをユーザーにあまり意識させない世界を作れば、クラスの話
は大雑把でいい、という考えはありえる。

In This Thread