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