[logic-ml] 東大数理の3月の談話会のご案内