t_wの輪郭

スコーレム化一階述語論理
あれ