{"created":"2023-05-15T14:43:07.400579+00:00","id":3674,"links":{},"metadata":{"_buckets":{"deposit":"d9091ca5-f300-4149-bc59-5baeb1cdc055"},"_deposit":{"created_by":3,"id":"3674","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"3674"},"status":"published"},"_oai":{"id":"oai:ksu.repo.nii.ac.jp:00003674","sets":["14:13:320"]},"author_link":["18350","22499","9159","20237"],"item_2_alternative_title_3":{"attribute_name":"論文名よみ","attribute_value_mlt":[{"subitem_alternative_title":"Logical Program Synthesis ノ Implementation (Pilot 1) ニツイテ"}]},"item_2_biblio_info_12":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1978-09","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"364","bibliographicPageStart":"347","bibliographicVolumeNumber":"8","bibliographic_titles":[{"bibliographic_title":"京都産業大学論集. 自然科学系列"},{"bibliographic_title":"ACTA HUMANISTICA ET SCIENTIFICA UNIVERSITATIS SANGIO KYOTIENSIS : NATURAL SCIENCE SERIES","bibliographic_titleLang":"en"}]}]},"item_2_description_15":{"attribute_name":"表示順","attribute_value_mlt":[{"subitem_description":"23","subitem_description_type":"Other"}]},"item_2_description_16":{"attribute_name":"アクセション番号","attribute_value_mlt":[{"subitem_description":"KJ00000305315","subitem_description_type":"Other"}]},"item_2_description_2":{"attribute_name":"ページ属性","attribute_value_mlt":[{"subitem_description":"P","subitem_description_type":"Other"}]},"item_2_source_id_1":{"attribute_name":"雑誌書誌ID","attribute_value_mlt":[{"subitem_source_identifier":"AN00060178","subitem_source_identifier_type":"NCID"}]},"item_2_source_id_19":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0287-9743","subitem_source_identifier_type":"ISSN"}]},"item_2_text_6":{"attribute_name":"著者所属(日)","attribute_value_mlt":[{"subitem_text_value":"京都産業大学計算機科学研究所"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"metadata only access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_14cb"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大村, 伸一"},{"creatorName":"オオムラ, シンイチ","creatorNameLang":"ja-Kana"},{"creatorName":"OOMURA, Shinichi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"琴野, 実"},{"creatorName":"コトノ, ミノル","creatorNameLang":"ja-Kana"},{"creatorName":"KOTONO, Minoru","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"宮沢, 君江"},{"creatorName":"ミヤザワ, キミエ","creatorNameLang":"ja-Kana"},{"creatorName":"MIYAZAWA, Kimie","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"謝, 章文"},{"creatorName":"シャ, アキフミ","creatorNameLang":"ja-Kana"},{"creatorName":"SHA, Akifumi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Logical Program SynthesisのImplementation (Pilot 1)について","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Logical Program SynthesisのImplementation (Pilot 1)について"},{"subitem_title":"On the Implementation of Logical Program Synthesis (Pilot 1)","subitem_title_language":"en"}]},"item_type_id":"2","owner":"3","path":["320"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-01-29"},"publish_date":"2018-01-29","publish_status":"0","recid":"3674","relation_version_is_last":true,"title":["Logical Program SynthesisのImplementation (Pilot 1)について"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-05-15T15:48:58.381236+00:00"}