LISP 初めてのLisp関数プログラミング 読書メモ
関数型プログミングの解説としてのLISP言語の教科書
推論技術:inference Technology
LISP LISP 実用Common Lisp 読書メモ
LISPを用いた各種人工知能技術の基本的なアイデアの解説(GPS、ELIZA、SUDENT、記号処理システム、自然言語処理システム、Prolog、エキスパートシステム等)
推論技術:inference Technology 論理学をつくる 第4部-論理学はここから先が面白い 非古典論理 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(非古典論理、多値論理、直観主義論理、様相論理)
推論技術:inference Technology 論理学をつくる 第3部-論理をもう一つの目で見る 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(演繹推論とシンタクスとセマンティクス)
Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
推論技術:inference Technology 保護中: ポスト近代科学としての統計学
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される数理統計学と確率統計的手法および推論や機械学習に関する考察
python 最適化問題入門 錐最適化・整数最適化・ネットワークモデルの組合せによる Pythonによる問題解決シリーズ
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用されるpythonを用いた機械学習における最適化技術の概要
python Python実装を通して学ぶ、 統計モデリング入門
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される確率を用いた機械学習理論の概要とpythonを用いた実装
推論技術:inference Technology 保護中: 生きた言葉をモデル化する(自然言語の確率的モデリング)
人工知能(AI)、自然言語処理、デジタルトランスフォーメーション(DX)に活用される自然言語の確率的モデル(階層ベイズ、トピックモデル、LDA)
推論技術:inference Technology 保護中: 全体モデルから局所モデルへ 状態空間モデルとシミュレーション
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される確率生成モデルの一つである一般状態空間モデルと粒子フィルターによるシミュレーション解釈