{"id":71439,"updated":"2025-01-21T23:04:41.524177+00:00","links":{},"created":"2025-01-18T23:30:16.822955+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00071439","sets":["934:935:6064:6235"]},"path":["6235"],"owner":"10","recid":"71439","title":["構成的理論に基づいたプログラミング言語Zとその実装"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-12-10"},"_buckets":{"deposit":"1f37cb60-a3eb-4d84-9836-a3bee721021a"},"_deposit":{"id":"71439","pid":{"type":"depid","value":"71439","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"構成的理論に基づいたプログラミング言語Zとその実装","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"構成的理論に基づいたプログラミング言語Zとその実装"},{"subitem_title":"Programming Language Z Based on Constructive Theory and Its Implementation","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"発表概要","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2010-12-10","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"京都大学大学院情報学研究科"},{"subitem_text_value":"京都大学大学院情報学研究科"},{"subitem_text_value":"京都大学大学院情報学研究科"},{"subitem_text_value":"京都大学大学院情報学研究科"},{"subitem_text_value":"京都大学大学院情報学研究科"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Informatics, Kyoto University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Informatics, Kyoto University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Informatics, Kyoto University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Informatics, Kyoto University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Informatics, Kyoto University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/71439/files/IPSJ-TPRO0305006.pdf"},"date":[{"dateType":"Available","dateValue":"2012-12-10"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO0305006.pdf","filesize":[{"value":"32.4 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"597988d8-5fee-4c9f-92bc-22c7475e490e","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2010 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"新名, 庸生"},{"creatorName":"佐藤, 雅彦"},{"creatorName":"馬谷, 誠二"},{"creatorName":"八杉, 昌宏"},{"creatorName":"湯淺, 太一"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yasunari, Niina","creatorNameLang":"en"},{"creatorName":"Masahiko, Sato","creatorNameLang":"en"},{"creatorName":"Seiji, Umatani","creatorNameLang":"en"},{"creatorName":"Masahiro, Yasugi","creatorNameLang":"en"},{"creatorName":"Taiichi, Yuasa","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"プログラミング言語Zには簡潔で厳密なセマンティックが与えられており，将来的にはZで記述したプログラムついてもその数学的，論理的性質を素直に記述，証明できる言語になることを目指している．今回はZのコア言語となるpure Zと，Javaで書かれたLisp処理系JAKLDを基にしたpure Zの実装を紹介する．JAKLDは携帯電話でも動くコンパクトさと改造しやすさからpure Zの実装に適している．今回のpure Zの実装は今後の拡張に備え，コンパクトさと改造のしやすさを引き継いだ実装になっている．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"The programming language Z is given a simple and strict semantics, and we expect we will be able to easily describe mathematical and logical properties of programs written in Z in the future. In this search, we introduce a core language of Z called pure Z and its implementation based on JAKLD, a Lisp system written in Java. JAKLD is suitable for the purpose because it is so compact that some versions of it runs on mobile phones and designed so that it will be easy to add, delete, and modify its functionalities. Our implementation of pure Z keeps the compactness and easiness for the next extension.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"31","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"31","bibliographicIssueDates":{"bibliographicIssueDate":"2010-12-10","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicVolumeNumber":"3"}]},"relation_version_is_last":true,"weko_creator_id":"10"}}