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