t_wの輪郭

論理プログラミングアダプティブ
『解集合プログラミング』