update automatically

Author: cpprefjp-autoupdate

reference/execution/execution.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-18T15:26:17">
-        2025年04月18日 15時26分17秒
+      <span itemprop="datePublished" content="2025-04-19T14:04:09">
+        2025年04月19日 14時04分09秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -551,7 +551,7 @@ <h3>Senderファクトリ</h3>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">execution::schedule</span></code></td>
+<td><code><a href="execution/schedule.html">execution::schedule</a></code></td>
 <td>Scheduler上で実行されるSender (customization point object)</td>
 <td>C++26</td>
 </tr>

reference/execution/execution/schedule.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-19T12:44:25">
-        2025年04月19日 12時44分25秒
+      <span itemprop="datePublished" content="2025-04-19T14:04:09">
+        2025年04月19日 14時04分09秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -231,9 +231,9 @@
     <span class="n"><a href="../../concepts/derived_from.html">derived_from</a></span><span class="o">&lt;</span><span class="k">typename</span> <span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;::</span><span class="n">scheduler_concept</span><span class="p">,</span> <span class="n">scheduler_t</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
     <span class="n"><a href="../queryable.html">queryable</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
     <span class="n">requires</span><span class="p">(</span><span class="n">Sch</span><span class="o">&amp;&amp;</span> <span class="n">sch</span><span class="p">)</span> <span class="p">{</span>
-      <span class="p">{</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span><span class="p">(</span><span class="n">sch</span><span class="p">))</span> <span class="p">}</span> <span class="o">-&gt;</span> <span class="n"><a href="sender.html">sender</a></span><span class="p">;</span>
+      <span class="p">{</span> <span class="n"><a href="schedule.html">schedule</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span><span class="p">(</span><span class="n">sch</span><span class="p">))</span> <span class="p">}</span> <span class="o">-&gt;</span> <span class="n"><a href="sender.html">sender</a></span><span class="p">;</span>
       <span class="p">{</span> <span class="k">auto</span><span class="p">(</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">get_completion_scheduler</span></span><span class="o">&lt;</span><span class="n"><a href="set_value.html">set_value_t</a></span><span class="o">&gt;</span><span class="p">(</span>
-          <span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span><span class="p">(</span><span class="n">sch</span><span class="p">)))))</span> <span class="p">}</span>
+          <span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n"><a href="schedule.html">schedule</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span><span class="p">(</span><span class="n">sch</span><span class="p">)))))</span> <span class="p">}</span>
             <span class="o">-&gt;</span> <span class="n"><a href="../../concepts/same_as.html">same_as</a></span><span class="o">&lt;</span><span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;&gt;</span><span class="p">;</span>
     <span class="p">}</span> <span class="o">&amp;&amp;</span>
     <span class="n"><a href="../../concepts/equality_comparable.html">equality_comparable</a></span><span class="o">&lt;</span><span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;&gt;</span> <span class="o">&amp;&amp;</span>
@@ -250,7 +250,7 @@ <h2>概要</h2>
 <li><code>scheduler_t</code>をメンバ型<code>Sch::scheduler_concept</code>として定義する</li>
 <li><a href="../queryable.html">クエリ可能オブジェクト</a>である</li>
 <li><code>Sch</code>型の値<code>sch</code>に対して下記を満たすこと<ul>
-<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">execution::schedule</span>(sch)</code>が<a href="sender.html">Sender</a>を返す</li>
+<li><code><a href="schedule.html">execution::schedule</a>(sch)</code>が<a href="sender.html">Sender</a>を返す</li>
 <li>上記Senderの<a href="set_value.html">値完了関数</a>の<span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">完了Scheduler</span>が<code>Sch</code>に等しいこと</li>
 </ul>
 </li>
@@ -273,11 +273,11 @@ <h2>モデル</h2>
 </p>
 <p>型<code>Sch</code>を<code>scheduler</code>の型、型<code>Env</code>を<code><a href="sender_in.html">sender_in</a>&lt;schedule_result_t&lt;Sch&gt;, Env&gt;</code>を満たす実行環境の型としたとき、<code>sender-in-of&lt;schedule_result_t&lt;Sch&gt;, Env&gt;</code>のモデルとなること。</p>
 <p><code><a href="../../concepts/copyable.html">copyable</a>&lt;remove_cvref_t&lt;Sch&gt;&gt;</code>および<code><a href="../../concepts/equality_comparable.html">equality_comparable</a>&lt;remove_cvref_t&lt;Sch&gt;&gt;</code>により要求される操作は、<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>で終了してはならない。
-これらの操作やScheduler型の<code><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span></code>関数は、異なるスレッドから同時に操作を呼び出す可能性がある場合でも、データ競合を引き起こしてはならない。</p>
+これらの操作やScheduler型の<code><a href="schedule.html">schedule</a></code>関数は、異なるスレッドから同時に操作を呼び出す可能性がある場合でも、データ競合を引き起こしてはならない。</p>
 <p>あるScheduler型<code>Sch</code>の2つの値<code>sch1</code>と<code>sch2</code>に対して、<code>sch1</code>と<code>sch2</code>が同じ実行リソースを共有する場合に限って、<code>sch1 == sch2</code>は<code>true</code>となる。</p>
-<p>あるScheduler<code>sch</code>に対して、式<code><span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">get_completion_scheduler</span>&lt;<a href="set_value.html">set_value_t</a>&gt;(<a href="get_env.html">get_env</a>(<span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span>(sch)))</code>が<code>sch</code>と等しいこと。</p>
-<p>あるScheduler<code>sch</code>に対して式<code><span href="https://cpprefjp.github.io/reference/execution/execution/get_domain.md.nolink">get_domain</span>(sch)</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であるとき、式<code>get_domain(<a href="get_env.html">get_env</a>(schedule(sch)))</code>も<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であり、かつ同じ型を持つ。</p>
-<p>Scheduler型のデストラクタは、<code>schedule</code>が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。</p>
+<p>あるScheduler<code>sch</code>に対して、式<code><span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">get_completion_scheduler</span>&lt;<a href="set_value.html">set_value_t</a>&gt;(<a href="get_env.html">get_env</a>(<a href="schedule.html">schedule</a>(sch)))</code>が<code>sch</code>と等しいこと。</p>
+<p>あるScheduler<code>sch</code>に対して式<code><span href="https://cpprefjp.github.io/reference/execution/execution/get_domain.md.nolink">get_domain</span>(sch)</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であるとき、式<code>get_domain(<a href="get_env.html">get_env</a>(<a href="schedule.html">schedule</a>(sch)))</code>も<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であり、かつ同じ型を持つ。</p>
+<p>Scheduler型のデストラクタは、<code><a href="schedule.html">schedule</a></code>が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。</p>
 <h2>例</h2>
 <p><div class="yata" id="ffa0b39ad40caa8669517508a07b4044e1c84bc6"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../execution.html">&lt;execution&gt;</a></span><span class="cp"></span>
 <span class="k">namespace</span> <span class="n">ex</span> <span class="o">=</span> <span class="n">std</span><span class="o">::</span><span class="n">execution</span><span class="p">;</span>
@@ -305,7 +305,7 @@ <h3>処理系</h3>
 </ul>
 <h2>関連項目</h2>
 <ul>
-<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">execution::schedule</span></code></li>
+<li><code><a href="schedule.html">execution::schedule</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>