[logic-ml] 9月3日(火)午後 東大駒場「応用論理学」