プログラミング言語:Programming Language プログラミング言語の歴史
プログラミング言語の効率化の歴史、機械言語から構造化言語へ、アセンブラ言語、FORTRAN、とエドガーダイクストラによる構造化言語、ALGOL、Pascal、C言語
プログラミング言語: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 保護中: 公開鍵暗号法アルゴリズム
初心者の教育のための公開鍵暗号アルゴリズム
機械学習:Machine Learning 深層学習手法の全体像
初心者のための深層学習の概要、人工知能学会による分類、階層的ニューラルネット、符号器、制限ボルツマンマシン
データベース技術:DataBase Technology Redisについて
高速キーバリューデータベースRedisのClojureでの活用
Clojure ClojureとRedis
高速キーバリューデータベースRedisのClojureでの活用