WEKO3
アイテム
{"_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": ["53", "5063"]}, "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_30": {"attribute_name": "NIIタイプ", "attribute_value_mlt": [{"subitem_text_value": "Departmental Bulletin Paper"}]}, "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", "download_preview_message": "", "file_order": 0, "filename": "AA11246904_v42_FURUSAWA.pdf", "filesize": [{"value": "356.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 356000.0, "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"], "permalink_uri": "http://hdl.handle.net/10232/00007320", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-01-13"}, "publish_date": "2015-01-13", "publish_status": "0", "recid": "7328", "relation": {}, "relation_version_is_last": true, "title": ["二項多重関係の反射的推移的閉包の構成"], "weko_shared_id": -1}
二項多重関係の反射的推移的閉包の構成
http://hdl.handle.net/10232/00007320
http://hdl.handle.net/10232/00007320de0728d4-c2f5-4daf-8c96-fc8c5dd63a92
名前 / ファイル | ライセンス | アクション |
---|---|---|
AA11246904_v42_FURUSAWA.pdf (356.0 kB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2015-01-13 | |||||||||||||||||
タイトル | ||||||||||||||||||
タイトル言語 | ja | |||||||||||||||||
タイトル | 二項多重関係の反射的推移的閉包の構成 | |||||||||||||||||
タイトル | ||||||||||||||||||
タイトル言語 | en | |||||||||||||||||
タイトル | Construction of Transitive Closure of Binary Multirelations | |||||||||||||||||
著者 |
津曲, 紀宏
× 津曲, 紀宏
× 西澤, 弘毅
× 古澤, 仁
|
|||||||||||||||||
言語 | ||||||||||||||||||
言語 | jpn | |||||||||||||||||
キーワード | ||||||||||||||||||
主題言語 | en | |||||||||||||||||
主題Scheme | Other | |||||||||||||||||
主題 | binary multirelation | |||||||||||||||||
キーワード | ||||||||||||||||||
主題言語 | en | |||||||||||||||||
主題Scheme | Other | |||||||||||||||||
主題 | reflexive transitive closure | |||||||||||||||||
キーワード | ||||||||||||||||||
主題言語 | en | |||||||||||||||||
主題Scheme | Other | |||||||||||||||||
主題 | semantics | |||||||||||||||||
資源タイプ | ||||||||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||
資源タイプ | departmental bulletin paper | |||||||||||||||||
要約(Abstract) | ||||||||||||||||||
内容記述タイプ | Other | |||||||||||||||||
内容記述 | 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. | |||||||||||||||||
内容記述言語 | en | |||||||||||||||||
収録雑誌名 |
ja : 鹿児島大学理学部紀要 en : Reports of the Faculty of Science, Kagoshima University 巻 42, p. 1-9, 発行日 2009 |
|||||||||||||||||
作成日 | ||||||||||||||||||
日付 | 2009 | |||||||||||||||||
日付タイプ | Issued | |||||||||||||||||
ISSN | ||||||||||||||||||
収録物識別子タイプ | PISSN | |||||||||||||||||
ISSN | 13456938 | |||||||||||||||||
NII書誌ID(雑誌) | ||||||||||||||||||
収録物識別子タイプ | NCID | |||||||||||||||||
NC ID | AA11246904 | |||||||||||||||||
出版タイプ | ||||||||||||||||||
出版タイプ | VoR | |||||||||||||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||||
NDC | ||||||||||||||||||
主題Scheme | NDC | |||||||||||||||||
主題 | 410 | |||||||||||||||||
公開者・出版者 | ||||||||||||||||||
出版者言語 | ja | |||||||||||||||||
出版者 | 鹿児島大学 | |||||||||||||||||
公開者・出版者 | ||||||||||||||||||
出版者言語 | en | |||||||||||||||||
出版者 | Kagoshima University | |||||||||||||||||
旧URI | ||||||||||||||||||
旧URI | http://hdl.handle.net/10232/8537 |