まんが/ラビリンス マンガ 11.F 構文規則6 ラムダ計算の文法 2019年11月25日 susumu 今まで見てきた文法を使って、ラムダ計算の文法を書いてみます。 ざっと作ったので、変な式も書けてしまうかもしれませんが、だいたいこんな感じで、コンピュータの言語の文法を決めることが出来る、ということだと思って見てください…。 今から思えば、最初にプログラミング言語を見て、この構造を把握しておいたほうが、分かりやすかったような気がしますが…。 関連記事マンガ11.G 構文規則7 意味論マンガ 11.E 構文規則5 文脈自由文法マンガ-2.e「不完全性定理⑤不完全性定理」マンガ10.a 論理学-1/参考文献 − 古代ギリシア編本『自然とギリシア人・科学と人間性』エルヴィン・シュレーディンガー(水谷淳訳) ちくま学芸文庫マンガ 9.a 知識表現1マンガ 12.e 命題論理-5 命題結合記号と真理値表Labyrinth-2.c「不完全性定理③-論理主義・直観主義」