Symbolic Logic 論理やルールと確率/機械学習の融合
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される論理やルールと機械学習の融合(帰納論理プログラミング、統計関係学習、知識ベースモデル構築、ベイジアンネット、確率論理学習、隠れマルコフモデル)
数学:Mathematics
Symbolic Logic アルゴリズム:Algorithms 連続最適化の基本事項 – 微積分・線形代数の基礎
連続最適化の基本事項 - 微積分・線形代数の基礎(テイラーの定理、ヘッセ行列、ランダウの記号、リプシッツ連続、リプシッツ定数、陰関数定理、ヤコビ行列、対角行列、固有値、非負定値行列、正定値行列、部分空間、射影、1ランク更新、自然勾配法、準ニュートン法、シャーマン・モリソンの公式、ノルム、ユークリッドノルム、p-ノルム、シュワルツの不等式、ヘルダーの不等式、行列空間上の関数)
アルゴリズム:Algorithms 保護中: 変分ベイズ法での周辺尤度、事後平均、事後共分散及び予測分布の計算
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習タスクに用いられる変分ベイズ法での周辺尤度、事後平均、事後共分散及び予測分布の計算手法(ジェームス-スタイン推定量、最尤推定、経験ベイズ推定量、ベイズ自由エネルギー、超パラメータ、自動関連度決定、線形回帰モデル、確率的複雑さ、対数周辺尤度経験ベイズ学習、多項分布モデル、事後平均、線形回帰モデル)
アルゴリズム:Algorithms 保護中: グラフィカルモデルの構造学習
ベイジアンネットワークやマルコフ確率場でグラフ構造をデータから学習する方法について(Max-Min Hill Climbming(MMHC)、Chow-Liuのアルゴリズム、スコア関数を最大化する方法、PC(Peter Spirtes and Clark Clymoir)アルゴリズム、GS(Grow-Shrink)アルゴリズム、SGS(Spietes Glymour and Scheines)アルゴリズム、スパース正則化、独立性条件)
アルゴリズム:Algorithms 保護中: 点過程からみるノンパラメトリックベイズ – 正規化ガンマ過程とディリクレ過程と完備ランダム測度
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される点過程から見たノンパラメトリックベイズ - 正規化ガンマ過程とディリクレ過程と完備ランダム測度(ポアソン過程、リヴィ測度、ガンマランダム測度、ベータランダム測度、レヴィ-伊藤分解)
アルゴリズム:Algorithms 保護中: 格子状補助点配置に基づくガウス過程の計算方法
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)に活用される確率的生成モデルの応用であるガウス過程モデルにおける格子状補助点配置に基づくガウス過程法計算(クロネッカー法、テブリッツ法、局所的カーネル補間、KISS-GP法)
Clojure Clojureを用いた状態空間モデル:カルマンフィルターの実装
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるClojureを用いた状態空間モデル:カルマンフィルターの実装
Clojure 保護中: Clojureを用いた時系列データの解析
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに用いられるClojureを用いたAR、MA、ARMA等の時系列データの解析(ACF、PACF、偏自己相関、Durbin-Levinson アルゴリズム、自己共分散、移動平均モデル、自己相関モデル、ハイブリッド、ランダムウォーク、離散的時間モデル)
Clojure マルコフ連鎖モンテカルロ(MCMC)モデルのStanを使ったRとClojureによる解析
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習タスクに活用されるベイズ推定のMCMCを用いた計算ツールであるStanのR及びClojureを使った実装
アルゴリズム:Algorithms 保護中: 機械翻訳の現在と将来- 自然言語のさまざまな機械学習アプローチ
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される機械翻訳の現在と将来- 自然言語のさまざまな機械学習アプローチ(注意型ニューラルネットに基づく機械翻訳、符号化・逆符号化に基づく機械翻訳、リカレントニューラルネット、ニューラルネットとニューラルモデル、ニューラルネットに基づく翻訳、tree-to-strong翻訳、事前並べ替え、構文木・構文解析、単語の対応づけ、フレーズベース翻訳)