まんが/ラビリンス マンガ 11.A 構文規則1 2019年3月7日 susumu プログラミング言語づくりを通して「構文規則」を見てゆきます。 プログラミング言語を作るためには「どのように文章を書くのか」を決める「構文規則」と「書いたものがどう動くのか、何を意味するのか」を決める「意味規則」が必要になります。 プログラミング言語だけの話かと言うとそうでもなくて、この考え方は論理学や普通の言葉にも同じように使うことができるのです。 しばらくお付き合いください。 関連記事マンガ 11.B 構文規則2 チョムスキーマンガ 10.k 論理学 11 論理の形式化Labyrinth-2-a「不完全性定理①」『ディープラーニングG検定公式テキスト』翔泳社 日本ディープラーニング協会監修マンガ-2.e「不完全性定理⑤不完全性定理」3週年マンガ 6.e 「ラムダ計算4 Yコンビネータ・チャーチ数」『数学の想像力 正しさの深層に何があるのか』 加藤文元 筑摩選書