t_wの輪郭

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