IPL

Symbolic Logic

論理学をつくる 第2部論理学を拡げる 読書メモ

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
2021.11.16
Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory
Clojure

関数型言語(2)その歴史

プログラミング言語の歴史、LISPから始まる関数型言語、Clojure、Scala、IPL
2021.04.15
Clojureプログラミング言語:Programming Language
タイトルとURLをコピーしました