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