Symbolic Logic 確率と論理を融合したモデリング(2) PLL(確率論理的学習)
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率と論理の融合モデリング(PLL(確率論理的学習)、ILP、PRISM)
数学:Mathematics
Symbolic Logic アルゴリズム: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の紹介
Clojure 保護中: Clojureを用いたシンプルな異常検知アルゴリズムの実装
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるClojureを用いたシンプルな異常検知アルゴリズム(確立密度関数;PDFをベースとしたモデル)の実装
アルゴリズム:Algorithms 保護中: 医学研究におけるメタアナリシス 科学的根拠に基づく医療におけるエビデンス統合の方法
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクにおける統計的データ処理としての科学的根拠に基づく医療におけるメタアナリシス でのエビデンス統合(モーメント法、最尤法、大標本理論、DerSimonian an Laird推定、公表バイアス、ネットワークメタアナリシス)