t_wの輪郭

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