[kisoron-ml] 数学基礎論若手の会2014のご案内