prolog Expert System and CLIPS Expert system with forward reasoning, CLIPS overview prologエキスパートシステム:expertsystem推論技術:inference Technology
Symbolic Logic Backward inference and Forward inference Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses Symbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
Clojure Clojure core.logic and miniKanren core.logic for logic programming in Clojure ClojureSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
prolog Prolog and Knowledge Information Processing Overview of Prolog used for artificial intelligence and logic programming prolog推論技術:inference Technology
アルゴリズム:Algorithms Protected: public-key cryptography algorithm Public Key Cryptography Algorithms for the Education of Beginners アルゴリズム:Algorithmsデータ圧縮/セキュリティ:Data compression and security
機械学習: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. 機械学習:Machine Learning深層学習:Deep Learning
データベース技術:DataBase Technology About Redis (Overview and basic use) Using Redis, a high-speed key-value database, with Clojure データベース技術:DataBase Technology
Clojure Clojure and Redis(Using Redis in Clojure) Using Redis, a high-speed key-value database, with Clojure Clojureデータベース技術:DataBase Technology
Clojure State management and loosely coupled functions in Clojure Overview of Clojure State Management and Su Binding for Beginner Education Clojurejavascriptweb技術:web technologyデータベース技術:DataBase Technology非同期/並行処理:Asynchronous/parallel processing
データ圧縮/セキュリティ: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 データ圧縮/セキュリティ:Data compression and security