[logic-ml] CFP: 日本ソフトウェア科学会第28回大会