酒井 政裕 (SAKAI Masahiro)  Index  Search  Changes  RSS  Login

表示的意味論

表示的意味論

シンタックスを数学的な要素に写像することにより意味を定める。 写像先の集合を領域(domain)と呼ぶ。

領域理論 (Domain theroy)

メモ

  • CPO?の圏では始代数のキャリアと終余代数のキャリアが一致する?
Last modified:2006/08/14 11:18:14
Keyword(s):
References:[top]

メニュー

My Activities

授業関係

その他

検索

最新の20件

2024-01-13
2023-11-03
2023-10-25
2022-06-11
2020-12-31
2020-07-21
2020-05-20
2019-04-06
2018-11-08
2017-09-09
2016-10-14
2016-07-15
2016-04-11
2016-04-07
2015-12-23

Generated by Hiki 2.0.0.pre1 (2014-08-13).
Powered by Ruby 2.2.10-p489 (2018-03-28).
Founded by SAKAI Masahiro.