t_wの輪郭

predicate logic

2024/3/17 1:41:00

論理『論理データベース論考』述語

述語論理

2022/2/25 13:29:00

『自然言語、述語項構造、グラフ（項同士を線や矢印で結んだ表現形式）の表現能力や表現効率性』『最近の型理論：依存型理論で述語論理が出来てしまう理由 - 檜山正幸のキマイラ飼育記 (はてなBl...あれ『論理データベース論考』あれあれ述語論理でプロジェクトマネジメントあれベクトル述語論理「1時間20分（撮影が）回ってる」→「真」あれ f(f)一階述語論理高階述語論理本田裕『学位論文博士（工学）深層学習を用いた一階述語論理による推論に関する研究』量化微分可能述語論理あれあれ予算駆動エキスパートシステム