[HTML] 編集（論理的な簡約など

Author: triple-underscore

HTML-form-elements-ja.html

@@ -820,7 +820,9 @@
 改行文字を正規化する:~INFRA#normalize-newlines
 から開始して:~INFRA#string-starts-with
 
-~map:~INFRA#ordered-map
+有順序~集合:~INFRA#ordered-set
+set.付加する:~INFRA#set-append
+有順序~map:~INFRA#ordered-map
 
 ~URL:~URL1#concept-url
 
@@ -2483,57 +2485,59 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 
 <p>
 各 `form$e 要素は、
-名前をある要素に対応付ける
 `過去~名~map@
+— 名前をある要素に対応付ける`有順序~map$ —
 を有する。
 それは、
-各~controlの名前を，その名前が変更されても持続するために利用される。
+各~controlの名前を，その名前が変更されても
+【当の `form^e が`~supportする~prop名$の中に】
+持続するために利用される。
 ◎
 Each form element has a mapping of names to elements called the past names map. It is used to persist names of controls even when they change names.
 </p>
 
 <div class="algo">
 <p>
-`form$e 要素 %F が`~supportする~prop名$は、
-次を走らせて得される：
+`form$e 要素 %form が`~supportする~prop名$は、
+次の~algoを遂行した結果として得される：
 ◎
 The supported property names consist of the names obtained from the following algorithm, in the order obtained from this algorithm:
 </p>
 <ol>
 	<li>
 %~tuple群 ~LET 空~list
 — この~listを成す各~entryは、
-次の~tupleになる
-⇒
 ( 名前, 要素, ~source ~IN { `id^i, `name^i, `過去^i }, 齢 )
+が成す~tupleになる
 【~sourceは、何がこの~entryの~sourceであるかを指示する】
 ◎
 Let sourced names be an initially empty ordered list of tuples consisting of a string, an element, a source, where the source is either id, name, or past, and, if the source is past, an age.
 </li>
 	<li>
 <p>
-%候補~群 ~LET %F に`所有され$ている要素のうち，
-~OR↓ を満たすものたちが成す集合：
+%form に`所有され$ている
+~EACH( %候補 )
+に対し【この時点では、順序は有意でない】：
 </p>
-		<ul>
+		<ol>
 			<li>
-`~listされる$要素であって，次を満たさないもの
+~IF［
+%候補 は `img$e 要素でない
+］~AND［
+%候補 は `~listされる$要素でない
+］
 ⇒
-`input$e 要素であって，その `type$a 属性の状態 ~EQ `Image$st
+~CONTINUE
 </li>
 			<li>
-`img$e 要素である
+~IF［
+%候補 は `input$e 要素である
+］~AND［
+%候補 の `type$a 属性の状態 ~EQ `Image$st
+］
+⇒
+~CONTINUE
 </li>
-		</ul>
-◎
-↓</li>
-	<li>
-<p>
-%候補~群 を成す
-~EACH( %候補 )
-に対し【この時点では、順序は有意でない】：
-</p>
-		<ol>
 			<li>
 ~IF［
 %候補 は `id$a 属性 %A を有する
@@ -2545,7 +2549,9 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 </li>
 			<li>
 ~IF［
-%候補 は `name$a 属性 %A を有する
+%候補 は［
+`name$a ／ `~nameI$a
+］属性 %A を有する
 ］
 ⇒
 %~tuple群 に次の~entryを追加する
@@ -2563,19 +2569,24 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 • If candidate has a name attribute, add an entry to sourced names with that name attribute's value as the string, candidate as the element, and name as the source.
 </li>
 	<li>
-%~map ~LET %F の`過去~名~map$
-◎
-↓</li>
+%齢~index ~LET 0
+</li>
 	<li>
-%~map を成す
-~EACH( %過去~entry )
-に対し
-⇒
+<p>
+%form の`過去~名~map$を成す
+~EACH( %名前 → %要素 )
+に対し：
+</p>
+		<ol>
+			<li>
 %~tuple群 に次に与える~entryを追加する
 ⇒
-( %過去~entry の名前, %過去~entry の要素, `過去^i, ［
-%過去~entry が %~map 内に居続けた時間
-］ )
+( %名前, %要素, `過去^i, %齢~index )
+</li>
+			<li>
+%齢~index ~DECBY 1
+</li>
+		</ol>
 ◎
 For each entry past entry in the past names map, add an entry to sourced names with the past entry's name as the string, past entry's element as the element, past as the source, and the length of time past entry has been in the past names map as the age.
 </li>
@@ -2588,23 +2599,24 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 ~entryの要素の`~tree順序$で~sortする
 </li>
 			<li>
-要素が同じ~entryたちは、
+要素が同じ~entryどうしは、
 ~sourceが［
 `id^i, `name^i, `過去^i
-］の順になるように~sortする
+］の順になるよう~sortする
 </li>
 			<li>
 要素が同じ, かつ［
 ~source ~EQ `過去^i
 ］を満たす~entryどうしは、
-齢が最長なものが先に来るように~sortする
+齢の降順に~sortする
+（~entryの名前が`過去~名~map$に~keyとして早く追加されたものほど先に来るよう）
 </li>
 		</ol>
 ◎
 Sort sourced names by tree order of the element entry of each tuple, sorting entries with the same element by putting entries whose source is id first, then entries whose source is name, and finally entries whose source is past, and sorting entries with the same element and source by their age, oldest first.
 </li>
 	<li>
-%名前~list ~LET 空~list
+%名前~群 ~LET 新たな`有順序~集合$
 ◎
 ↓</li>
 	<li>
@@ -2615,16 +2627,11 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 </p>
 		<ol>
 			<li>
-%名前 ~LET %~entry の名前
-</li>
-			<li>
 ~IF［
-%名前 ~NEQ 空~文字列
-］~AND［
-%名前 ~NIN %名前~list
+%~entry の名前 ~NEQ 空~文字列
 ］
 ⇒
-%名前~list に %名前 を付加する
+%名前~群 に %~entry の名前を`付加する$set
 </li>
 		</ol>
 ◎
