[logic-ml] デモ・ポスターセッションでの発表募集:第40回日本ソフトウェア科学会大会