[logic-ml] 日本数学会2021年度年会における一般講演Zoom利用のお誘い