[logic-ml] SAML 2018 / Takeuti Memorial Symposium