DX | Page 5 | Deus Ex Machina

Implementation using Clojure’s graphical tools seesaw and Quill

UI (graphics, libraries, Quill, tutorial, user interface, Java, Swing) with simple graphical tools using Clojure/seesaw utilized for digital transformation (DX), artificial intelligence (AI), machine learning (ML) tasks.

2023.03.29

ClojureJavaコンピューターユーザーインターフェース/データビジュアライゼーション

Differences between statically/dynamically typed languages in programming

Differences between statically/dynamically typed languages in programming used for digital transformation, artificial intelligence, and machine learning tasks Haskell, Scala, Java, type inference, JSON, automated unit testing, compilation, agile development, waterfall development, data structures, interfaces, method signatures, readability, Ruby, ease of writing, execution speed, acceleration, C, C++, Pyhton

2023.03.28

プログラミング言語:Programming Language

Overview and Implementation of the Satisfiability Determination Problem (SAT: Boolean SAtisfiability) of Propositional Logic

Overview and implementation of the satisfiability decision problem (SAT: Boolean SAtisfiability) for propositional logic, which is used in digital transformation, artificial intelligence, and machine learning tasks Clojure Rollingstones, Pyhton, PySAT, z3-solver, C++, 2-SAT, game AI, natural language processing acceleration, combinatorial optimization problem efficiency, hyperparameter optimization, computer security, automatic software specification verification, automatic chip design verification, zChaff, WalkSAT, GRASP, CryptoMiniSat, MapleSAT, Scavel, PicoSAT, MiniSAT, CaDiCaL, Lingeling, Glucose, P≠NP prediction, logic problems

2023.03.27

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

The basic operation of the physical level of wireless communication

On the basic physical level operation of wireless communications utilized for digital transformation, artificial intelligence, and machine learning tasks (carrier frequency, channel, bandwidth, Bluetooth, carrier, 2.4 GHz, amplitude modulation, frequency modulation, SoC, horn antenna , dipole antennas, monopole antennas, microstrip antennas, Yagi-Uda antennas, Heinrich Hertz, Maxwell's equations, James Clerk Maxwell, wireless communications)

2023.03.25

IOT技術:IOT Technologyアーキテクチャテクノロジー:Technologyネットワーク技術ハードウェア

Protected: Linear Bandit, Contextual Bandit, Linear Bandit Problem with LinUCB Policies

Linear Bandit, Contextual Bandit, LineUCB policy for linear bandit problems (Riglet, algorithm, least squares quantification, LinUCB score, reward expectation, point estimate, knowledge) utilized in digital transformation, artificial intelligence, machine learning tasks utilization-oriented measures, search-oriented measures, Woodbury's formula, LinUCB measures, LinUCB policy, contextual bandit, website optimization, maximum sales expectation, bandit optimal budget allocation)

2023.03.24

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

Protected: Evaluation of Rademacher Complexity and Prediction Discrimination Error in Multi-Valued Discrimination Using Statistical Mathematics Theory

Rademacher Complexity and Prediction Discriminant Error in Multivalued Discrimination by Statistical Mathematics Theory Used in Digital Transformation, Artificial Intelligence and Machine Learning Tasks Convex quadratic programming problems, mathematical programming, discriminant machines, prediction discriminant error, Bayesian error, multilevel support vector machines, representation theorem,. Rademacher complexity, multilevel marginals, regularization terms, empirical loss, reproducing nuclear Hilbert spaces, norm constraints, Lipschitz continuity, predictive Φp-multilevel marginals loss, empirical Φ-multilevel marginals loss, uniform bounds, discriminant functions, discriminant

2023.03.23

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

Protected: Two-Pair Extended Lagrangian and Two-Pair Alternating Direction Multiplier Methods as Optimization Methods for L1-Norm Regularization

Optimization methods for L1 norm regularization in sparse learning utilized in digital transformation, artificial intelligence, and machine learning tasks FISTA, SpaRSA, OWLQN, DL methods, L1 norm, tuning, algorithms, DADMM, IRS, and Lagrange multiplier, proximity point method, alternating direction multiplier method, gradient ascent method, extended Lagrange method, Gauss-Seidel method, simultaneous linear equations, constrained norm minimization problem, Cholesky decomposition, alternating direction multiplier method, dual extended Lagrangian method, relative dual gap, soft threshold function, Hessian matrix

2023.03.22

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

Protected: An example of machine learning by Bayesian inference: inference by Gibbs sampling of a Gaussian mixture model

Example of learning Bayesian inference utilized in digital transformation, artificial intelligence, and machine learning tasks: inference with Gibbs sampling of Gaussian mixture models (algorithms, observation models, Poisson mixture models, Wishart distribution, multidimensional Gaussian distribution, conditional distribution, and Gaussian Wishart distribution, latent variable, categorical distribution)

2023.03.21

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

Protected: Confidence Region Methods in Sequential Optimization in Machine Learning

Confidence region methods (dogleg method, norm constraint, model function optimization, approximate solution of subproblems, modified Newton method, search direction, globally optimal solution, Newton method, steepest descent method, confidence region radius, confidence region, descent direction, step width) in continuous optimization in machine learning used for digital transformation, artificial intelligence, machine learning tasks.

2023.03.20

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

Protected: Explainable Artificial Intelligence (15) model-independent interpretation (sharpley value)

Model-independent interpretation with Sharpe Ray values as explainable artificial intelligence used for digital transformation, artificial intelligence, and machine learning tasks breakDown, fastshap, R language, symmetry axioms, LIME, SHAP, sparse explanation, efficiency, symmetry, dummy, additivity principle, Sharpe Ray values, cooperative game theory

2023.03.17

Uncategorized