m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 Caty 計算 「型を値とする」ラムダ計算なのだが、普通のラムダ計算と違う記号を使うと、視認性が悪くなって目で追いかけるのが大変なので、次のようにする。 定数名、関数名は大文字の名前 ラムダ変数名は小文字と数字の組み合わせ それ以外は普通の記法をそのまま使う。 let式を使う。 ひつだけ組み込みの演算子を持つ 組み込みの演算子は+だとして、単位元定数Eがあって、次を満たす。 (x + y) + z = x + (y + z) （結合律） E + x = x + E = x （単位律） x + y = y + x （可換律） x + x = x （ベキ等律） もともとは型の計算だったので、次のように変換するとそ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20130905%2F1378365210" title="とあるラムダ計算の計算例 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-09-05 16:13:30 rich https://m-hiyama-memo.hatenablog.jp/entry/20130905/1378365210 1.0 100%