Symbolic Logic Backward inference and Forward inference
Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses
Warning: Undefined variable $author in /home/c1309528/public_html/deus-ex-machina-ism.com/wp-content/themes/cocoon/functions.php on line 131
Deux Ex Machina
Symbolic Logic Clojure Clojure core.logic and miniKanren
core.logic for logic programming in Clojure
prolog Prolog and Knowledge Information Processing
Overview of Prolog used for artificial intelligence and logic programming
アルゴリズム:Algorithms Protected: public-key cryptography algorithm
Public Key Cryptography Algorithms for the Education of Beginners
機械学習:Machine Learning Overview of deep learning methods
Overview of deep learning for beginners, classification by the Artificial Intelligence Society, hierarchical neural networks, coders, restricted Boltzmann machines.
データベース技術:DataBase Technology About Redis (Overview and basic use)
Using Redis, a high-speed key-value database, with Clojure
Clojure Clojure and Redis(Using Redis in Clojure)
Using Redis, a high-speed key-value database, with Clojure
Clojure State management and loosely coupled functions in Clojure
Overview of Clojure State Management and Su Binding for Beginner Education
データ圧縮/セキュリティ:Data compression and security Protected: error-correcting code algorithm
Overview of Error Correcting Code Algorithm, Self Correcting Error Algorithm, Hamming Code, Checksum Trick, Two Dimensional Parity
スポーツ:Sports Triathlon, Hawaii Island and Ironman
Triathlon, Hawaii Island and Ironman