数学:Mathematics

アルゴリズム:Algorithms

動的計画法の概要と適用事例とpythonによる実装例

  動的計画法について 動的計画法(Dynamic Programming)は、最適化問題を解くための数学的手法の一つであり、特に重複する部分問題を持つような問題に適用される手法を指す。動的計画法は、一度計算した結果を...
アルゴリズム:Algorithms

カルバック・ライブラー変分推定の概要と各種アルゴリズム及び実装

カルバック・ライブラー変分推定について カルバック・ライブラー変分推定(Kullback-Leibler Variational Estimation)は、確率分布間の差異を評価し、それを最小化することで、データ...
Symbolic Logic

オントロジーベースの知識プラットフォームによるプラント運用における機器の健全性支援

  イントロダクション 以前、"プラントエンジニアリングオントロジーISO15926とAI技術との融合"でも述べたがプラントエンジニアリングは多数の要素が絡む複雑な技術であり、また膨大なナレッジデータを必要とするため...
アルゴリズム:Algorithms

最尤推定の概要とアルゴリズムおよびその実装について

最尤推定について 最尤推定(Maximum Likelihood Estimation, MLE)は、統計学において使用される推定方法の一つとなる。この方法は、与えられたデータや観測値に基づいて、モデルのパラメータを推定...
アルゴリズム:Algorithms

自己教師あり学習の概要と各種アルゴリズム及び実装例について

自己教師あり学習について 自己教師あり学習(Self-Supervised Learning)は、機械学習の一種であり、教師あり学習の一種と考えることがで...
最適化:Optimization

EMアルゴリズムを用いた制約充足問題の解法

EMアルゴリズムを用いた制約充足問題 "EMアルゴリズムと各種応用の実装例"でも述べているEM(Expectation Maximization)アルゴリズムは、"命題論理の充足可能性判定問題(SAT:Boo...
アルゴリズム:Algorithms

ベイズ構造時系列モデルの概要と適用事例及び実装例について

ベイズ構造時系列モデルについて ベイズ構造時系列モデル(Bayesian Structural Time Series Model; BSTS)は、時間とともに変化する現象をモデル化する統計モデルの一種であり...
LISP

代数の文章題を解くプログラムに関する考察

イントロダクション "GPTの概要とアルゴリズム及び実装例について"で述べているGPTモデルを使ったchatGPTを用いると、以下に示す様に様々な代数の問題を解かせることができる。これらは、単純...
アルゴリズム:Algorithms

強化学習は何故必要なのか?適用事例と技術課題及び解決のアプローチ

イントロダクション chatGPTで有名なOpenAIのもう一つの側面として強化学習がある。chatGPTのベースとなっている"GPTの概要とアルゴリズム及び実装例について"で述べているGPTの肝は"深層学習におけ...
グラフ理論

変分ベイズ学習の概要と各種実装

機械学習における変分法について 変分法(Variational Methods)は、関数や確率分布の中で最適解を求めるために用いられ、機械学習や統計学などで広く使われる最適化手法の一つであり、特に、確率的生成モデルや変分自...
タイトルとURLをコピーしました