B4メンバーと服部君が2023年電子情報通信学会総合大会で発表しました．