[kisoron-ml] RIMS Model Theory Workshop 2018