update automatically

Author: cpprefjp-autoupdate

reference/mdspan/canonical-slice.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-03-31T11:30:41">
-        2026年03月31日 11時30分41秒
+      <span itemprop="datePublished" content="2026-03-31T14:35:28">
+        2026年03月31日 14時35分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -220,7 +220,7 @@
 <h2>概要</h2>
 <p><code>canonical-slice</code>は、<code><a href="submdspan.html">submdspan</a></code>動作仕様定義で用いられる説明専用の関数テンプレートである。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a></h2>
-<p><code>S</code>が<code>IndexType</code>の<code>submdspan</code>スライス型であること。</p>
+<p><code>S</code>が<code>IndexType</code>の<a href="submdspan_canonicalize_slices.html"><code>submdspan</code>スライス型</a>であること。</p>
 <h2>効果</h2>
 <p>以下と等価</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">if</span><span class="w"> </span><span class="k">constexpr</span><span class="w"> </span><span class="p">(</span><span class="n"><a href="../type_traits/is_convertible.html">is_convertible_v</a></span><span class="o">&lt;</span><span class="n">S</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="full_extent_t.html">full_extent_t</a></span><span class="o">&gt;</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>

reference/mdspan/layout_left/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-03-31T11:30:41">
-        2026年03月31日 11時30分41秒
+      <span itemprop="datePublished" content="2026-03-31T14:35:28">
+        2026年03月31日 14時35分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -270,7 +270,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価
 <li>パック<code>ls</code> : <code>extents()</code>の次元<code>r</code>に対して、<code>r</code>番目の要素が<code>slices...[r]</code>の<code>submdspan</code>スライス範囲の下限に等しい<code>index_type</code>型の値パック</li>
 <li>値<code>offset</code> : <code>extents()</code>における任意の次元インデクス<code>k</code>に対して<code>ls...[k]</code>が<code>extents().extent(k)</code>と等しいとき、<code>required_span_size()</code>に等しい<code>size_t</code>型の値。そうでなければ、<code><a href="op_call.html">operator()</a></code>に等しい<code>size_t</code>型の値。</li>
 </ul>
-<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型(unit-stride slice type)と定義する。</p>
+<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型と定義する。</p>
 <ul>
 <li><code>S</code>が<code><a href="../../strided_slice.html">strided_slice</a></code>の特殊化であり、<code>S::stride_type</code>が<code><span href="https://cpprefjp.github.io/reference/type_traits/constant_wrapper.md.nolink">constant_wrapper</span></code>の特殊化かつ<code>S::stride_type::value</code>が<code>1</code>、または</li>
 <li><code>S</code>が<code><a href="../../full_extent_t.html">full_extent_t</a></code></li>

reference/mdspan/layout_left_padded/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-03-31T11:30:41">
-        2026年03月31日 11時30分41秒
+      <span itemprop="datePublished" content="2026-03-31T14:35:28">
+        2026年03月31日 14時35分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -270,7 +270,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価
 <li>パック<code>ls</code> : <code>extents()</code>の次元<code>r</code>に対して、<code>r</code>番目の要素が<code>slices...[r]</code>の<code>submdspan</code>スライス範囲の下限に等しい<code>index_type</code>型の値パック</li>
 <li>値<code>offset</code> : <code>extents()</code>における任意の次元インデクス<code>k</code>に対して<code>ls...[k]</code>が<code>extents().extent(k)</code>と等しいとき、<code>required_span_size()</code>に等しい<code>size_t</code>型の値。そうでなければ、<code><a href="op_call.html">operator()</a></code>に等しい<code>size_t</code>型の値。</li>
 </ul>
-<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型(unit-stride slice type)と定義する。</p>
+<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型と定義する。</p>
 <ul>
 <li><code>S</code>が<code><a href="../../strided_slice.html">strided_slice</a></code>の特殊化であり、<code>S::stride_type</code>が<code><span href="https://cpprefjp.github.io/reference/type_traits/constant_wrapper.md.nolink">constant_wrapper</span></code>の特殊化かつ<code>S::stride_type::value</code>が<code>1</code>、または</li>
 <li><code>S</code>が<code><a href="../../full_extent_t.html">full_extent_t</a></code></li>

