t_wの輪郭

aRb分解表を網と解釈
表を述語に変換する