SAKAI Masahiro - 表示的意味論 Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= 表示的意味論
シンタックスを数学的な要素に写像することにより意味を定める。
写像先の集合を領域(domain)と呼ぶ。
== 領域理論 (Domain theroy)
* ((<Plotkinのノート|URL:ftp://theory.lcs.mit.edu/pub/papers/Plotkin/>))
* ((<再帰データ領域 Ｄ∞モデル|URL:http://www.kurims.kyoto-u.ac.jp/~cs/csnyumon/>))
== メモ
* ((<CPO>))の((<圏>))では始代数のキャリアと終余代数のキャリアが一致する?
シンタックスを数学的な要素に写像することにより意味を定める。
写像先の集合を領域(domain)と呼ぶ。
== 領域理論 (Domain theroy)
* ((<Plotkinのノート|URL:ftp://theory.lcs.mit.edu/pub/papers/Plotkin/>))
* ((<再帰データ領域 Ｄ∞モデル|URL:http://www.kurims.kyoto-u.ac.jp/~cs/csnyumon/>))
== メモ
* ((<CPO>))の((<圏>))では始代数のキャリアと終余代数のキャリアが一致する?