{"created":"2022-10-24T23:55:26.821364+00:00","id":2001209,"links":{},"metadata":{"_buckets":{"deposit":"e71f3d1e-2f39-4edb-97ec-46252b0ea2e7"},"_deposit":{"id":"2001209","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"2001209"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:02001209","sets":["1221:1222"]},"author_link":[],"control_number":"2001209","item_1628147817048":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_6_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2019-02-23","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicPageEnd":"229","bibliographicPageStart":"223","bibliographicVolumeNumber":"26","bibliographic_titles":[{"bibliographic_title":"FORMALIZED MATHEMATICS"}]}]},"item_6_description_20":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Binary representation of integers and arithmetic ope-rations on them have already been introduced in Mizar Mathematical Library. However, these articles formalize the notion of integers as mappedinto a certain length tuple of boolean values.In  this  article  we  formalize,  by  means  of  Mizar  system,  the  binaryrepresentation of natural numbers which mapsNinto bitstreams.","subitem_description_type":"Abstract"}]},"item_6_description_30":{"attribute_name":"資源タイプ（コンテンツの種類）","attribute_value_mlt":[{"subitem_description":"Article","subitem_description_type":"Other"}]},"item_6_description_5":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"FORMALIZED MATHEMATICS 26(3) : 223-229(2019)","subitem_description_type":"Other"}]},"item_6_link_3":{"attribute_name":"信州大学研究者総覧へのリンク","attribute_value_mlt":[{"subitem_link_text":"岡﨑, 裕之","subitem_link_url":"https://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html"}]},"item_6_publisher_4":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"SCIENDO"}]},"item_6_relation_48":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"10.2478/forma-2018-0020"}],"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.2478/forma-2018-0020","subitem_relation_type_select":"DOI"}}]},"item_6_rights_62":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"© 2018 Hiroyuki Okazaki, published by Sciendo　This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License."}]},"item_6_source_id_35":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1898-9934","subitem_source_identifier_type":"EISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Okazaki, Hiroyuki","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2022-10-25"}],"filename":"17K00182_3.pdf","format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"17K00182_3.pdf","url":"https://soar-ir.repo.nii.ac.jp/record/2001209/files/17K00182_3.pdf"},"version_id":"0a416c59-8c38-471c-a405-238cb68ae5ea"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"algorithms","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Binary Representation of Natural Numbers","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Binary Representation of Natural Numbers","subitem_title_language":"en"}]},"item_type_id":"6","owner":"1","path":["1222"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2022-10-25"},"publish_date":"2022-10-25","publish_status":"0","recid":"2001209","relation_version_is_last":true,"title":["Binary Representation of Natural Numbers"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-14T04:15:24.625383+00:00"}