File tree Expand file tree Collapse file tree
reference/execution/execution Expand file tree Collapse file tree Original file line number Diff line number Diff line change 201201 < p class ="text-right "> < small >
202202 最終更新日時:
203203 < time itemprop ="datePublished " class ="js-local-time "
204- datetime ="2026-06-12T16:31:19 +09:00 ">
205- 2026年06月12日 16時31分19秒 (JST)
204+ datetime ="2026-07-29T23:56:11 +09:00 ">
205+ 2026年07月29日 23時56分11秒 (JST)
206206 </ time >
207207 < br />
208208 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -262,8 +262,8 @@ <h2>概要</h2>
262262< p > 下記手順によってSender変換が行われる。</ p >
263263< ul >
264264< li > Receiverの環境< code > evn</ code > に< a href ="get_domain.html "> 開始ドメイン</ a > を、Sender< code > sndr</ code > に< a href ="get_completion_domain.html "> 完了ドメイン</ a > をそれぞれ問い合わせる。</ li >
265- < li > 開始ドメインの上で、恒等変化となるまで(Sender型が変化しなくなるまで)再起的にSender変換を適用する 。</ li >
266- < li > 完了ドメインの上で再起的にSender変換を適用する 。同過程でSender型が変化したときは完了ドメインを再度問い合わせる。</ li >
265+ < li > 開始ドメインの上で、恒等変化となるまで(Sender型が変化しなくなるまで)再帰的にSender変換を適用する 。</ li >
266+ < li > 完了ドメインの上で再帰的にSender変換を適用する 。同過程でSender型が変化したときは完了ドメインを再度問い合わせる。</ li >
267267</ ul >
268268< h2 > < a class ="cpprefjp-defined-word " data-desc ="関数呼び出し式の評価結果となるオブジェクト・値 "> 戻り値</ a > </ h2 >
269269< p > 式< code > s</ code > に対して、< code > start-domain</ code > を< code > D()</ code > とする。ここで< code > D</ code > を< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であるならば式< code > < a href ="get_domain.html "> get_domain</ a > (env)</ code > のdecay型、そうでなければ< code > < a href ="default_domain.html "> default_domain</ a > </ code > とする。</ p >
You can’t perform that action at this time.
0 commit comments