[logic-ml] 第7回JAIST先端レクチャー・シリーズ