{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BD20424898.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BD20424898#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BD20424898.json"},"dc:title":[{"@value":"アルゴリズムの査証 = Verification of algorithms"},{"@value":"アルゴリズム ノ サショウ","@language":"ja-hrkt"}],"dc:creator":"[著者] 海堂尊","dc:publisher":[{"@value":"宝島社"}],"dcterms:extent":"325p","cinii:size":"19cm","dc:language":"jpn","dc:date":"2026","cinii:ncid":"BD20424898","cinii:ownerCount":"2","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA15291337#entity","@type":"foaf:Person","foaf:name":[{"@value":"海堂, 尊 "},{"@value":"カイドウ, タケル","@language":"ja-hrkt"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA003487","@type":"foaf:Organization","foaf:name":"九州工業大学 附属図書館","rdfs:seeAlso":{"@id":"https://www.lib.kyutech.ac.jp/opac/search?s_ncid=BD20424898"}},{"@id":"https://ci.nii.ac.jp/library/FA017324","@type":"foaf:Organization","foaf:name":"関西国際大学 メディアライブラリー","rdfs:seeAlso":{"@id":"http://klbrsv.kuins.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BD20424898"}}],"prism:publicationDate":["2026.8"],"cinii:note":["表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)"],"dc:subject":["NDLC:KH971","NDC10:913.6","NDC9:913.6"],"dcterms:hasPart":[{"@id":"urn:isbn:9784299080165"}]}]}