mdspan: P3663R3対応 調整 (#1567)

Author: yohhoy

reference/mdspan/canonical-slice.md

@@ -14,7 +14,7 @@ constexpr auto canonical-slice(S s);
 
 
 ## 適格要件
-`S`が`IndexType`の`submdspan`スライス型であること。
+`S`が`IndexType`の[`submdspan`スライス型](submdspan_canonicalize_slices.md)であること。
 
 
 ## 効果

reference/mdspan/layout_left/mapping/submdspan_mapping.md

@@ -46,7 +46,7 @@ friend constexpr auto submdspan_mapping(
 - パック`ls` : `extents()`の次元`r`に対して、`r`番目の要素が`slices...[r]`の`submdspan`スライス範囲の下限に等しい`index_type`型の値パック
 - 値`offset` : `extents()`における任意の次元インデクス`k`に対して`ls...[k]`が`extents().extent(k)`と等しいとき、`required_span_size()`に等しい`size_t`型の値。そうでなければ、[`operator()`](op_call.md)に等しい`size_t`型の値。
 
-下記を満たす型`S`を、単位ストライド幅スライス型(unit-stride slice type)と定義する。
+下記を満たす型`S`を、単位ストライド幅スライス型と定義する。
 
 - `S`が[`strided_slice`](../../strided_slice.md)の特殊化であり、`S::stride_type`が[`constant_wrapper`](/reference/type_traits/constant_wrapper.md.nolink)の特殊化かつ`S::stride_type::value`が`1`、または
 - `S`が[`full_extent_t`](../../full_extent_t.md)

reference/mdspan/layout_left_padded/mapping/submdspan_mapping.md

@@ -46,7 +46,7 @@ friend constexpr auto submdspan_mapping(
 - パック`ls` : `extents()`の次元`r`に対して、`r`番目の要素が`slices...[r]`の`submdspan`スライス範囲の下限に等しい`index_type`型の値パック
 - 値`offset` : `extents()`における任意の次元インデクス`k`に対して`ls...[k]`が`extents().extent(k)`と等しいとき、`required_span_size()`に等しい`size_t`型の値。そうでなければ、[`operator()`](op_call.md)に等しい`size_t`型の値。
 
-下記を満たす型`S`を、単位ストライド幅スライス型(unit-stride slice type)と定義する。
+下記を満たす型`S`を、単位ストライド幅スライス型と定義する。
 
 - `S`が[`strided_slice`](../../strided_slice.md)の特殊化であり、`S::stride_type`が[`constant_wrapper`](/reference/type_traits/constant_wrapper.md.nolink)の特殊化かつ`S::stride_type::value`が`1`、または
 - `S`が[`full_extent_t`](../../full_extent_t.md)

reference/mdspan/layout_right/mapping/submdspan_mapping.md

@@ -46,7 +46,7 @@ friend constexpr auto submdspan_mapping(
 - パック`ls` : `extents()`の次元`r`に対して、`r`番目の要素が`slices...[r]`の`submdspan`スライス範囲の下限に等しい`index_type`型の値パック
 - 値`offset` : `extents()`における任意の次元インデクス`k`に対して`ls...[k]`が`extents().extent(k)`と等しいとき、`required_span_size()`に等しい`size_t`型の値。そうでなければ、[`operator()`](op_call.md)に等しい`size_t`型の値。
 
-下記を満たす型`S`を、単位ストライド幅スライス型(unit-stride slice type)と定義する。
+下記を満たす型`S`を、単位ストライド幅スライス型と定義する。
 
 - `S`が[`strided_slice`](../../strided_slice.md)の特殊化であり、`S::stride_type`が[`constant_wrapper`](/reference/type_traits/constant_wrapper.md.nolink)の特殊化かつ`S::stride_type::value`が`1`、または
 - `S`が[`full_extent_t`](../../full_extent_t.md)

reference/mdspan/layout_right_padded/mapping/submdspan_mapping.md

@@ -46,7 +46,7 @@ friend constexpr auto submdspan_mapping(
 - パック`ls` : `extents()`の次元`r`に対して、`r`番目の要素が`slices...[r]`の`submdspan`スライス範囲の下限に等しい`index_type`型の値パック
 - 値`offset` : `extents()`における任意の次元インデクス`k`に対して`ls...[k]`が`extents().extent(k)`と等しいとき、`required_span_size()`に等しい`size_t`型の値。そうでなければ、[`operator()`](op_call.md)に等しい`size_t`型の値。
 
-下記を満たす型`S`を、単位ストライド幅スライス型(unit-stride slice type)と定義する。
+下記を満たす型`S`を、単位ストライド幅スライス型と定義する。
 
 - `S`が[`strided_slice`](../../strided_slice.md)の特殊化であり、`S::stride_type`が[`constant_wrapper`](/reference/type_traits/constant_wrapper.md.nolink)の特殊化かつ`S::stride_type::value`が`1`、または
 - `S`が[`full_extent_t`](../../full_extent_t.md)

reference/mdspan/sliceable-mapping.md

@@ -43,7 +43,7 @@ concept sliceable-mapping = see below;
     submdspan_mapping(m, valid_slices...)
     ```
 
-    下記を満たす型`SM`に対して`submdspan_mapping_result<SM>`の特殊化である型`SMR`をもつ。
+    下記を満たす型`SM`に対して[`submdspan_mapping_result`](submdspan_mapping_result.md)`<SM>`の特殊化である型`SMR`をもつ。
 
     - `SM`が[レイアウトマッピング要件](LayoutMapping.md)を満たす
     - `SM::extents_type`が[`extents`](extents.md)の特殊化である
@@ -52,7 +52,7 @@ concept sliceable-mapping = see below;
 
     下記を満たす`SMR`型のオブジェクト`smr`を返す。
 
-    - `smr.mapping.extents() == submdspan_extents(m.extents(), valid_slices...)`、かつ
+    - `smr.mapping.extents() ==` [`submdspan_extents`](submdspan_extents.md)`(m.extents(), valid_slices...)`、かつ
     - `smr.mapping.extents()`の多次元インデクス値を表す整数パック`i`に対して、下記を満たす整数パック`j`に対し`smr.mapping(i...) + smr.offset == m(j)`が`true`となる
         - `sizeof...(j)`が`M_rank`に等しく、かつ
         - `m.extents()`の各次元インデクス`r`に対して、`j...[r]`が下記の総和に等しい

reference/mdspan/submdspan_canonicalize_slices.md

@@ -43,7 +43,7 @@ namespace std {
 ### 縮約スライス型と`MAP_RANK`
 ある型が[`full_extent_t`](full_extent_t.md)ないし[`strided_slice`](strided_slice.md)の特殊化いずれでもないとき、縮約スライス型(collapsing slice type)となる。
 
-パック`p`と整数`i`に対して、説明用の`MAP_RANK(p, i)`を`0 <= j < `のうち縮約スライス型ではない要素`p...[j]`の個数とする。
+パック`p`と整数`i`に対して、説明用の`MAP_RANK(p, i)`を`0 <= j < i`のうち縮約スライス型ではない要素`p...[j]`の個数とする。
 
 ### 有効`submdspan`スライス型
 [`extents`](extents.md)の特殊化である型`E`に対して、型`S`が`E::index_type`の正則スライス型であり、かつ`E::static_extent(k)`に等しい`x`に対して`x`が`dynamic_extent`に等しいか下記を満たすとき、型`S`は`E`の`k`番目次元の有効`submdspan`スライス型(valid `submdspan` slice type)となる。
@@ -61,7 +61,7 @@ namespace std {
 - `e`の`k`番目区間が、`e`の`k`番目次元に対して`s`の`submdspan`スライス範囲を含む
 - `S`が[`strided_slice`](strided_slice.md)の特殊化であるとき :
     - `s.extent`が値`0`以上であり、かつ
-    - `s.extents`が値`0`に等しい、もしくは`s.stride`が値`0`より大きい
+    - `s.extent`が値`0`に等しい、もしくは`s.stride`が値`0`より大きい
 
 
 ## テンプレートパラメータ制約

working_style.md

@@ -154,7 +154,7 @@ C++11以降対応については対応バージョンを明記します。バー
 | trait                              | トレイト                     |
 | trivial                            | トリビアル (逆は非トリビアル)            |
 | underlying type                    | 基底型                       |
-| unit-stride slice                  | 単位ストライド幅スライス     |
+| unit-stride slice type             | 単位ストライド幅スライス型   |
 | unordered associative container(s) | 非順序連想コンテナ           |
 | unspecified                        | 未規定                       |
 | program-defined type               | プログラム定義型             |