mandel59 https://blog.hatena.ne.jp/mandel59/ Ryusei’s Notes (a.k.a. M59のブログ) https://mandel59.hateblo.jp/ プログラミング 哲学 数学 mandel59.hateblo.jpここでは, 自然数の集合 に0を含めることとする。記法 は を表す。 の時は を表す。 記法 は を表す。 の時は （真理値の真）を表す。 形式言語 形式言語 は関手集合 , 関手の項数 からなる組である。 式 形式言語 の式集合 を, つぎの帰納的定義によって定める: . これは, 次のようなことを含意している: が項数 の関手であり, が式であるとき, は式である。 特に, が項数 の関手であるとき, は式である。 が式であるとき, ある自然数 , ある項数 の関手 , ある式 が存在し, . 構成的意味論 構成的意味論 は形式言語 , 意味集合 , … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmandel59.hateblo.jp%2Fentry%2F2016%2F05%2F14%2F020037" title="文脈付き構成的意味論を構成的意味論に変換する - Ryusei’s Notes (a.k.a. M59のブログ)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20%7B%5Cbf%20N%7D Hatena Blog https://hatena.blog 2016-05-14 02:00:37 rich https://mandel59.hateblo.jp/entry/2016/05/14/020037 1.0 100%