{"@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/BB29552622.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BB29552622#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BB29552622.json"},"dc:title":[{"@value":"代数系、論理、言語と計算機科学の周辺 : RIMS共同研究(公開型)"},{"@value":"ダイスウケイ ロンリ ゲンゴ ト ケイサンキ カガク ノ シュウヘン : RIMS キョウドウ ケンキュウ コウカイガタ","@language":"ja-hrkt"}],"dcterms:alternative":["Algebraic system, logic, language and related areas in computer science : February 20-22, 2019"],"dc:publisher":[{"@value":"京都大学数理解析研究所"}],"dcterms:extent":"ii, 118p","cinii:size":"26cm","dc:language":"engjpn","dc:date":"2019","cinii:ncid":"BB29552622","cinii:ownerCount":"5","foaf:maker":[{"@type":"foaf:Person","foaf:name":[{"@value":"足立, 智子"},{"@value":"アダチ, トモコ","@language":"ja-hrkt"}]},{"@id":"https://ci.nii.ac.jp/author/DA00277933#entity","@type":"foaf:Person","foaf:name":[{"@value":"京都大学数理解析研究所"},{"@value":"キョウト ダイガク スウリ カイセキ ケンキュウショ","@language":"ja-hrkt"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA002484","@type":"foaf:Organization","foaf:name":"名古屋大学 理学 図書室","rdfs:seeAlso":{"@id":"https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BB29552622&initFlg=_RESULT_SET_NOTBIB"}},{"@id":"https://ci.nii.ac.jp/library/FA02289X","@type":"foaf:Organization","foaf:name":"九州大学 理系図書館","rdfs:seeAlso":{"@id":"https://catalog.lib.kyushu-u.ac.jp/opac_openurl/?ncid=BB29552622"}},{"@id":"https://ci.nii.ac.jp/library/FA003760","@type":"foaf:Organization","foaf:name":"東京都立大学 図書館","rdfs:seeAlso":{"@id":"https://opactmu.lib.tmu.ac.jp/iwjs0013opc/ufirdi.do?ufi_target=ctlsrh&ncid=BB29552622"}},{"@id":"https://ci.nii.ac.jp/library/FA006758","@type":"foaf:Organization","foaf:name":"立教大学 図書館","rdfs:seeAlso":{"@id":"https://opac.rikkyo.ac.jp/opac/opac_openurl/?ncid=BB29552622"}},{"@id":"https://ci.nii.ac.jp/library/FA007739","@type":"foaf:Organization","foaf:name":"立命館大学 図書館","rdfs:seeAlso":{"@id":"http://runners.ritsumei.ac.jp/opac/opac_openurl/?ncid=BB29552622"}}],"prism:publicationDate":["2019.10"],"cinii:note":["RIMS共同研究(公開型)報告集: 2019年2月20日-2月22日. 研究代表者: 足立智子","参考文献: 各論文末"],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BN06637050#entity","dc:title":"数理解析研究所講究録, 2130","@type":"bibo:Book"}]}]}