「高知ホモトピー論談話会 2023」