[kisoron-ml] Banquet of RIMS Set Theory Workshop 2016