<html xmlns="http://www.w3.org/1999/xhtml"><head></head><body><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="7" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[7]</anchor-end> 
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO/IEC 2022</anchor> の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">規定</anchor>する<dfn><rubyb xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"><ruby xmlns="http://www.w3.org/1999/xhtml">空<rt>くう</rt></ruby><ruby xmlns="http://www.w3.org/1999/xhtml">集<rt>しゅう</rt></ruby><ruby xmlns="http://www.w3.org/1999/xhtml">合<rt>ごう</rt></ruby><rt xmlns="http://www.w3.org/1999/xhtml">empty set</rt></rubyb></dfn>は、
定義された<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">文字</anchor>の存在しない<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">文字集合</anchor>です。</p><section><h1>仕様書</h1><refs xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"><ul xmlns="http://www.w3.org/1999/xhtml"><li>
<anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="8" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[8]</anchor-end> 
<cite>ECMA-35_6th_edition_december_1994.pdf</cite>, <time>2021-01-16T09:57:02.000Z</time>, <time>2022-04-30T02:06:27.703Z</time> 
<anchor-external xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:resScheme="URI" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:resParameter="https://www.ecma-international.org/wp-content/uploads/ECMA-35_6th_edition_december_1994.pdf">https://www.ecma-international.org/wp-content/uploads/ECMA-35_6th_edition_december_1994.pdf</anchor-external><ul><li><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="9" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[9]</anchor-end> 
<anchor-external xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:resScheme="URI" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:resParameter="https://www.ecma-international.org/wp-content/uploads/ECMA-35_6th_edition_december_1994.pdf#page=22">https://www.ecma-international.org/wp-content/uploads/ECMA-35_6th_edition_december_1994.pdf#page=22</anchor-external></li></ul></li><li><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="37" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[37]</anchor-end> 
<cite><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO-IR</anchor></cite>, <time>2021-05-21T12:42:23.000Z</time>, <time>2022-04-29T12:19:20.657Z</time> <anchor-external xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:resScheme="URI" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:resParameter="https://www.itscj-ipsj.jp/custom_contents/cms/linkfile/ISO-IR.pdf#page=23">https://www.itscj-ipsj.jp/custom_contents/cms/linkfile/ISO-IR.pdf#page=23</anchor-external></li></ul></refs></section><section><h1>指示シーケンス</h1><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="3" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[3]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO/IEC 2022</anchor> の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">エスケープ・シーケンス</anchor>の型のうち
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">1F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">2F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">4F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">8F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">9F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">10F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">11F</anchor>,
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">13F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">14F</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">15F</anchor> では<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">終端バイト</anchor> <code>07/14</code>
が<dfn>空集合</dfn> (<dfn><code class="charname" xml:lang="en">EMPTY SET</code></dfn>) に予約されています。
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">JIS X 0202</anchor>:1998 13.3.2, 14.1</src></p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="12" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[12]</anchor-end> 
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">終端バイト</anchor>を <code>07/14</code> 
にした場合はその型に合わせた<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>が<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>されます。</p><comment-p xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="13" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[13]</anchor-end> ここでいう「<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">予約</anchor>」は割り当てられているという意味で、
使っていけないという意味ではなさげです。</comment-p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="5" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[5]</anchor-end> 
<anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="3" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;3</anchor-internal> の各型の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">エスケープ・シーケンス</anchor>はいずれも<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>に使われるものです。
つまり <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">C0</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">C1</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">G0</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">G1</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">G2</anchor>, <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">G3</anchor> 
に<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>できます。</p><comment-p xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">
<anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="18" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[18]</anchor-end> 
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">12F</anchor> が抜けていますが、 <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">12F</anchor> は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">96集合</anchor>を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">G0</anchor>に<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>するものです。
一部で実装されていることもありますが、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO/IEC 2022</anchor> は認めていません。
<sw-see xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"> <anchor>指示シーケンス</anchor> </sw-see></comment-p><hr></hr><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="10" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[10]</anchor-end> 
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO/IEC 2022</anchor>
は、
<var>F</var> = 07/14 の時<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合<title xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:">空集合 (ISO/IEC 2022)</title></anchor>が<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>される
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO/IEC 2022</anchor> 1994 14, <anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="9" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;9</anchor-internal></src>
と定めています。
この<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">規定</anchor>は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">中間バイト</anchor>に言及しておらず、
不明瞭で解釈の余地があります。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="14" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[14]</anchor-end> 
素直に解釈すれば<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">中間バイト</anchor>に関わらず
<var>F</var> が <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">7/14</anchor> のときは<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>になるように読めます。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="36" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[36]</anchor-end> 
ところが
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO-IR</anchor> 
の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">94集合</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">中間バイト</anchor> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">2/1</anchor> の表の
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">7/14</anchor>
欄は空欄 (未割当) になっていて
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor-internal xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="37" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">&gt;&gt;37</anchor-internal></src>、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>ではなく、
別の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">符号化図形文字集合</anchor>が登録されることが有り得そうに見えます。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="6" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[6]</anchor-end> また、 <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">DRCS</anchor> の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">中間バイト</anchor> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">2/0</anchor>
があるときは、<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">終端バイト</anchor>が <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">7/14</anchor> でも<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>にはならないみたいです。
<sw-see xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"> <anchor>DRCS</anchor> </sw-see></p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[1]</anchor-end> 
一方で、
<code class="charname" xml:lang="en">DOCS</code> の
ESC % / ~ は <code class="charname" xml:lang="en">EMPTY SET</code> では<em>ない</em>はずですが、 <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO-IR</anchor>
の表では <code class="charname" xml:lang="en">EMPTY SET</code> であるかのような色が塗られています。
ESC % ~ には塗られてないので、間違いだと思われます。
「<code class="charname" xml:lang="en">DOCS</code> の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>」
は意味を成しません。
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO-IR</anchor> 
の表の塗り方はあまり信用できないといえます。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="15" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[15]</anchor-end> 
現実的には今後新たな<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">終端バイト</anchor>が <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ISO-IR</anchor> に登録される可能性は低い上、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>する必要性もほぼ無いので、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">中間バイト</anchor>付き <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">7/14</anchor> が<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>であろうがなかろうが、
困ることはなさそうです。</p><hr></hr><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="19" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[19]</anchor-end> 
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">複数バイト集合</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示シーケンス</anchor>でも<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>が指定できます。
しかしそれが何バイトなのかはよくわかりません。
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ビット組合せ</anchor>は使用しないことになっているので、
仕様書としては規定する必要がないということなのでしょうか。
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">複数バイト集合</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">終端バイト</anchor>の割当の規則によれば4バイト以上と解釈されますが。。。
<sw-see xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"> <anchor>指示シーケンス</anchor> </sw-see></p><hr></hr><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="20" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[20]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">IRR</anchor> も参照。</p></section><section><h1>文字集合</h1><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="4" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[4]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">文字</anchor>を含まない<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">集合</anchor>です
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">JIS X 0202</anchor>:1998 14.1</src>。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="11" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[11]</anchor-end> 
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>が指定された場合には、
対応する<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ビット組合せ</anchor>を使用してはなりません
(存在しない<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">文字</anchor>を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">呼出</anchor>してはなりません)
<src xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:10:"><anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">JIS X 0202</anchor>:1998 14.1</src>。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="2" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[2]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">ビット組合せ</anchor>が使われた時どう振る舞うべきかは不明です。
<sw-see xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:"> <anchor>ISO/IEC 2022</anchor> のエラー処理の項 </sw-see></p></section><section><h1>文脈</h1><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="16" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[16]</anchor-end> 
この<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">空集合</anchor>をいつ何のために使うのかは謎です。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="17" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[17]</anchor-end> 
何も<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>されていない初期状態を再現したいときに使えるのかもしれませんが、
そうしたい場面があるのかも謎です。</p><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="21" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[21]</anchor-end> 
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">CNS 5205</anchor>
には
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">C1</anchor> を使用しないため <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">C1</anchor> に <n xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">7/14</n> を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>する、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">C0</anchor> を使用しない場合には <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">C0</anchor> に <n xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">7/14</n> を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">指示</anchor>する、
との<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">エスケープシーケンス</anchor>の説明の記述があります。</p></section><section><h1>メモ</h1></section></body></html>