[logic-ml] 発表募集:第40回ソフトウェア科学会大会