reference/mdspan/layout_right/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-03-31T11:30:41">
-        2026年03月31日 11時30分41秒
+      <span itemprop="datePublished" content="2026-03-31T14:35:28">
+        2026年03月31日 14時35分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -270,7 +270,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価
 <li>パック<code>ls</code> : <code>extents()</code>の次元<code>r</code>に対して、<code>r</code>番目の要素が<code>slices...[r]</code>の<code>submdspan</code>スライス範囲の下限に等しい<code>index_type</code>型の値パック</li>
 <li>値<code>offset</code> : <code>extents()</code>における任意の次元インデクス<code>k</code>に対して<code>ls...[k]</code>が<code>extents().extent(k)</code>と等しいとき、<code>required_span_size()</code>に等しい<code>size_t</code>型の値。そうでなければ、<code><a href="op_call.html">operator()</a></code>に等しい<code>size_t</code>型の値。</li>
 </ul>
-<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型(unit-stride slice type)と定義する。</p>
+<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型と定義する。</p>
 <ul>
 <li><code>S</code>が<code><a href="../../strided_slice.html">strided_slice</a></code>の特殊化であり、<code>S::stride_type</code>が<code><span href="https://cpprefjp.github.io/reference/type_traits/constant_wrapper.md.nolink">constant_wrapper</span></code>の特殊化かつ<code>S::stride_type::value</code>が<code>1</code>、または</li>
 <li><code>S</code>が<code><a href="../../full_extent_t.html">full_extent_t</a></code></li>

reference/mdspan/layout_right_padded/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-03-31T11:30:41">
-        2026年03月31日 11時30分41秒
+      <span itemprop="datePublished" content="2026-03-31T14:35:28">
+        2026年03月31日 14時35分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -270,7 +270,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価
 <li>パック<code>ls</code> : <code>extents()</code>の次元<code>r</code>に対して、<code>r</code>番目の要素が<code>slices...[r]</code>の<code>submdspan</code>スライス範囲の下限に等しい<code>index_type</code>型の値パック</li>
 <li>値<code>offset</code> : <code>extents()</code>における任意の次元インデクス<code>k</code>に対して<code>ls...[k]</code>が<code>extents().extent(k)</code>と等しいとき、<code>required_span_size()</code>に等しい<code>size_t</code>型の値。そうでなければ、<code><a href="op_call.html">operator()</a></code>に等しい<code>size_t</code>型の値。</li>
 </ul>
-<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型(unit-stride slice type)と定義する。</p>
+<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス型と定義する。</p>
 <ul>
 <li><code>S</code>が<code><a href="../../strided_slice.html">strided_slice</a></code>の特殊化であり、<code>S::stride_type</code>が<code><span href="https://cpprefjp.github.io/reference/type_traits/constant_wrapper.md.nolink">constant_wrapper</span></code>の特殊化かつ<code>S::stride_type::value</code>が<code>1</code>、または</li>
 <li><code>S</code>が<code><a href="../../full_extent_t.html">full_extent_t</a></code></li>

reference/mdspan/sliceable-mapping.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-03-31T11:30:41">
-        2026年03月31日 11時30分41秒
+      <span itemprop="datePublished" content="2026-03-31T14:35:28">
+        2026年03月31日 14時35分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -250,7 +250,7 @@ <h3>スライス可能レイアウトマッピング要件</h3>
 <p><div class="codehilite"><pre><span></span><code><span class="n">submdspan_mapping</span><span class="p">(</span><span class="n">m</span><span class="p">,</span><span class="w"> </span><span class="n">valid_slices</span><span class="p">...)</span>
 </code></pre></div>
 </p>
