他分野での応用例
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/22 04:18 UTC 版)
「継続渡しスタイル」の記事における「他分野での応用例」の解説
計算機科学以外では、例えば自然言語の意味論において、CPSを用いて文の表示を定義することにより、ある種の言語現象を説明できるとされている. 数理論理学のカリー＝ハワード同型対応において、CPS変換は、二重否定による古典論理の直観主義論理への埋め込みにあたる。また、古典論理そのものは、Schemeの call-with-current-continuation 制御演算子のように、継続を直に扱うことができるプログラミング言語に対応する。
※この「他分野での応用例」の解説は、「継続渡しスタイル」の解説の一部です。
「他分野での応用例」を含む「継続渡しスタイル」の記事については、「継続渡しスタイル」の概要を参照ください。
ウィキペディア小見出し辞書の「他分野での応用例」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 他分野での応用例のページへのリンク
