Aratake Hisashi 荒武永史

… Alternative Names

荒武永史アラタケヒサシ

Less

Researcher Number	10934987
Other IDs	https://orcid.org/0000-0001-5812-4362
Affiliation (Current)	2023: 京都大学, 数理解析研究所, 研究員
Affiliation (based on the past Project Information) *help	2022: 京都大学, 数理解析研究所, 研究員
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator 層表現 / 圏論的論理学 / モデル理論