Mozilla 翻訳

[exeal]

色々更新しました。

[山口]

[yh]

こんにちは、 exeal さん、

JavaScript 2.0 興味があったので少し読ませていただきました。

コア言語の「概念」で気付いた点を少しだけ。
http://www.interq.or.jp/student/exeal/dss/mozilla_translation/js20/core/concepts.html
（草稿フォーラムの常駐トピックの JavaScript 2.0 の方に返信すべきかとも思いましたが…）

（番号）
原文
訳文
コメント

の順に記してあります。

型
(1)
A possibly infinite set of values S
「値 S の可能な限り無限の集合」

A set of values と S は同格だと思います。また possibly は「可能な限り」でなく、単に「可能性がある」と解釈すべきように思います。
「値の集合 S である。ただし、S として無限集合も許容される」
といった意味ではないでしょうか？

(2)
this is required for logical consistency — there are uncountably infinitely many sets of values but only countably infinitely many types
「これは論理的な一貫性に求められることである — 値の集合の数は不可算で無限にあるものだが、型の数は可算で無限に存在するものである」

数学用語では「不可算」ではなく「非可算」と書かれるのが一般的です。

「すべての値の集合」を無限集合と見なせば、集合論的には
「値の集合の数」
＝「「値の集合の部分集合」の集合」の基数（要素数のようなもの。濃度とも呼ばれます）
　＞「すべての値の集合」の基数
　　＞＝ 可算無限
なので、
「値の集合の数」は非可算無限ということです。

参考（可算／非可算）：
http://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97

型階層
(3)
Subtyping is transitive, so if a ⊆ b and b ⊆ c, then a ⊆ c. Subtyping is also reflexive: a ⊆ a. Also, if v ∈ t and t ⊆ s, then v ∈ s.
「派生型は移行的であり、a ⊆ b 且つ b ⊆ c であれば a ⊆ c である。派生型は再帰的でもあり a ⊆ a も成り立つ。また、v ∈ t 且つ t ⊆ s であれば v ∈ s である。」

数学的には型階層は一種の順序集合であり、著者もこの文脈で述べている様に感じられます。
その意味では「移行的」は「推移的」、「再帰的」は「反射的」と書かれるのが一般的です。
参考（順序集合）：
http://ja.wikipedia.org/wiki/%E4%B8%8A%E9%99%90

クラス
(4)
If multiple inheritance were allowed, the subclass relation would impose a partial order on the set of all classes.
「仮に多重継承を許容すると、派生 (という関係) は全てのクラスの集合において部分的な順位をつけることになる。」

上記リンク先から、 partial ordered relation は「部分的順序関係」と呼ばれるそうです。とは言っても継承関係が全順序関係になるわけではないのですが、

おそらくこの文の意図は、２つのクラス間に間接的な継承関係があるとき、それらのクラスの間の継承列に限れば、

単一継承→継承列が一意的に定まる→全順序関係
だけど、
多重継承→継承列が一意的に定まるとは限らない→部分的順序関係

ということだろうと思います。

[exeal]

[exeal]

yh さんのコメントを参考に更新したものを公開しました。

[山口]

exeal さん、こんにちは。