{"@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/1520009409869424512.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"NDL_BIB_ID","@value":"027136263"}},{"identifier":{"@type":"URI","@value":"http://id.ndl.go.jp/bib/027136263"}},{"identifier":{"@type":"URI","@value":"https://ndlsearch.ndl.go.jp/books/R000000004-I027136263"}},{"identifier":{"@type":"URI","@value":"https://dl.ndl.go.jp/pid/12934605"}},{"identifier":{"@type":"NAID","@value":"40020743993"}}],"dc:title":[{"@value":"Representation of Lists by Partial Functions"}],"dcterms:alternative":[{"@value":"Representation of Lists by Partial Functions"}],"dc:language":"en","description":[{"notation":[{"@value":"コレクション : 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 公立大学"}]}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1581135654536321792","@type":"Researcher","personIdentifier":[{"@type":"NRID","@value":"9000317139000"}],"foaf:name":[{"@value":"Take-Yuki Nagao"}]}],"publication":{"publicationIdentifier":[{"@type":"NDL_BIB_ID","@value":"000009106959"},{"@type":"ISSN","@value":"18824021"},{"@type":"LISSN","@value":"18824021"},{"@type":"NCID","@value":"AA12285854"}],"prism:publicationName":[{"@value":"産業技術大学院大学紀要 = Bulletin of Advanced Institute of Industrial Technology / 産業技術大学院大学 編"}],"dc:publisher":[{"@value":"東京 : 産業技術大学院大学"}],"prism:publicationDate":"2015","prism:number":"9","prism:startingPage":"155","prism:endingPage":"158"},"url":[{"@id":"http://id.ndl.go.jp/bib/027136263"},{"@id":"https://ndlsearch.ndl.go.jp/books/R000000004-I027136263"},{"@id":"https://dl.ndl.go.jp/pid/12934605"}],"foaf:topic":[{"@id":"https://cir.nii.ac.jp/all?q=List","dc:title":"List"},{"@id":"https://cir.nii.ac.jp/all?q=Partial%20Functions","dc:title":"Partial Functions"},{"@id":"https://cir.nii.ac.jp/all?q=Set%20Theory","dc:title":"Set Theory"},{"@id":"https://cir.nii.ac.jp/all?q=Type%20Theory","dc:title":"Type Theory"},{"@id":"https://cir.nii.ac.jp/all?q=Data%20Type","dc:title":"Data Type"}],"dataSourceIdentifier":[{"@type":"NDL_SEARCH","@value":"oai:ndlsearch.ndl.go.jp:R000000004-I027136263"},{"@type":"CIA","@value":"40020743993"}]}