update automatically

Author: cpprefjp-autoupdate

reference/execution/execution.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-06-07T09:28:55">
-        2026年06月07日 09時28分55秒
+      <span itemprop="datePublished" content="2026-06-07T15:58:39">
+        2026年06月07日 15時58分39秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -405,11 +405,6 @@ <h3>Receiver</h3>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><a href="execution/receiver_of.html">execution::receiver_of</a></code></td>
-<td>指定完了シグネチャ集合に適合するReceiver (concept)</td>
-<td>C++26</td>
-</tr>
-<tr>
 <td><code><a href="execution/inlinable_receiver.html">execution::inlinable_receiver</a></code></td>
 <td>インライン化可能なReceiver (concept)</td>
 <td>C++26</td>
@@ -489,11 +484,6 @@ <h3>Sender</h3>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><a href="execution/sender_to.html">execution::sender_to</a></code></td>
-<td>指定Receiverに接続可能なSender (concept)</td>
-<td>C++26</td>
-</tr>
-<tr>
 <td><code><a href="execution/value_types_of_t.html">execution::value_types_of_t</a></code></td>
 <td>Senderの値完了シグネチャ集合から指定操作で型を生成 (alias template)</td>
 <td>C++26</td>
@@ -898,6 +888,7 @@ <h2>参照</h2>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3826r5.html" target="_blank">P3826R5 Fix Sender Algorithm Customization</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3941r4.html" target="_blank">P3941R4 Scheduler Affinity</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4151r1.pdf" target="_blank">P4151R1 Rename <code>affine_on</code></a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4159r0.html" target="_blank">P4159R0 Make <code>sender_in</code> and <code>receiver_of</code> exposition-only</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/as_awaitable.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-06-06T16:11:27">
-        2026年06月06日 16時11分27秒
+      <span itemprop="datePublished" content="2026-06-07T15:58:39">
+        2026年06月07日 15時58分39秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -281,7 +281,7 @@ <h3>コンセプト<code>awaitable-sender</code></h3>
 <span class="w">  </span><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span><span class="w"> </span><span class="nc">Sndr</span><span class="p">,</span><span class="w"> </span><span class="k">class</span><span class="w"> </span><span class="nc">Promise</span><span class="o">&gt;</span>
 <span class="w">  </span><span class="k">concept</span><span class="w"> </span><span class="nc">awaitable</span><span class="o">-</span><span class="n">sender</span><span class="w"> </span><span class="o">=</span>
 <span class="w">    </span><span class="n"><a href="single-sender.html">single-sender</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="env_of_t.html">env_of_t</a></span><span class="o">&lt;</span><span class="n">Promise</span><span class="o">&gt;&gt;</span><span class="w"> </span><span class="o">&amp;&amp;</span>
-<span class="w">    </span><span class="n"><a href="sender_to.html">sender_to</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span><span class="w"> </span><span class="k">typename</span><span class="w"> </span><span class="nc">sender</span><span class="o">-</span><span class="n">awaitable</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span><span class="w"> </span><span class="n">Promise</span><span class="o">&gt;::</span><span class="n">awaitable</span><span class="o">-</span><span class="n">receiver</span><span class="o">&gt;</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w">  </span><span class="c1">// <i>see below</i></span>
+<span class="w">    </span><span class="n"><a href="sender-to.html">sender-to</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span><span class="w"> </span><span class="k">typename</span><span class="w"> </span><span class="nc">sender</span><span class="o">-</span><span class="n">awaitable</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span><span class="w"> </span><span class="n">Promise</span><span class="o">&gt;::</span><span class="n">awaitable</span><span class="o">-</span><span class="n">receiver</span><span class="o">&gt;</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w">  </span><span class="c1">// <i>see below</i></span>
 <span class="w">    </span><span class="k">requires</span><span class="w"> </span><span class="p">(</span><span class="n">Promise</span><span class="o">&amp;</span><span class="w"> </span><span class="n">p</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
 <span class="w">      </span><span class="p">{</span><span class="w"> </span><span class="n">p</span><span class="p">.</span><span class="n">unhandled_stopped</span><span class="p">()</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="n"><a href="../../concepts/convertible_to.html">convertible_to</a></span><span class="o">&lt;</span><span class="n"><a href="../../coroutine/coroutine_handle.html">coroutine_handle&lt;&gt;</a></span><span class="o">&gt;</span><span class="p">;</span>
 <span class="w">    </span><span class="p">};</span>
@@ -433,6 +433,7 @@ <h2>参照</h2>
 <li><a href="https://cplusplus.github.io/LWG/issue4133" target="_blank">LWG4133 <code>awaitable-receiver</code>'s members are potentially throwing</a></li>
 <li><a href="https://cplusplus.github.io/LWG/issue4361" target="_blank">LWG4361 <code>awaitable-receiver::set_value</code> should use Mandates instead of constraints</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3941r4.html" target="_blank">P3941R4 Scheduler Affinity</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4159r0.html" target="_blank">P4159R0 Make <code>sender_in</code> and <code>receiver_of</code> exposition-only</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/connect.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-05-16T15:17:02">
-        2026年05月16日 15時17分02秒
+      <span itemprop="datePublished" content="2026-06-07T15:58:39">
+        2026年06月07日 15時58分39秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -252,7 +252,7 @@ <h2>効果</h2>
 <p>このとき下記が全て<code>true</code>であること。</p>
 <ul>
 <li><code><a href="sender_in.html">sender_in</a>&lt;Sndr, <a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;&gt;</code></li>
-<li><code><a href="receiver_of.html">receiver_of</a>&lt;Rcvr, <a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;Sndr, <a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;&gt;&gt;</code></li>
+<li><code><a href="receiver-of.html">receiver-of</a>&lt;Rcvr, <a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;Sndr, <a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;&gt;&gt;</code></li>
 </ul>
 <p>下記を満たす右辺値式<code>rcvr2</code>が存在するとき、プログラムは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>(<a class="cpprefjp-defined-word" data-desc="処理系は規則違反に対してエラーメッセージや警告を出さないかもしれない" href="../../../implementation-compliance.html#dfn-no-diagnostic-required">診断不要</a>)となる。</p>
 <ul>
@@ -339,7 +339,7 @@ <h3>Awaitable接続用へルパ</h3>
 <span class="w">    </span><span class="k">return</span><span class="w"> </span><span class="n">awaiter</span><span class="p">{</span><span class="n">fn</span><span class="p">};</span>
 <span class="w">  </span><span class="p">}</span>
 
