Symbolic Logic Inductive logic programming 2020-2021論文集より 前回はILP2019について述べた。今回はコロナパンデミックの影響で一年スキップされたILP2021について述べる。 帰納論理プログラミング(ILP)は、機械学習の一分野であり、関係データから論理表現... 2022.04.30 Symbolic Logicグラフ理論推論技術:inference Technology数理論理学数理論理学:Mathematical logic最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習
Symbolic Logic 保護中: 最大流とグラフカット(1) 最大量と最小s-tカット デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される離散情報の最適化手法である劣モジュラ最適化の有向グラフの最小カット、最大流量問題への適用 2022.04.28 Symbolic Logicグラフ理論スパースモデリング幾何学:Geometry推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習
Symbolic Logic 保護中: 劣モジュラ関数の最大化と貪欲法の適用(2)センサ配置問題と能動学習問題 デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習タスクに活用される離散情報の最適化の手法である劣モジュラ最適化でのセンサ配置と能動学習問題への劣モジュラ関数最大化と貪欲法の適用 2022.04.27 Symbolic Logicグラフ理論スパースモデリング幾何学:Geometry推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習
Symbolic Logic 知識表現と推論のためのグラフ構造 知識表現と推論のためのグラフ構造 Graph Structures for knowledge Representation and Reasoning 2020より。 知識表現と推論(KRR)のための... 2022.04.24 Symbolic Logicweb技術:web technologyグラフ理論セマンテックウェブ技術:Semantic web Technologyデータベース技術:DataBase Technologyユーザーインターフェース/データビジュアライゼーション推論技術:inference Technology数理論理学検索技術:Search Technology自然言語処理:Natural Language Processing
Symbolic Logic Inductive logic Programming 2019論文集より 機械学習技術 人工知能技術 自然言語処理技術 セマンティックウェブ技術 オントロジー技術 デジタルトランスフォーメーション技術 知識情報処理技術 AI学会論文を集めて 推論技術 前回はILP2018について述べた。今回は2019年... 2022.04.23 Symbolic Logicグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習
Symbolic Logic Inductive logic Programming 2018論文集より 前回はILP2017について述べた。今回はイタリア/フェラーラで開催されたILP2018について述べる。 帰納論理プログラミング(ILP)は機械学習のサブフィールドであり、例、背景知識、仮説を表現する... 2022.04.16 Symbolic Logicグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習
Symbolic Logic 保護中: 劣モジュラ最適化の基礎(3)基多面体の最小ノルム点を利用した劣モジュラ関数最小化問題アルゴリズム デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される離散情報の最適化手法(劣モジュラ最適化)の手法の一つである基多面体最小ノルム点を使った劣モジュラ関数最小化問題アルゴリズム 2022.04.15 Symbolic Logicアルゴリズム:Algorithmsグラフ理論微分積分:Calculus推論技術:inference Technology数理論理学最適化:Optimization確率・統計:Probability and Statistics関係データ学習
Symbolic Logic 保護中: 劣モジュラ最適化の基礎(2)劣モジュラ関数の基本性質 デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクのための離散情報の最適化アルゴリズム(劣モジュラー最適化)の基礎としての劣モジュラ関数の3つの基本性質(正規化、非負、対称)とグラフカット最大・最小化問題への適用 2022.04.14 Symbolic Logicグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習
Symbolic Logic 保護中: 劣モジュラ最適化の基礎(1)劣モジュラ関数の定義と具体例 デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクのための離散情報最適化アルゴリズムのベースとなる劣モジュラ関数(カバー関数、グラフカット関数、凹関数) と最適化 2022.04.13 Symbolic Logicアルゴリズム:Algorithmsグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習
C/C++ C/C++言語とRustについて C/C++言語とRust 概要 C/C++言語は、マイクロコンピューターから大型コンピューターまで、多くのプラットフォームのアプリケーションで利用されているプログラミング言語となる。Cは構造化プログラミングをベースとした... 2022.04.09 C/C++アルゴリズム:Algorithmsグラフ理論数理論理学最適化:Optimization