{"_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": ["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_select_64": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_6_source_id_35": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1898-9934", "subitem_source_identifier_type": "EISSN"}]}, "item_6_source_id_39": {"attribute_name": "NII 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"}], "download_preview_message": "", "file_order": 0, "filename": "17K00182_3.pdf", "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 0, "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"], "permalink_uri": "http://hdl.handle.net/10091/0002001209", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2022-10-25"}, "publish_date": "2022-10-25", "publish_status": "0", "recid": "2001209", "relation": {}, "relation_version_is_last": true, "title": ["Binary Representation of Natural Numbers"], "weko_shared_id": -1}