{"created":"2023-07-25T08:08:03.332166+00:00","id":7328,"links":{},"metadata":{"_buckets":{"deposit":"3b151ffb-7353-4526-a151-0a349900d4c7"},"_deposit":{"created_by":18,"id":"7328","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"7328"},"status":"published"},"_oai":{"id":"oai:ir.kagoshima-u.ac.jp:00007328","sets":["228:229:5063","37:53"]},"author_link":[],"item_7_biblio_info_5":{"attribute_name":"収録雑誌名","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2009","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"9","bibliographicPageStart":"1","bibliographicVolumeNumber":"42","bibliographic_titles":[{"bibliographic_title":"鹿児島大学理学部紀要","bibliographic_titleLang":"ja"},{"bibliographic_title":"Reports of the Faculty of Science, Kagoshima University","bibliographic_titleLang":"en"}]}]},"item_7_date_6":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2009","subitem_date_issued_type":"Issued"}]},"item_7_description_4":{"attribute_name":"要約(Abstract)","attribute_value_mlt":[{"subitem_description":"Binary multirelations have received attention in recent years as a semantic domain of nondeterministic programming languages. Also, it is known that binary multirelations provide a model of Parikh’s game logic. The iteration operator plays a central role in these programming languages and the logic, and it is natural that the iteration is ineterpreted as the reflexive transitive closure of a binary multirelation. We investigate constructions of the reflexive transitive closure among basic properties of up-closed binary multirelations.","subitem_description_language":"en","subitem_description_type":"Other"}]},"item_7_publisher_23":{"attribute_name":"公開者・出版者","attribute_value_mlt":[{"subitem_publisher":"鹿児島大学","subitem_publisher_language":"ja"},{"subitem_publisher":"Kagoshima University","subitem_publisher_language":"en"}]},"item_7_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"13456938","subitem_source_identifier_type":"PISSN"}]},"item_7_source_id_9":{"attribute_name":"NII書誌ID","attribute_value_mlt":[{"subitem_source_identifier":"AA11246904","subitem_source_identifier_type":"NCID"}]},"item_7_subject_15":{"attribute_name":"NDC","attribute_value_mlt":[{"subitem_subject":"410","subitem_subject_scheme":"NDC"}]},"item_7_text_39":{"attribute_name":"旧URI","attribute_value_mlt":[{"subitem_text_value":"http://hdl.handle.net/10232/8537"}]},"item_7_version_type_14":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"津曲, 紀宏","creatorNameLang":"ja"},{"creatorName":"TSUMAGARI, Norihiro","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"西澤, 弘毅","creatorNameLang":"ja"},{"creatorName":"NISHIZAWA, Koki","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"古澤, 仁","creatorNameLang":"ja"},{"creatorName":"FURUSAWA, Hitoshi","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-10-28"}],"displaytype":"detail","filename":"AA11246904_v42_FURUSAWA.pdf","filesize":[{"value":"356.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"AA11246904_v42_FURUSAWA.pdf","objectType":"fulltext","url":"https://ir.kagoshima-u.ac.jp/record/7328/files/AA11246904_v42_FURUSAWA.pdf"},"version_id":"20e84c32-0db0-42ce-8b4d-f815bf89d760"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"binary multirelation","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"reflexive transitive closure","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"semantics","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"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":"二項多重関係の反射的推移的閉包の構成","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"二項多重関係の反射的推移的閉包の構成","subitem_title_language":"ja"},{"subitem_title":"Construction of Transitive Closure of Binary Multirelations","subitem_title_language":"en"}]},"item_type_id":"7","owner":"18","path":["53","5063"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-01-13"},"publish_date":"2015-01-13","publish_status":"0","recid":"7328","relation_version_is_last":true,"title":["二項多重関係の反射的推移的閉包の構成"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2024-02-08T04:46:36.086418+00:00"}