まんが/ラビリンス [再アップ]マンガ10.a 論理学-1/参考文献 − 古代ギリシア編 2022年7月4日 susumu 以前公開していたものを、横書きにして再アップしました。 マンガ10.a 論理学-1/参考文献 − 古代ギリシア編 関連記事マンガ9.c 知識表現3 プロダクションシステムマンガ 13.C コンピュータの歴史3 機械式計算機/科学の計算マンガ-4.b 「作戦会議」マンガ-3.a 「チューリングマシン① チューリングマシン」[再アップ]10.g 論理学 7 真実を知るための儀式/参考文献 哲学者編マンガ 6.e 「ラムダ計算4 Yコンビネータ・チャーチ数」マンガ 11.E 構文規則5 文脈自由文法マンガ-5.d 「計算機と意味」クオリア