Java 保護中: オブジェクト指向言語(1) プログラミング初心者の教育のためのオブジェクト指向言語の概要、グローバル変数、再利用のためのクラスとメソッド Javaプログラミング言語:Programming Language
Clojure Clara Ruleによるexpert system(シンプルなユースケース) ClojureでのClara rulesを用いたエキスパートシステムの実装 Clojureエキスパートシステム:expertsystem推論技術:inference Technology
プログラミング言語:Programming Language プログラミング言語の歴史 プログラミング言語の効率化の歴史、機械言語から構造化言語へ、アセンブラ言語、FORTRAN、とエドガーダイクストラによる構造化言語、ALGOL、Pascal、C言語 プログラミング言語:Programming Language
Clojure Clojureのエキスパートシステム(clara rule,reteframes) ClojureでのCLIPSライクなエキスパートシステム実装、Clara rules、reteframe Clojureエキスパートシステム:expertsystem推論技術:inference Technology
prolog エキスパートシステムとCLIPSについて 前向き推論によるエキスパートシステム、CLIPS概要 prologエキスパートシステム:expertsystem推論技術:inference Technology
Symbolic Logic 後ろ向き推論と前向き推論 事実から推論する前向き推論、仮説を立てて整理していく後ろ向き推論 Symbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
Clojure Clojure core.logicとminiKanren Clojureでの論理プログラミング、miniKanren、Core.logic ClojureSymbolic Logic推論技術:inference Technology