[logic-ml] [参加募集] 日本ソフトウェア科学会第28回大会