t_wの輪郭
RSS
一階述語論理
スコーレム化
スコーレム標準形
2024/4/2 23:06:00