t_wの輪郭
RSS
階
こうかい
高
高階
2024/7/7 10:47:00
高階述語論理
高階関数
高階論理
高階型
型
高階
Higher-kinded types
高階型
2025/3/25 23:26:00
『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech Talk 第254回】 - YouTube』
Higher-kinded types
高階型は型を受け取って型を返す型
論理
高階
高階論理
2025/3/3 1:39:00
『トポスと高階論理 - topos-and-hol.pdf』
関数
高階
こうかいかんすう
高階関数
2024/7/7 10:47:00
モナドを実現するための高階関数
Higher-kinded function
述語論理
量化
個体の量化
述語の量化
高階
こうかいじゅつごろんり
高階述語論理
2024/3/17 15:24:00
高階述語論理
は個体と述語の量化を許す
述語論理
である。
高階述語論理は健全性と完全性は保証されていない。
本田 裕『学位論文 博士(工学) 深層学習を用いた一階述語論理による推論に関する研究』