推論技術:inference Technology 解集合プログラミング(Answer Set Programming) 論理プログラミングの歴史とASP概要
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される複雑な知識情報を表現するためのツールとしての解集合プログラム
複雑
推論技術:inference Technology グラフ理論 複雑ネットワークとは何か 複雑な関係性を読み解く新しいアプローチ 読書メモ
人工知能(AI)タスクに活用される複雑なネットワーク情報を分析するためのグラフ理論の概要(格子とネットワーク、ベーコン数とエルデシュ数、スモールワールド、ベキ則、伝染病感染経路、通信ネットワーク、ニューラルネットワーク、コミュニティネットワーク)
C言語 保護中: 確率積分計算の為のMCMC法:メトロポリス法以外のアルゴリズム(HMC法)
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される複雑な確率積分計算に適用するHybrid Monte Calro法のアルゴリズムとC言語による実装