数理論理学 現代思想2020年7月号 特集＝圏論の世界 ――現代数学の最前線 読書メモ
現代数学の重要な理論である圏論を用いた抽象化の物理学や計算機科学、生物学、言語学、美学等の領域への適用
数理論理学
数理論理学 推論技術:inference Technology 論理学をつくる 第4部-論理学はここから先が面白い 非古典論理 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(非古典論理、多値論理、直観主義論理、様相論理)
推論技術:inference Technology 論理学をつくる 第3部-論理をもう一つの目で見る 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(演繹推論とシンタクスとセマンティクス)
Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
アルゴリズム:Algorithms 構造とアルゴリズムと関数
代数的構造の視点から見た言葉の意味、形式論理学と数理論理学
数理論理学:Mathematical logic 形式言語と数理論理学
プログラミング言語、自然言語処理の基礎となる形式言語学概要、意味論