プログラミング言語:Programming Language プログラミング言語の歴史
プログラミング言語の効率化の歴史、機械言語から構造化言語へ、アセンブラ言語、FORTRAN、とエドガーダイクストラによる構造化言語、ALGOL、Pascal、C言語
ICT技術:ICT Technology
プログラミング言語:Programming Language 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概要
アルゴリズム:Algorithms 保護中: 公開鍵暗号法アルゴリズム
初心者の教育のための公開鍵暗号アルゴリズム
データベース技術:DataBase Technology Redisについて
高速キーバリューデータベースRedisのClojureでの活用
Clojure ClojureとRedis
高速キーバリューデータベースRedisのClojureでの活用
Clojure Clojureでの状態管理と関数の疎結合
初心者の教育のためのClojureの状態管理と蘇結合の概要