[logic-ml] Mini-workshop on computability in Tokyo