[WebIDL] 諸々の編集

Author: triple-underscore

WebIDL-ja.html

@@ -1433,6 +1433,7 @@
 	-:just
 	過去:
 	monospaced:等幅~fontで示される
+	~call元:call site
 	直後:
 	~~種別
 	種
@@ -5409,7 +5410,9 @@ <h4 title="Operations">2.5.3. 演算</h4>
 
 <p>
 可変個的な関数を~supportしない言語~用の言語束縛においては、
-その種の演算には，整数の 配列または~list を明示的に渡すように指定することになるであろう。
+その種の演算には，整数たちが成す［
+配列／~list
+］を明示的に渡すよう指定することになろう。
 ◎
 A binding for a language that does not support variadic functions might specify that an explicit array or list of integers be passed to such an operation.
 </p>
@@ -10794,10 +10797,10 @@ <h3 title="Dictionaries">2.7. 辞書</h3>
 
 <div class="example">
 <p>
-辞書~型の利用の一つは、
+辞書~型の利用を成す一つは、
 `演算$に対し［
 随意~引数をいくつでも
-— 呼出ng~codeの所で指定される順序に制約を課すことなく —
+— ~call元にて指定される順序に制約を課すことなく —
 与える
 ］ことを許容することである。
 例えば，次の`~IDL片$を考える：
@@ -13117,10 +13120,12 @@ <h4 title="Nullable types — T?">2.13.27. ~nullable型 — `<var>T</var>?^T</h4
 `内縁~型@
 （ `inner type^en ）
 と呼ばれる）
-既存の型から構築される~IDL型であり、
-とり得る値が成す集合は，内縁~型がとり得る値に値 `null^V のみを~~追加したものになる。
+既存の型から構築される~IDL型であり，
+とり得る値たちが成す集合は［
+その内縁~型がとり得る値たちに値 `null^V のみを~~追加したもの
+］になる。
 ~IDLにおいては、
-`~nullable型$は，既存の型の後に文字 `003F^U1 を置いて表現される。
+`~nullable型$は，既存の型の直後に文字 `003F^U1 を置いて表現される。
 `内縁~型$は、
 次に挙げるもの以外でなければナラナイ：
 ◎
@@ -13485,9 +13490,9 @@ <h4 title="Union types">2.13.32. 共用体~型</h4>
 <p>
 `共用体~型@
 （ `union type^en ）は、
-とり得る値が成す集合が［
-複数の型の，それぞれがとり得る値が成す集合
-］の和集合であるような，型である。
+とり得る値たちが成す集合が［
+複数個の型~それぞれがとり得る値たちが成す集合
+］の和集合になる型である。
 共用体~型
 （ `UnionType$g に合致-）
 は、
@@ -13504,7 +13509,7 @@ <h4 title="Union types">2.13.32. 共用体~型</h4>
 <p>注記：
 例えば，
 `(Node or DOMString)^c や `(double or sequence&lt;double&gt;)^c
-などのように記す。
+のように記される。
 `共用体~型$に全体として `?^sym 接尾辞を適用するときは，
 `(Node or DOMString)?^c
 のように，右~丸括弧の後に置く。
@@ -13694,7 +13699,7 @@ <h4 title="Union types">2.13.32. 共用体~型</h4>
 <p>
 `共用体~型$の`~nullable~mb型の個数$は 0 か 1 でなければナラナイ。
 1 の場合、
-その共用体~型は`平坦~化~mb型~群$に`辞書~型$を含んではナラナイ。
+当の共用体~型は，その`平坦~化~mb型~群$に`辞書~型$を含んではナラナイ。
 ◎
 The number of nullable member types of a union type must be 0 or 1, and if it is 1 then the union type must also not have a dictionary type in its flattened member types.
 </p>
@@ -13726,15 +13731,16 @@ <h4 title="Union types">2.13.32. 共用体~型</h4>
 ［
 `共用体~型$である
 ］~AND［
-その `~nullable~mb型の個数$は 0 でない（ 1 である）
+その `~nullable~mb型の個数$ ~EQ 1（ 0 でない）
 ］
 ◎
 the type is a union type and its number of nullable member types is 1.
 	</li>
 </ul>
 
 <p class="trans-note">【
-概念的には， `null^V を値にとり得る型と考えられる。
+概念的には、
+`null^V を値にとり得る型と考えられる。
 ただし、
 この定義では `any$T 型は含まれないことになる。
 】</p>
