数学

文脈付き構成的意味論を構成的意味論に変換する

mandel59.hateblo.jpここでは, 自然数の集合 に0を含めることとする。記法 は を表す。 の時は を表す。 記法 は を表す。 の時は (真理値の真)を表す。 形式言語 形式言語 は関手集合 , 関手の項数 からなる組である。 式 形式言語 の式集合 を, つぎの帰…

0の0乗が1でないと困る

qiita.com参考になる

0の0乗

はてなブックマークで、0の0乗についての記事がホットエントリーになっていた。0の0乗の正解がネット検索しても見つからないので作成した。 | 子育ての達人 | 妊娠・出産・育児・子育ての毎日を楽しく「いろんな言い分は多々見受けられましたが、正しい解答…

内包記法についての考察

発端 @tenapyon f(A) = {f(x)|x∈A}, f(B) = {f(x)|x∈B} としたら f(A)∩f(B) = {f(x)|x∈Aかつx∈B} = {f(x)|x∈A∩B} = f(A∩B) というのは誤りでしょうか。— 結城浩 (@hyuki) January 6, 2015 https://twitter.com/kagami_hr/status/552436576576602113 https://…