人工知能:Artificial Intelligence

Automata and state transitions/Petri nets, automatic planning and counting problems

Automata and state transitions/petri nets and automatic planning utilized for digital transformation, artificial intelligence and machine learning tasks digital game AI, spatial and temporal awareness, autonomous agents, C4, hierarchical FSM, reflective AI, FSM, GA, behavior trees, Distributed systems, communication protocols, database transactions, parallel systems, workflow models, business process models, digital circuits, programming languages, natural language processing, Turing machines, pushdown automata, Moore-type, Mealy-type, deterministic FSM, DFSM, deterministic finite automata, nondeterministic finite automata, DFA, NFA

2023.04.02

ICT技術:ICT Technologylife tips人工知能:Artificial Intelligence

Protected: Explainable Artificial Intelligence (16) Model independent interpretation (SHAP (SHapley Additive exPlanations))

Model independent interpretation with SHAP as an explainable artificial intelligence used for digital transformation, artificial intelligence and machine learning tasks scikit-learn, xgboost, LightGBM, tree boosting, R, shapper, fastshap, TreeSHAP, KernelSHAP, partial dependence plot, permutation feature importance, feature importance, feature dependence, interactions, clustering, summary plots clustering, summary plots, atomic unit, LIME, decision tree, game theory, clustering, SHAP interaction values, ALE plot, image mapping, consistency, missing, local correctness, efficiency, symmetry, dummyness, additivity, SHapley Additive exPlanations, local surrogate models

2023.03.31

アルゴリズム:Algorithms説明できる機械学習

Protected: Value Assessment and Policy and Weaknesses in Deep Reinforcement Learning

Value assessment and strategies and weaknesses in deep reinforcement learning used for digital transformation, artificial intelligence, and machine learning tasks poor sample efficiency, difficulty in validating methods as well, impact of implementation practices on performance, library initial values, poor reproducibility, over-training, local optimum, dexterity, TRPO, PPO, continuous value control, image control, policy-based, value-based

2023.03.30

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

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

Artificial Intelligence Technology as a Case Study in DX

Specific Applications of Artificial Intelligence Technology for DX Applications Artificial intelligence...

2023.03.26

ICT技術:ICT Technology人工知能:Artificial Intelligence

Parallel and Distributed Processing in Machine Learning

Parallel and Distributed Processing in Machine Learning The learning process of machine learning requires hi...

2023.03.26

Large-Scaleデータアルゴリズム:Algorithmsオンライン学習分散並列処理機械学習:Machine Learning非同期/並行処理:Asynchronous/parallel processing

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