アルゴリズム:Algorithms 構造とアルゴリズムと関数
代数的構造の視点から見た言葉の意味、形式論理学と数理論理学
数学:Mathematics
アルゴリズム:Algorithms アルゴリズム:Algorithms 保護中: 決定不能性の証明
アルゴリズムの限界を見極めるアルゴリズム、決定不能性の証明、計算できない問題について
幾何学:Geometry コンピューターの数学の基礎
人工知能、機械学習技術の基礎となるコンピューターの数学の概要、関数、集合、確率、連立方程式、微分、積分
機械学習:Machine Learning 確率と論理の統合(1) ベイジアンネットとKBMCとPRMとSRL
確率と論理の統合、知識ベース(KBMC)によるベイジアンネットの自動生成、prolog、後ろ向き推論
哲学:philosophy 因果と相関の違いについて
人工知能、機械学習のモデルのベースとなる因果と相関の相違に対する考察
ベイズ推定 ベイズ統計の歴史とSTANを使ったベイズ推定
人工知能(AI)、機械学習(ML)、自然言語処理(NLP)のためのベイズ推定と情報理論について、ド・モアブルの確率論からベイズの確率とシャノンの情報工学とベイズ推定のためのツール(STAN)の紹介
数理論理学:Mathematical logic 形式言語と数理論理学
プログラミング言語、自然言語処理の基礎となる形式言語学概要、意味論