アルゴリズム:Algorithms 保護中: 決定不能性の証明 アルゴリズムの限界を見極めるアルゴリズム、決定不能性の証明、計算できない問題について 2021.03.19 アルゴリズム:Algorithms数理論理学:Mathematical logic
幾何学:Geometry コンピューターの数学の基礎 人工知能、機械学習技術の基礎となるコンピューターの数学の概要、関数、集合、確率、連立方程式、微分、積分 2021.03.06 幾何学:Geometry微分積分:Calculus数理論理学:Mathematical logic最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra集合論:Set theory
数理論理学:Mathematical logic 形式言語と数理論理学 プログラミング言語、自然言語処理の基礎となる形式言語学概要、意味論 2021.02.11 数理論理学:Mathematical logic
