数学

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

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://…