t_wの輪郭

一階述語論理
一階述語論理の融合法命題論理の融合法『知識工学 第8回 二宮 崇』