WEKO3
-
RootNode
アイテム
Binary Representation of Natural Numbers
http://hdl.handle.net/10091/0002001209
http://hdl.handle.net/10091/000200120932b17f58-e5f3-437a-a046-f322df564a3b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
17K00182_3.pdf
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-10-25 | |||||||
| タイトル | ||||||||
| タイトル | Binary Representation of Natural Numbers | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| DOI | ||||||||
| 関連タイプ | isIdenticalTo | |||||||
| 関連識別子 | https://doi.org/10.2478/forma-2018-0020 | |||||||
| 関連名称 | 10.2478/forma-2018-0020 | |||||||
| キーワード | ||||||||
| 主題 | algorithms | |||||||
| 資源タイプ | ||||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||||
| タイプ | journal article | |||||||
| 著者 |
Okazaki, Hiroyuki
× Okazaki, Hiroyuki
|
|||||||
| 信州大学研究者総覧へのリンク | ||||||||
| 氏名 | 岡﨑, 裕之 | |||||||
| URL | https://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html | |||||||
| 出版者 | ||||||||
| 出版者 | SCIENDO | |||||||
| 引用 | ||||||||
| 内容記述 | FORMALIZED MATHEMATICS 26(3) : 223-229(2019) | |||||||
| 書誌情報 |
FORMALIZED MATHEMATICS 巻 26, 号 3, p. 223-229, 発行日 2019-02-23 |
|||||||
| 抄録 | ||||||||
| 内容記述 | 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. | |||||||
| 資源タイプ（コンテンツの種類） | ||||||||
| ISSN | ||||||||
| 収録物識別子タイプ | EISSN | |||||||
| 収録物識別子 | 1898-9934 | |||||||
| 権利 | ||||||||
| 権利情報 | © 2018 Hiroyuki Okazaki, published by Sciendo This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License. | |||||||
| 出版タイプ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
