[dbjapan] International Workshop on Symbolic-Neural Learning (SNL-2020)