generated at
2/18/2025, 6:55:26 PM
意味近似順序
semantic approximation order
この記事内
で、そう呼んでいる
が、たぶん一般的な名称ではないと思う
一般的な名称が何なのかは知らんが、実際この概念は便利なのでノートを切っている
参考
Haskell/Denotational semantics - Wikibooks
>
#WIP
a\sqsubseteq b
のとき
a
は
b
の近似
b
の方が精度が良い
ex.
3.14\sqsubseteq 3.141
具体例
階乗関数fact
/mrsekut-book-4320026578/074
>
最大限は領域
D
のすべてのデータの情報を含んだ元ととらえるべきである。しかし、
/mrsekut-book-4320026578/072
プログラムが表す領域上の関数は、
スコット連続関数
である
