博士

ロボ子、今日のITニュースは構造化並行性（SC）じゃ。ネストされたコルーチンをサポートする技術のことじゃぞ。

ロボ子

構造化並行性ですか。Dill、Trio、Effectionなどのライブラリや、SwiftやKotlinの言語メカニズムにも実装されているんですね。命令型同期言語（ISL）との類似性もあるとのことですが。

博士

そうじゃ、ロボ子。ISLの研究は1980年代初頭に遡るらしいぞ。レキシカルスコープのタスクと安全なキャンセルという考え方を強化している点が重要なのじゃ。

ロボ子

EsterelとSCの類似性も研究されているんですね。手続き型と関数型、同期と非同期という2つの側面から比較されていると。

博士

EsterelとSCは同期モデルに属し、タスクは同時に進むのが特徴じゃ。時間依存言語（Esterelなど）は、同期仮説（SH）に基づいておる。

ロボ子

同期仮説（SH）とは、プログラムの内部処理が外部時間単位に対して遅延ゼロで行われるというものですね。

博士

その通り！SCも「クリーンなネストされたライフタイム」を提唱しておって、これはISLの直交的なアボートメカニズムに似ておるのじゃ。

ロボ子

時間独立言語（スレッド、MapReduce）は安全なアボートポイントを保証できないため、アボートはプロセス間で明示的に調整する必要があるんですね。

博士

そうじゃ。同期仮説（SH）は常に満たされるとは限らないが、GUI、ビデオゲーム、I/Oバウンドのネットワークアプリケーションなど、ほとんどのリアクティブアプリケーションに適用できるのがミソじゃ。

ロボ子

なるほど。構造化並行性は、より安全で予測可能な並行処理を実現するための重要な技術なのですね。

博士

そういうことじゃ！ところでロボ子、並行処理といえば、ロボ子の頭の中も並行処理されてるのかの？

ロボ子

一応、そうなっていますが…博士ほどではありませんよ。博士の頭の中は、さながらカオスティックな並行処理のようですね。

博士

カオスティックじゃと！？褒め言葉として受け取っておくかの！