@prefix rdf: . @prefix rdfs: . @prefix owl: . @prefix skos: . @prefix xl: . @prefix rdag1: . @prefix rda: . @prefix rdaa: . @prefix frbrent: . @prefix foaf: . @prefix ndl: . @prefix dct: . foaf:primaryTopic ; rdf:type ; dct:modified "2018-05-08T13:27:18"; dct:created "2018-05-08"; xl:prefLabel [xl:literalForm "中野, 圭介, 情報学";ndl:transcription "ナカノ, ケイスケ, ジョウホウガク"@ja-Kana,"Nakano, Keisuke, Johogaku"@ja-Latn]; rdfs:label "中野, 圭介, 情報学"; dct:source "定理証明手習い, 2017.10","KAKEN (20180508) (読み)","researchmap (20180508) (専攻)"; skos:exactMatch ; skos:inScheme . rdf:type ; foaf:name "中野圭介"; rda:biographicalInformation "大学教員"; rda:fieldOfActivityOfThePerson "情報学".