kanren_syaho2016