まんが/ラビリンス マンガ 11.A 構文規則1 2019年3月7日 susumu プログラミング言語づくりを通して「構文規則」を見てゆきます。 プログラミング言語を作るためには「どのように文章を書くのか」を決める「構文規則」と「書いたものがどう動くのか、何を意味するのか」を決める「意味規則」が必要になります。 プログラミング言語だけの話かと言うとそうでもなくて、この考え方は論理学や普通の言葉にも同じように使うことができるのです。 しばらくお付き合いください。 関連記事マンガ 11.B 構文規則2 チョムスキーマンガ 10.k 論理学 11 論理の形式化『数学の想像力 正しさの深層に何があるのか』 加藤文元 筑摩選書マンガ5.f「計算機と意味」 ハードプロブレムマンガ 11.F 構文規則6 ラムダ計算の文法マンガ11.G 構文規則7 意味論本:今年(2015年)読んだ本マンガ12.B 命題論理-2 論理代数と論理主義