まんが/ラビリンス [再アップ]マンガ 3.a「チューリングマシン①チューリングマシン」 2020年12月31日 susumu マンガ 3.a「チューリングマシン①チューリングマシン」を少し書き直して、再アップしました。 マンガ-3.a 「チューリングマシン① チューリングマシン」 関連記事マンガ-3.a 「チューリングマシン① チューリングマシン」『ディープラーニングG検定公式テキスト』翔泳社 日本ディープラーニング協会監修マンガ 11.F 構文規則6 ラムダ計算の文法本:『プロタゴラス』プラトン・中澤務訳 光文社文庫マンガ-2.e「不完全性定理⑤不完全性定理」Labyrinth-2.b「不完全性定理②-無限の技・集合」マンガ 11.E 構文規則5 文脈自由文法マンガ 6.d 「ラムダ計算2 β簡約・カリー化」