[logic-ml] The 3rd 「論数哲」(PhilLogMath) workshop