ベイズ推定 ベイズ統計の歴史とSTANを使ったベイズ推定 人工知能(AI)、機械学習(ML)、自然言語処理(NLP)のためのベイズ推定と情報理論について、ド・モアブルの確率論からベイズの確率とシャノンの情報工学とベイズ推定のためのツール(STAN)の紹介 2021.02.20 ベイズ推定機械学習:Machine Learning確率・統計:Probability and Statistics
数理論理学:Mathematical logic 形式言語と数理論理学 プログラミング言語、自然言語処理の基礎となる形式言語学概要、意味論 2021.02.11 数理論理学:Mathematical logic