@@ -2633,7 +2640,7 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 Remove any entries in sourced names that have the same name as an earlier entry in the map.
 </li>
 	<li>
-~RET %名前~list
+~RET %名前~群
 ◎
 Return the list of names from sourced names, maintaining their relative order.
 </li>
@@ -2642,67 +2649,56 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 
 <div class="algo">
 <p>
-`form$e 要素 %F 用の`有名~propの値を決定する手続き$は、
+`form$e 要素 %form 用の`有名~propの値を決定する手続き$は、
 所与の
-( %F が`~supportする~prop名$ %名前 )
+( %form が`~supportする~prop名$ %名前 )
 に対し：
 ◎
 To determine the value of a named property name for a form element, the user agent must run the following steps:
 </p>
 <ol>
-	<li class="algo">
+	<li>
 <p>
-%O ~LET %F に結付けられた`~live$な `RadioNodeList$I ~obj
+%O ~LET %form に結付けられた`~live$な `RadioNodeList$I ~obj
 — それは、
-所与の時点で［［
-次の手続きが返す要素たち
-］が成す，`~tree順序$による~list
-］を表現するものとして定義される：
+所与の時点で %form に`所有され$ている要素のうち，次の (A) を満たすものは［
+在るならば，それら ／
+無いならば，次の (B) を満たすものたち
+］からなる`~tree順序$による~listを表現するものとして定義される：
 </p>
-		<ol>
+		<ul>
 			<li>
 <p>
-%候補~群 ~LET ~AND↓ を満たす要素たちが成す集合
+(A) ~AND↓：
 </p>
 				<ul>
 					<li>
-%F に`所有され$ている
-</li>
-					<li>
 `~listされる$要素である
 </li>
 					<li>
+次を満たさない
+⇒
 ［
-`id$a 属性を有していて，その値 ~EQ %名前
-］~OR［
-`name$a 属性を有していて，その値 ~EQ %名前
+`input$e 要素である
+］~AND［
+その `type$a 属性の状態 ~EQ `Image$st
 ］
 </li>
 					<li>
 ［
-`input$e 要素でない
+`id$a 属性を有していて，その値 ~EQ %名前
 ］~OR［
-`input$e 要素であって，その `type$a 属性の状態 ~NEQ `Image$st
+`name$a 属性を有していて，その値 ~EQ %名前
 ］
 </li>
 				</ul>
 			</li>
 			<li>
-~IF［
-%候補~群 は空でない
-］
-⇒
-~RET %候補~群
-</li>
-			<li>
 <p>
-~RET ~AND↓ を満たす要素たちが成す集合：
+(B) ~AND↓：
 </p>
 				<ul>
 					<li>
-%F に`所有され$ている
-</li>
-					<li>
 `img$e 要素である
 </li>
 					<li>
@@ -2714,21 +2710,13 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 </li>
 				</ul>
 			</li>
-		</ol>
-
+		</ul>
 ◎
 Let candidates be a live RadioNodeList object containing all the listed elements, whose form owner is the form element, that have either an id attribute or a name attribute equal to name, with the exception of input elements whose type attribute is in the Image Button state, in tree order.
 ◎
 If candidates is empty, let candidates be a live RadioNodeList object containing all the img elements, whose form owner is the form element, that have either an id attribute or a name attribute equal to name, in tree order.
 </li>
 	<li>
-%過去~entry ~LET ［
-%F の`過去~名~map$内に %名前 をある要素に対応付ける~entryが在るならば それ ／
-無いならば ε
-］
-◎
-↓</li>
-	<li>
 <p>
 %O が表現する要素の個数に応じて：
 ◎
@@ -2741,10 +2729,10 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 				<ol>
 					<li>
 ~Assert：
-%過去~entry ~NEQ ε
+`過去~名~map$[ %名前 ] ~NEQ ε
 </li>
 					<li>
-~RET %過去~entry の要素
+~RET `過去~名~map$[ %名前 ]
 </li>
 				</ol>
 ◎
@@ -2767,18 +2755,7 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 %要素 ~LET %O が表現する唯一の要素
 </li>
 					<li>
-~IF［
-%過去~entry ~NEQ ε
-］
-⇒
-%過去~entry の要素 ~SET %要素
-</li>
-					<li>
-~ELSE
-⇒
-%F の`過去~名~map$に［
-%名前 を %要素 に対応付ける~entry
-］を追加する
+`過去~名~map$[ %名前 ] ~SET %要素
 </li>
 					<li>
 ~RET %要素
@@ -2795,9 +2772,9 @@ <h4 title="The form element">4.10.3. ``form^e 要素</h4>
 </div>
 
 <p>
-`form$e 要素の`過去~名~map$ %~map を成すどの %~entry に対しても
+`form$e 要素の`過去~名~map$ %~map を成すどの~entry %~entry に対しても
 ⇒
-%~entry の要素の`~form所有者$が変化したときは、
+%~entry の値である要素の`~form所有者$が変化したときは、
 %~map から %~entry を除去するモノトスル。
 ◎
 If an element listed in a form element's past names map changes form owner, then its entries must be removed from that map.
@@ -5663,7 +5640,7 @@ <h4 title="The select element">4.10.7. ``select^e 要素</h4>
 <p>
 ``size@m
 ~IDL属性は、
-`既定の値$feは 0 とする下で，
+`既定の値$は 0 とする下で，
 ``size$a 内容~属性を`反映する$モノトスル。
 </p>
 ◎