概要 | Deus Ex Machina

保護中: ベイズ推論のモデル構築と推論-隠れマルコフモデルの概要とモデル

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるベイズ推論のモデル構築と推論-隠れマルコフモデルの概要とモデル(固有値、超パラメータ、共役事前分布、ガンマ事前分布、塩基配列解析、ガンマ分布、ポアソン分布、混合モデル、グラフィカルモデル、同時分布、遷移確率行列、潜在変数、カテゴリ分布、ディリクレ分布、状態遷移図、マルコフ連鎖、初期確率、状態系列、センサーデータ、ネットワークログ、音声認識、自然言語処理)

2023.07.20

アルゴリズム:Algorithmsグラフ理論スパースモデリングベイズ推定幾何学:Geometry微分積分:Calculus最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

保護中: ベイズ推論の応用モデルとしてのトピックモデルの概要と変分推論の適用

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるベイズ推論の応用モデルとしてのトピックモデルの概要と変分推論の適用(変分推論アルゴリズム、ディリクレ分布、カテゴリ分布、LDA、マルチメディアでのトピックモデル)

2023.05.31

アルゴリズム:Algorithmsグラフ理論スパースモデリングベイズ推定幾何学:Geometry微分積分:Calculus最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

保護中: 機械学習におけるラグランジュ関数を用いた最適化(2)拡張ラグランジュ関数法

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される機械学習での拡張ラグランジュ関数法を用いた最適化手法の概要とアルゴリズム(近接点アルゴリズム、強凸、一次収束、線形制約付き凸最適化問題、強双対性の定理、最急降下法、モーロー包、共役関数、近接写像、双対問題、双対上昇法、ペナルティ関数法、バリア関数法)

2023.05.23

アルゴリズム:Algorithmsグラフ理論スパースモデリング幾何学:Geometry微分積分:Calculus最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

粒子群最適化の概要と実装について

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される粒子群最適化の概要と実装について(Clojure、CAPSOS、R language、pso、pyhton、pyswarm、ニューラルネットワークのトレーニング、パラメータの最適化、組合せ最適化、ロボット制御、パターン認織)

2023.05.18

アルゴリズム:Algorithms最適化:Optimization機械学習:Machine Learning

webクローリング技術の概要とPython/Clojureによる実装

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるwebクローリング技術の概要とPython/Clojureによる実装(jsoup、clj-http、enlive、clojure.data.json、HTML、CSS、XPATH、JSON、BeautifulSoup、Scrapy、データ抽出、自然言語処理、データベース、検索、SNS分析)

2023.04.25

Clojurepythonweb技術:web technology

Kubernetesの概要と環境設定、参考図書

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるKubernetesの概要と環境設定、参考図書(マイクロサービス、Spinnaker、Blue、コンテナ、クラウドネィティブ、Skaffold、Clair、セキュリティ、BuildKit、Kaniko、Operator、Helm、Chart、Sock Shop、YAML、Prometheus、Grafana、Pod、Minikube)

2023.04.24

ICT技術:ICT Technology

保護中: 深層強化学習の弱点と対策の概要と環境認識の改善の為の2つのアプローチ

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクにに活用される深層強化学習の弱点と対策の概要と環境認識改善のの2つのアプローチ(Mixture Density Network、RNN、Variational Auto Encoder、World Modles、表現学習、戦略ネットワーク圧縮、モデルフリー学習、Sample-Based Planning Model、Dyna、シミュレーションベース、サンプルベース、Gaussian Process、ニューラルネット、遷移関数、報酬関数、シミュレーター、学習能力、転移能力)

2023.04.13

アルゴリズム:Algorithmsグラフ理論スパースモデリング幾何学:Geometry強化学習微分積分:Calculus最適化:Optimization機械学習:Machine Learning深層学習:Deep Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

インフラストラクチャの管理ツールTerraformの概要とHello Worldと参考図書について

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるインフラストラクチャの管理ツールTerraformの概要とHello Worldと参考図書について(AWS、セットアップ、Hello World、クラウドインフラストラクチャ,環境設定)

2023.04.10

ICT技術:ICT Technology

RFIDの概要とその適用事例およびAI技術との融合

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるRFIDの概要とその適用事例およびAI技術との融合(コスト削減、IMPINJ社、M700、プライバシー、電波干渉、距離制限、標準化、スマートシティ、ロジスティクス、サプライチェーン管理、資産管理、Web3.0、WoT、IoT、製造業、医療、農業、物流、RFIDタグ、RFIDリーダー、データベース)

2023.04.01

ICT技術:ICT TechnologyIOT技術:IOT TechnologyStream Data Processingアーキテクチャコンピューター

命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクにに活用される命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装(Clojure Rollingstones、Pyhton、PySAT、z3-solver、C++、2-SAT、ゲームAI、自然言語処理の高速化、組合せ最適化問題の効率化、ハイパーパラメータの最適化、コンピュータセキュリティ、ソフトウェア仕様の自動検証、チップ設計の自動検証、zChaff、WalkSAT、GRASP、CryptoMiniSat、MapleSAT、Scavel、PicoSAT、MiniSAT、CaDiCaL、Lingeling、Glucose、Ｐ≠ＮＰ予想、論理問題)

2023.03.27

推論技術:inference Technology数理論理学:Mathematical logic