[logic-ml] 『山陰 基礎論・解析学セミナー 2014』(2月1日)のご案内