LISP The Seasoned Schemer
人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書の続編
推論技術:inference Technology
LISP LISP The Reasoned Schemer
人工知能(タスク)活用されるLISPの派生語であるSchemaによる論理プログラミングDSL:minikanrenの概要
LISP The Little Schemer
人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書(再帰と無名関数、λ関数にYコンビネーターそして簡単なインタープリタ)
prolog The Art of Prolog: Prologの技芸
人工知能研究や計算言語学と深い関わりを持つ論理型言語Prologの参考図書
IOT技術:IOT Technology 保護中: 空間疫学への誘い-難病の地図から何が見えるか
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用可能なPoisson-GammaモデルとCDT、スキャン統計量検定を用いた疫学のための地理情報解析
推論技術:inference Technology 保護中: RでのKFASとfieldでの実装(平均値から個性へ 統計的モデリングの開く世界像の実践)
Rによるベイズ推定やスプライン補完等の統計モデリングの実践、KFAS、fields
推論技術:inference Technology 具象と抽象 – 自然言語のセマティクスと説明
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用可能な自然言語の意味と説明できる機械学習を考えるための具体と抽象
推論技術:inference Technology 保護中: インスタンス認織と検索(1)BoVWを用いたインスタンス検索
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクで活用される画像認識技術を応用したインスタンス認織と画像検索技術
Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ
人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理)
IOT技術:IOT Technology センサーデータ&IOT技術
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用されるIOT技術の中心的な要素となるセンサー情報のハンドリングの概要