池上, 大祐, 1981-
primary topic: 池上大祐
type: Concept
modified: 2026-07-28T13:12:46
created: 2026-07-27
pref label: 池上, 大祐, 1981-
  transcription: イケガミ, ダイスケ, 1981-
  transcription: Ikegami, Daisuke, 1981-
source: 公理的集合論への一歩, 2026.6
in scheme: personalNames

池上大祐
type: Person
date of birth: 1981
field of activity of the person: 数理論理学, 集合論
profession or occupation: 大学教員