@@ -13750,11 +13756,11 @@ <h4 title="Union types">2.13.32. 共用体~型</h4>
 ［
 `bigint$T, `数量-型$
 ］が成す共用体を作成することはアリであるが、
-一般に，その利用は、
-`NumberFormat$jt などの［
-それを計算には利用せず，値を整形するような~ifc
-］用に限られるものと想定されている。
-そのような共用体を受容しつつ，`数量-型$の値に対しては単に `bigint$T に変換してから処理するのは、
+一般に，その利用は `NumberFormat$jt
+— それは、
+値を計算に利用することなく整形する —
+などの~ifc用に限られるものと想定されている。
+そのような共用体を受容しつつ，`数量-型$の値に対しては単に `bigint$T に変換してから処理することは、
 適切でない
 — それは、
 精度~errorを導入する~riskを冒すことになるので。
@@ -13808,6 +13814,14 @@ <h4 title="Union types">2.13.32. 共用体~型</h4>
 </li>
 </ul>
 
+
+<p class="trans-note">【
+概念的には、
+`undefined^V を値にとり得る型と考えられる。
+ただし、
+この定義では `any$T 型は含まれないことになる。
+】</p>
+
 <p>
 ~IDLにおいては、
 `共用体~型$の定数~値は，それらの`~mb型$の定数~値と同じ仕方で表現される。
@@ -13841,17 +13855,18 @@ <h4 title="Annotated types">2.13.33. 注釈された型</h4>
 <p class="example">
 `[Clamp] long^c は、
 新たな`注釈された型$を定義する
-— その挙動は `内縁~型$anO `long$T に基づくが，
+— その挙動は、
+その`内縁~型$anO `long$T に基づくが，
 `Clamp$x 拡張d属性に指定されるとおり改変される。
 ◎
 [Clamp] long defines a new annotated type, whose behavior is based on that of the inner type long, but modified as specified by the [Clamp] extended attribute.
 </p>
 
 <p>
-次に挙げるものが
+次に挙げる拡張d属性が，
 `型に適用-可能@
-（ `applicable to type^en ）な拡張d属性とされる
-⇒
+（ `applicable to type^en ）であるとされる
+⇒＃
 `AllowResizable$x,
 `AllowShared$x,
 `Clamp$x,
@@ -13865,8 +13880,7 @@ <h4 title="Annotated types">2.13.33. 注釈された型</h4>
 <p>
 所与の~IDL型 %型 に
 `結付けられた拡張d属性@
-（ `extended attributes associated with^en ）は、
-次に従って決定される：
+（ `extended attributes associated with^en ）を決定する~algoは：
 ◎
 The extended attributes associated with an IDL type type are determined as follows:
 </p>
@@ -14193,8 +14207,8 @@ <h4 title="Frozen array types — FrozenArray&lt;T&gt;">2.13.35. 凍結d配列~
 `凍結d配列~型$は、
 `~ifc$上に定義される［
 `正則~属性$／`静的~属性$
-］の型として利用でき，
-それら以外に利用してはナラナイ。
+］の型として利用できる
+— それら以外に利用してはナラナイ。
 ◎
 Frozen array types must only be used as the type of regular attributes or static attributes defined on an interface.
 </p>
@@ -14236,7 +14250,7 @@ <h4 title="Frozen array types — FrozenArray&lt;T&gt;">2.13.35. 凍結d配列~
 好みな色~群
 ⇒
 `DOMString$T 型の値たちが成す凍結d配列
-— 初期~時は，次の結果に等しくなるとする
+— 初期~時は，次の結果に設定される【！equal】とする
 ⇒
 `凍結d配列を作成する$( « `purple^l, `aquamarine^l » )
 ◎
@@ -14246,7 +14260,7 @@ <h4 title="Frozen array types — FrozenArray&lt;T&gt;">2.13.35. 凍結d配列~
 好みな食品~群
 ⇒
 `DOMString$T 型の値たちが成す凍結d配列
-— 初期~時は，次の結果に等しくなるとする
+— 初期~時は，次の結果に設定される【！equal】とする
 ⇒
 `凍結d配列を作成する$( « » )
 ◎