Deus Ex Machina

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

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

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

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