LISP The Little Schemer
人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書(再帰と無名関数、λ関数にYコンビネーターそして簡単なインタープリタ)
Symbolic Logic
LISP Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ
人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理)
Symbolic Logic 機械学習における数学について
デジタルトランスフォーメーション（DX）、人工知能（AI）、機械学習（ML）など、あらゆるコンピュータプログラミングやアルゴリズムの基礎となる数学について
Symbolic Logic 会話とAI(チューリングテストから考える)
cahtbotの検討のためのAIとしての会話とチューリングテストに対する考察
Symbolic Logic Behavior Trees(行動木)とUnityでの実装について
ゲームAI等に用いられる人工知能技術概要、ビヘイビアツリーによる状態管理、FSMとの違い
Symbolic Logic デジタルゲームAIの基本技術(時間軸の認識技術)
人工知能技術獲得のヒントの為のゲームAI概要、時間認識技術、オートプランニング、ゴール指向プランニング、時間スケール階層技術、連鎖型プランニング
Symbolic Logic デジタルゲームAIの基本技術(空間軸の認識技術)
人工知能技術獲得のヒントの為のゲームAI概要、空間認識技術、知識表現
Symbolic Logic デジタルゲームAIの歴史(2)(人との機械のインタラクションの知能化)
人工知能技術獲得のヒントの為のゲームAI概要、人と機械のインタラクション、エージェント、C4
Symbolic Logic 後ろ向き推論と前向き推論
事実から推論する前向き推論、仮説を立てて整理していく後ろ向き推論
Clojure Clojure core.logicとminiKanren
Clojureでの論理プログラミング、miniKanren、Core.logic