推論技術:inference Technology

Symbolic Logic

後ろ向き推論と前向き推論

事実から推論する前向き推論、仮説を立てて整理していく後ろ向き推論
Clojure

Clojure core.logicとminiKanren

Clojureでの論理プログラミング、miniKanren、Core.logic
prolog

Prologと知識情報処理

人工知能、論理プログラミングに用いられるProlog概要
Clojure

Clojureと関数プログラミング

人工知能(AI)、機械学習(ML)、デジタルトランスフォーメーション(DX)に活用可能な関数型プログラミング言語Clojure
モバイルバージョンを終了
タイトルとURLをコピーしました