[logic-ml] SLACS 2023(8月31日・9月1日)発表プログラム公開