C | Deus Ex Machina

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

Data types and statically and dynamically typed languages in programming

Types of data and statically typed languages and dynamically typed languages (primitive types, heap, Ruby, Python, C#, C++, Java, classes, objects, alias problems, garbage collection, Rust, Borrow checkers, stacks, global variables, value types, reference types, complex types, enumeration types) in programming used for digital transformation, artificial intelligence, machine learning.

2023.02.04

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

Basic algorithms for graph data (DFS, BFS, bipartite graph decision, shortest path problem, minimum whole tree)

An overview of basic algorithms for graph data (DFS, BFS, bipartite graph decision, shortest path problem, minimum global tree) and some code in C++.

2022.02.23

アルゴリズム:Algorithmsグラフ理論推論技術:inference Technology最適化:Optimization検索技術:Search Technology

Protected: Advanced graph algorithms (strongly connected component decomposition, DAG, 2-SAT, LCA)

Overview and C++ implementation of advanced graph data algorithms such as strongly connected component decomposition, DAG, 2-SAT, LCA, etc., which can be applied to knowledge graph processing and various problem solving algorithms.

2022.02.21

アルゴリズム:Algorithmsグラフ理論