-<p>下記を満たす型<code>SM</code>に対して<code>submdspan_mapping_result&lt;SM&gt;</code>の特殊化である型<code>SMR</code>をもつ。</p>
+<p>下記を満たす型<code>SM</code>に対して<code><a href="submdspan_mapping_result.html">submdspan_mapping_result</a>&lt;SM&gt;</code>の特殊化である型<code>SMR</code>をもつ。</p>
 <ul>
 <li><code>SM</code>が<a href="LayoutMapping.html">レイアウトマッピング要件</a>を満たす</li>
 <li><code>SM::extents_type</code>が<code><a href="extents.html">extents</a></code>の特殊化である</li>
@@ -259,7 +259,7 @@ <h3>スライス可能レイアウトマッピング要件</h3>
 </ul>
 <p>下記を満たす<code>SMR</code>型のオブジェクト<code>smr</code>を返す。</p>
 <ul>
-<li><code>smr.mapping.extents() == submdspan_extents(m.extents(), valid_slices...)</code>、かつ</li>
+<li><code>smr.mapping.extents() == <a href="submdspan_extents.html">submdspan_extents</a>(m.extents(), valid_slices...)</code>、かつ</li>
 <li><code>smr.mapping.extents()</code>の多次元インデクス値を表す整数パック<code>i</code>に対して、下記を満たす整数パック<code>j</code>に対し<code>smr.mapping(i...) + smr.offset == m(j)</code>が<code>true</code>となる<ul>
 <li><code>sizeof...(j)</code>が<code>M_rank</code>に等しく、かつ</li>
 <li><code>m.extents()</code>の各次元インデクス<code>r</code>に対して、<code>j...[r]</code>が下記の総和に等しい<ul>

reference/mdspan/submdspan_canonicalize_slices.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-03-31T11:30:41">
-        2026年03月31日 11時30分41秒
+      <span itemprop="datePublished" content="2026-03-31T14:35:28">
+        2026年03月31日 14時35分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -250,7 +250,7 @@ <h3>正則<code>submdspan</code>スライス型</h3>
 </ul>
 <h3>縮約スライス型と<code>MAP_RANK</code></h3>
 <p>ある型が<code><a href="full_extent_t.html">full_extent_t</a></code>ないし<code><a href="strided_slice.html">strided_slice</a></code>の特殊化いずれでもないとき、縮約スライス型(collapsing slice type)となる。</p>
-<p>パック<code>p</code>と整数<code>i</code>に対して、説明用の<code>MAP_RANK(p, i)</code>を<code>0 &lt;= j &lt;</code>のうち縮約スライス型ではない要素<code>p...[j]</code>の個数とする。</p>
+<p>パック<code>p</code>と整数<code>i</code>に対して、説明用の<code>MAP_RANK(p, i)</code>を<code>0 &lt;= j &lt; i</code>のうち縮約スライス型ではない要素<code>p...[j]</code>の個数とする。</p>
 <h3>有効<code>submdspan</code>スライス型</h3>
 <p><code><a href="extents.html">extents</a></code>の特殊化である型<code>E</code>に対して、型<code>S</code>が<code>E::index_type</code>の正則スライス型であり、かつ<code>E::static_extent(k)</code>に等しい<code>x</code>に対して<code>x</code>が<code>dynamic_extent</code>に等しいか下記を満たすとき、型<code>S</code>は<code>E</code>の<code>k</code>番目次元の有効<code>submdspan</code>スライス型(valid <code>submdspan</code> slice type)となる。</p>
 <ul>
@@ -269,7 +269,7 @@ <h3>有効<code>submdspan</code>スライス</h3>
 <li><code>e</code>の<code>k</code>番目区間が、<code>e</code>の<code>k</code>番目次元に対して<code>s</code>の<code>submdspan</code>スライス範囲を含む</li>
 <li><code>S</code>が<code><a href="strided_slice.html">strided_slice</a></code>の特殊化であるとき :<ul>
 <li><code>s.extent</code>が値<code>0</code>以上であり、かつ</li>
-<li><code>s.extents</code>が値<code>0</code>に等しい、もしくは<code>s.stride</code>が値<code>0</code>より大きい</li>
+<li><code>s.extent</code>が値<code>0</code>に等しい、もしくは<code>s.stride</code>が値<code>0</code>より大きい</li>
 </ul>
 </li>
 </ul>