ICT技術:ICT Technology 人工知能技術の理論と数学とアルゴリズム
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習タスクに活用される人工知能技術の理論と基本的なアルゴリズム(メタヒューリスティック、グラフアルゴリズム、動的計画法、圏論、論理学、数学)
論理学
ICT技術:ICT Technology 推論技術:inference Technology 論理学をつくる 第4部-論理学はここから先が面白い 非古典論理 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(非古典論理、多値論理、直観主義論理、様相論理)
推論技術:inference Technology 論理学をつくる 第3部-論理をもう一つの目で見る 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(演繹推論とシンタクスとセマンティクス)
Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ
人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理)