アルゴリズム:Algorithms 保護中: ガウス過程の計算法(1)補助変数法による計算
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルの応用であるガウス過程モデルの部分データ法と補助変数法による近似計算
数学:Mathematics
アルゴリズム:Algorithms Clojure Clojureを用いた確率的プログラミング(Probabilistic Programming)
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるClojure.Anglicanを用いた確率的プログラミング(gorilla-repl、Stan、BUGS、Picture、Turing、Gen、PyStan、PyMC、pomegranater、Lea、bayesloop、Edward、Tensorflow Probability、Pyro、BLOG、Dyna、ProbLog、Church、Anglican、Distributions)
Symbolic Logic 確率と論理を融合したモデリング(2) PLL(確率論理的学習)
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率と論理の融合モデリング(PLL(確率論理的学習)、ILP、PRISM)
アルゴリズム:Algorithms 保護中: レプリカ交換モンテカルロ法とマルチカノニカル法
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるマルコフ連鎖モンテカルロ法での局所解に陥らないためのアルゴリズムであるレプリカ交換モンテカルロ法とマルチカノニカル法について
数理論理学:Mathematical logic 集合論の概要と参考図書
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスク活用のための集合とは何か 初めて学ぶ人のために(カントールの集合論、 直観論理、量子論理、位相空間、グロタンディク、ゲーテル、コーエン、到達不能数、測度可能数、決定の公理、フレンケルの置換公理、フォンノイマンの正則性の公理、公理的集合論、BG集合論、ツェルメロの集合論、カトンールの対角線論法)読書メモ
アルゴリズム:Algorithms 保護中: 混合ガウス分布モデルへの変分ベイズアルゴリズムの適用
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルの計算のための混合ガウス分布モデルへの変分ベイズアルゴリズムの適用(ディリクレ分布、等方ガウス分布、自由エネルギー計算)
アルゴリズム:Algorithms 保護中: グラフィカルモデルの具体例
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルとして、ボルツマンマシン、平均場近似、ベーテ近似、隠れマルコフモデル、ベイジアン隠れマルコフモデル等の具体的なグラフィカルモデルの計算
アルゴリズム:Algorithms 保護中: ノンパラメトリックベイズを用いた因子分析・スパースモデリングへの応用
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルの応用の一つであるノンパラメトリックベイズモデルを使った因子分析・スパースモデリングへの応用(無限潜在特徴モデル、ベータ-ベルヌーイ分布モデル、インド料理ブュッフェ過程、バイナリ行列生成過程)
アルゴリズム:Algorithms 保護中: 確率的生成モデルとガウス過程(3)確率分布の表現
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルとガウス過程の基礎としての確率分布の標本での表現(重み付きサンプリング、カーネル密度推定、ニューラルネットを用いた分布推定)
Clojure Clojureを用いたベイズ最適化ツールの実装
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される(ハイパーパラメータ)最適化ツールであるベイズ最適化ツールのClojureによる実装とRでの最適化比較ツールであるopimxの紹介