t_wの輪郭
RSS
あれ
りょうか
2024/3/17 15:20:00
量化
化
述語論理
量
りょうか
量化
2024/3/17 15:20:00
一階述語論理
高階述語論理
個体の量化
述語の量化