-<span class="w">  </span><span class="n">operation</span><span class="o">-</span><span class="n">state</span><span class="o">-</span><span class="n">task</span><span class="w"> </span><span class="n">connect</span><span class="o">-</span><span class="n">awaitable</span><span class="p">(</span><span class="n">DS</span><span class="w"> </span><span class="n">sndr</span><span class="p">,</span><span class="w"> </span><span class="n">DR</span><span class="w"> </span><span class="n">rcvr</span><span class="p">)</span><span class="w"> </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="receiver_of.html">receiver_of</a></span><span class="o">&lt;</span><span class="n">DR</span><span class="p">,</span><span class="w"> </span><span class="n">Sigs</span><span class="o">&gt;</span><span class="w"> </span><span class="p">{</span>
+<span class="w">  </span><span class="n">operation</span><span class="o">-</span><span class="n">state</span><span class="o">-</span><span class="n">task</span><span class="w"> </span><span class="n">connect</span><span class="o">-</span><span class="n">awaitable</span><span class="p">(</span><span class="n">DS</span><span class="w"> </span><span class="n">sndr</span><span class="p">,</span><span class="w"> </span><span class="n">DR</span><span class="w"> </span><span class="n">rcvr</span><span class="p">)</span><span class="w"> </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="receiver-of.html">receiver-of</a></span><span class="o">&lt;</span><span class="n">DR</span><span class="p">,</span><span class="w"> </span><span class="n">Sigs</span><span class="o">&gt;</span><span class="w"> </span><span class="p">{</span>
 <span class="w">    </span><span class="n"><a href="../../exception/exception_ptr.html">exception_ptr</a></span><span class="w"> </span><span class="n">ep</span><span class="p">;</span>
 <span class="w">    </span><span class="k">try</span><span class="w"> </span><span class="p">{</span>
 <span class="w">      </span><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="../../concepts/same_as.html">same_as</a></span><span class="o">&lt;</span><span class="n">V</span><span class="p">,</span><span class="w"> </span><span class="kt">void</span><span class="o">&gt;</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
@@ -417,6 +417,7 @@ <h2>参照</h2>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3388r3.pdf" target="_blank">P3388R3 When Do You Know connect Doesn't Throw?</a></li>
 <li><a href="https://cplusplus.github.io/LWG/issue4208" target="_blank">LWG 4208. Wording needs to ensure that in <code>connect(sndr, rcvr)</code> that <code>rcvr</code> expression is only evaluated once</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3826r5.html" target="_blank">P3826R5 Fix Sender Algorithm Customization</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4159r0.html" target="_blank">P4159R0 Make <code>sender_in</code> and <code>receiver_of</code> exposition-only</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/get_start_scheduler.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-06-07T01:45:20">
-        2026年06月07日 01時45分20秒
+      <span itemprop="datePublished" content="2026-06-07T15:58:39">
+        2026年06月07日 15時58分39秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -242,7 +242,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに
 <h2>カスタマイゼーションポイント</h2>
 <p>const修飾<a href="../queryable.html">クエリ可能オブジェクト</a><code>cenv</code>に対して式<code>cenv.query(get_start_scheduler)</code>が呼び出される。
 このとき、<code>noexcept(cenv.query(get_start_scheduler)) == true</code>であること。</p>
-<p><code><a href="sender_to.html">sender_to</a>&lt;decltype((sndr)), decltype((rcvr))&gt;</code>が<code>true</code>かつ式<code>get_start_scheduler(<a href="get_env.html">get_env</a>(rcvr))</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>となる式<code>sndr</code>と<code>rcvr</code>に対して、<code><a href="connect.html">connect</a>(sndr, rcvr)</code>の呼び出し結果である<a href="operation_state.html">Operation State</a>が<a href="start.html">開始(start)</a>される場合、<a href="scheduler.html">Scheduler</a><code>get_start_scheduler(<a href="get_env.html">get_env</a>(rcvr))</code>に関連付けられた実行エージェント上で開始されなければならない。</p>
+<p><code><a href="sender-to.html">sender-to</a>&lt;decltype((sndr)), decltype((rcvr))&gt;</code>が<code>true</code>かつ式<code>get_start_scheduler(<a href="get_env.html">get_env</a>(rcvr))</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>となる式<code>sndr</code>と<code>rcvr</code>に対して、<code><a href="connect.html">connect</a>(sndr, rcvr)</code>の呼び出し結果である<a href="operation_state.html">Operation State</a>が<a href="start.html">開始(start)</a>される場合、<a href="scheduler.html">Scheduler</a><code>get_start_scheduler(<a href="get_env.html">get_env</a>(rcvr))</code>に関連付けられた実行エージェント上で開始されなければならない。</p>
 <h2>バージョン</h2>
 <h3>言語</h3>
 <ul>
@@ -262,6 +262,7 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3941r4.html" target="_blank">P3941R4 Scheduler Affinity</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4159r0.html" target="_blank">P4159R0 Make <code>sender_in</code> and <code>receiver_of</code> exposition-only</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/inline_scheduler.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-05-16T15:17:02">
-        2026年05月16日 15時17分02秒
+      <span itemprop="datePublished" content="2026-06-07T15:58:39">
+        2026年06月07日 15時58分39秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -246,7 +246,7 @@ <h2>概要</h2>
 <h2>クラス仕様</h2>
 <p><code>inline_scheduler</code>型の全オブジェクトは等しい。<code>inline_scheduler</code>型の部分式<code>sch</code>、<a href="../queryable.html">クエリオブジェクト</a><code>q</code>、部分式のパック<code>args</code>としたとき、式<code>sch.query(q, args...)</code>は<code>inline-attrs&lt;<a href="set_value.html">set_value_t</a>&gt;.query(q, args...)</code>と等価な式となる。</p>
 <p>説明専用のクラス<code>inline-sender</code>を<code><a href="sender.html">sender</a></code>を満たす型とする。<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;inline-sender&gt;</code>は、<code><a href="completion_signatures.html">completion_signatures</a>&lt;<a href="set_value.html">set_value_t</a>()&gt;</code>となる。</p>
-<p>説明用の<code>sndr</code>を<code>inline-sender</code>型の式とする。<code>CS</code>を<code><a href="completion_signatures.html">completion_signatures</a>&lt;<a href="set_value.html">set_value_t</a>()&gt;</code>としたとき、<code>rcvr</code>を<code><a href="receiver_of.html">receiver_of</a>&lt;decltype((rcvr)), CS&gt;</code>が<code>true</code>となる式とする。式<code><a href="connect.html">connect</a>(sndr, rcvr)</code>の型は<code>inline-state&lt;<a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype((rcvr))&gt;&gt;</code>であり、式<code>((void)sndr, auto(rcvr))</code>が潜在的に<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出(potentially-throwing)するときに限って潜在的に<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出する。</p>
+<p>説明用の<code>sndr</code>を<code>inline-sender</code>型の式とする。<code>CS</code>を<code><a href="completion_signatures.html">completion_signatures</a>&lt;<a href="set_value.html">set_value_t</a>()&gt;</code>としたとき、<code>rcvr</code>を<code><a href="receiver-of.html">receiver-of</a>&lt;decltype((rcvr)), CS&gt;</code>が<code>true</code>となる式とする。式<code><a href="connect.html">connect</a>(sndr, rcvr)</code>の型は<code>inline-state&lt;<a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype((rcvr))&gt;&gt;</code>であり、式<code>((void)sndr, auto(rcvr))</code>が潜在的に<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出(potentially-throwing)するときに限って潜在的に<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出する。</p>
 <p>説明用の<code>o</code>を<code>inline-state&lt;Rcvr&gt;</code>型の非const左辺値とし、<code>REC(o)</code>を<code>o</code>を返す<a href="connect.html">接続(connect)</a>呼び出しへ渡した式<code>rcvr</code>で初期化された<code>Rcvr</code>型の非const左辺値参照とする。</p>
 <ul>
 <li><code>REC(o)</code>が参照するオブジェクトは、<code>o</code>が参照するオブジェクトの生存期間(lifetime)で有効である。</li>
@@ -344,6 +344,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3552r3.html" target="_blank">P3552R3 Add a Coroutine Task Type</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3826r5.html" target="_blank">P3826R5 Fix Sender Algorithm Customization</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4159r0.html" target="_blank">P4159R0 Make <code>sender_in</code> and <code>receiver_of</code> exposition-only</a></li>
 <li>C++now 2025, <a href="https://schedule.cppnow.org/wp-content/uploads/2025/03/Getting_The_Lazy_Task_Done.pdf" target="_blank">Getting The Lazy Task Done</a></li>
 </ul></div>