@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix xl: <http://www.w3.org/2008/05/skos-xl#>.
@prefix rdag1: <http://RDVocab.info/ElementsGr1/>.
@prefix rda: <http://RDVocab.info/ElementsGr2/>.
@prefix rdaa: <http://rdaregistry.info/Elements/a/>.
@prefix frbrent: <http://RDVocab.info/uri/schema/FRBRentitiesRDA/>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ndl: <http://ndl.go.jp/dcndl/terms/>.
@prefix dct: <http://purl.org/dc/terms/>.

<http://id.ndl.go.jp/auth/ndlna/034840065>
	foaf:primaryTopic <http://id.ndl.go.jp/auth/entity/034840065>;
	rdf:type <http://www.w3.org/2004/02/skos/core#Concept>;
	dct:modified "2026-07-28T13:12:46";
	dct:created "2026-07-27";
	xl:prefLabel [xl:literalForm "池上, 大祐, 1981-";ndl:transcription "イケガミ, ダイスケ, 1981-"@ja-Kana,"Ikegami, Daisuke, 1981-"@ja-Latn];
	rdfs:label "池上, 大祐, 1981-";
	dct:source "公理的集合論への一歩, 2026.6";
	skos:exactMatch <http://viaf.org/viaf/sourceID/NDL%7C034840065#skos:Concept>;
	skos:inScheme <http://id.ndl.go.jp/auth#personalNames>.

<http://id.ndl.go.jp/auth/entity/034840065>
	rdf:type <http://xmlns.com/foaf/0.1/Person>;
	foaf:name "池上大祐";
	rda:dateOfBirth "1981";
	rda:fieldOfActivityOfThePerson "数理論理学, 集合論";
	rda:professionOrOccupation "大学教員".