IPL

Symbolic Logic

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

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
Clojure

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

プログラミング言語の歴史、LISPから始まる関数型言語、Clojure、Scala、IPL
モバイルバージョンを終了
タイトルとURLをコピーしました