[logic-ml] (10/20 締切) 数学基礎論若手の会2019のご案内: リマインダ