[logic-ml] JAIST 多次元セミナー (11月1日)