まんが/ラビリンス [再アップ]マンガ10.a 論理学-1/参考文献 − 古代ギリシア編 2022年7月4日 susumu 以前公開していたものを、横書きにして再アップしました。 マンガ10.a 論理学-1/参考文献 − 古代ギリシア編 関連記事映画『イミテーションゲーム』[再アップ]10.g 論理学 7 真実を知るための儀式/参考文献 哲学者編マンガ 6.d 「ラムダ計算3 分岐・ループ」Labyrinth-2.d「不完全性定理④-ヒルベルト計画」マンガ 8.d コンピュータ将棋 4『心の先史時代』スティーヴン ミズン 青土社マンガ11.G 構文規則7 意味論マンガ 10.k 論理学 11 論理の形式化