{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1010306730167349249.json","@type":"Article","resourceType":"学術雑誌論文(journal article)","dc:title":[{"@language":"ja","@value":"自然言語推論への応用を志向したセマンティックパージングの性能評価"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1420001326236444416","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"80725739"},{"@type":"NRID","@value":"1000080725739"},{"@type":"CINII_AUTHOR_ID","@value":"DA15295961"},{"@type":"URI","@value":"https://ci.nii.ac.jp/author/DA15295961#entity"},{"@type":"URI","@value":"https://viaf.org/viaf/NII%7CDA15295961"},{"@type":"NRID","@value":"9000397680128"},{"@type":"NRID","@value":"9000270893034"},{"@type":"NRID","@value":"9000398150850"},{"@type":"NRID","@value":"9000402794731"},{"@type":"NRID","@value":"9000411647751"},{"@type":"NRID","@value":"9000397661937"},{"@type":"NRID","@value":"9000409193150"},{"@type":"NRID","@value":"9000406317097"},{"@type":"NRID","@value":"9000397679595"},{"@type":"NRID","@value":"9000413698994"},{"@type":"NRID","@value":"9000397664987"},{"@type":"NRID","@value":"9000397671578"},{"@type":"NRID","@value":"9000397666902"},{"@type":"NRID","@value":"9000397663834"},{"@type":"NRID","@value":"9000397665319"},{"@type":"NRID","@value":"9000405868249"},{"@type":"NRID","@value":"9000397674794"},{"@type":"NRID","@value":"9000402794737"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/minesima"}],"foaf:name":[{"@language":"ja","@value":"峯島 宏次"},{"@language":"en","@value":"Mineshima Koji"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"慶應義塾大学"}]}],"publication":{"prism:publicationName":[{"@language":"ja","@value":"言語処理学会第31回年次大会発表論文集"}],"prism:publicationDate":"2025","prism:volume":"1","prism:startingPage":"42","prism:endingPage":"47","jointInternationalResearch":"false"},"reviewed":"false","project":[{"@id":"https://cir.nii.ac.jp/crid/1040850857197001216","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"21K00016"},{"@type":"JGN","@value":"JP21K00016"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K00016/"}],"notation":[{"@language":"ja","@value":"証明論と型理論に基づく自然言語の形式意味論の新しい枠組み"},{"@language":"en","@value":"A new framework for the formal semantics of natural language based on proof theory and type theory"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"PRODUCT-25490628"}]}