LISP The Seasoned Schemer 人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書の続編 2021.10.17 LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
LISP The Little Schemer 人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書(再帰と無名関数、λ関数にYコンビネーターそして簡単なインタープリタ) 2021.10.17 LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ 人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理) 2021.10.03 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
