t_wの輪郭

単項述語論理