Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ 人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理) 2021.10.03 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
音声信号認識技術 保護中: 自然言語と音声について デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される音声認識技術の基礎としての自然言語の音声的なモデルの概要 2021.09.25 音声信号認識技術
Symbolic Logic