{"created":"2023-05-15T14:45:35.346441+00:00","id":8680,"links":{},"metadata":{"_buckets":{"deposit":"cf05f45f-29a7-4082-9a80-3577e0db6ca4"},"_deposit":{"created_by":3,"id":"8680","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"8680"},"status":"published"},"_oai":{"id":"oai:ksu.repo.nii.ac.jp:00008680","sets":["482:565:575"]},"author_link":["18007","20907"],"item_2_alternative_title_3":{"attribute_name":"論文名よみ","attribute_value_mlt":[{"subitem_alternative_title":"16ビット マイクロ プロセッサ ノ ケイシキテキ セッケイ ケンショウ"}]},"item_2_biblio_info_12":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1996-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"136","bibliographicPageStart":"109","bibliographicVolumeNumber":"12","bibliographic_titles":[{"bibliographic_title":"京都産業大学計算機科学研究所所報"},{"bibliographic_title":"The bulletin of the Institute of Computer Sciences Kyoto Sangyo University","bibliographic_titleLang":"en"}]}]},"item_2_description_15":{"attribute_name":"表示順","attribute_value_mlt":[{"subitem_description":"3","subitem_description_type":"Other"}]},"item_2_description_16":{"attribute_name":"アクセション番号","attribute_value_mlt":[{"subitem_description":"KJ00000558142","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":"AN10026642","subitem_source_identifier_type":"NCID"}]},"item_2_source_id_19":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0288-8440","subitem_source_identifier_type":"ISSN"}]},"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":"Demura, Kazuya","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"平石, 裕実"},{"creatorName":"ヒライシ, ヒロミ","creatorNameLang":"ja-Kana"},{"creatorName":"Hiraishi, Hiromi","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":"16ビットマイクロプロセッサの形式的設計検証","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"16ビットマイクロプロセッサの形式的設計検証"},{"subitem_title":"Formal Design Verification of 16-bit Microprocessor","subitem_title_language":"en"}]},"item_type_id":"2","owner":"3","path":["575"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-02-01"},"publish_date":"2018-02-01","publish_status":"0","recid":"8680","relation_version_is_last":true,"title":["16ビットマイクロプロセッサの形式的設計検証"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-05-15T16:49:56.142831+00:00"}