Symbolic Logic 法律関連タスクのコンピューターによる処理
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクとして活用される知識情報処理の応用としての計算機による法律情報の処理(欧州の事例)
人工知能:Artificial Intelligence
Symbolic Logic LISP 知識表現と推論(1) -知識情報処理の歴史と知識を表現する言語とProlog
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される知識情報処理の歴史と知識を表現する言語とPrologと述語論理
エキスパートシステム:expertsystem 人工生命とエージェント技術
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに欠かせない技術である人工生命技術(生命の振る舞いをコンピューターで再現し、知能を発現する)
データベース技術:DataBase Technology 保護中: インスタンス認織と検索(2)一般的な画像検索
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される木構造、ハッシング、逐次量子化、スペクトラルハッシング、k-meansハッシング等を用いた検索最適化とmAPやrecall@Rによる評価
Symbolic Logic ルールベースと知識ベースとエキスパートシステムと関係データ
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクへの活用の知識情報処理ハンドリングとしてのルールベースと知識ベースとエキスパートシステムと関係データ
人工知能:Artificial Intelligence AAAI Classic paper 人工知能技術の温故知新
人工知能(AI)やデジタルトランスフォーメーション(DX)タスクに活用されるさまざまな技術アイデア(ロボット、知識データ、プランニング、SAT等)が含まれるAAAIが監修した過去の優秀論文AAAI Classics
微分積分:Calculus 保護中: トピックモデル -最尤推定、変分ベイズ推定、ギブスサンプリングによる推定
デジタルトランスフォーメーション(DX)、人工知能(AI)、自然言語処理(NLP)タスクに活用されるトピックモデルの、最尤推定、変分ベイズ、ギブスサンプリングによる推定
グラフ理論 保護中: テンソル分解- CP分解とタッカー分解
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用されるCP分解とタッカー分解を用いた高次関係データとテンソルの処理
機械学習:Machine Learning 保護中: 高次関係データ-テンソルデータ処理の概要
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される3つ以上のオブジェクト間の関係を解析するためのテンソルデータ処理
微分積分:Calculus 保護中: トピックモデルでのトピック数の推定 -ディリクレ過程、中華料理店過程、棒折り過程
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用されるディリクレ過程、中華料理店過程、棒折り過程を用いたトピックモデル