制御構造のクラス分け
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/15 06:14 UTC 版)
「Planner」の記事における「制御構造のクラス分け」の解説
ヒューイットは Mike Paterson と共に、再帰呼び出し(recursion)が繰り返し(iteration)よりも強力であること、並列処理が逐次的再帰よりも強力であることを証明した。ヒューイットは同時にコルーチンが再帰よりも強力であると推測したが、最近の強力な形式手法を使うまでそれを証明できなかった。
※この「制御構造のクラス分け」の解説は、「Planner」の解説の一部です。
「制御構造のクラス分け」を含む「Planner」の記事については、「Planner」の概要を参照ください。
- 制御構造のクラス分けのページへのリンク