オートエンコーダー
深層学習技術のベースとなるオートエンコーダーによる次元圧縮、分散表現
人工知能:Artificial Intelligence
Clara Ruleによるexpert system(外部とのデータのやり取り)
Clojureによるエキスパートシステムの実装、Clara Rules
保護中: デジタル署名アルゴリズム
セキュアな通信のためのデジタル署名アルゴリズムの基礎、HTTP、公開鍵暗号、RSAアルゴリズム
経済は「感情」で動いている
行動心理学をベースとしてミクロ経済学の紹介
Clara Ruleによるexpert system(シンプルなユースケース)
ClojureでのClara rulesを用いたエキスパートシステムの実装
Clojureのエキスパートシステム(clara rule,reteframes)
ClojureでのCLIPSライクなエキスパートシステム実装、Clara rules、reteframe
エキスパートシステムとCLIPSについて
前向き推論によるエキスパートシステム、CLIPS概要
後ろ向き推論と前向き推論
事実から推論する前向き推論、仮説を立てて整理していく後ろ向き推論
Clojure core.logicとminiKanren
Clojureでの論理プログラミング、miniKanren、Core.logic
Prologと知識情報処理
人工知能、論理プログラミングに用いられるProlog概要