{"created":"2023-07-25T08:06:11.564239+00:00","id":4886,"links":{},"metadata":{"_buckets":{"deposit":"f9f48fd6-7f2f-4679-80cd-3f21d4702d4d"},"_deposit":{"created_by":18,"id":"4886","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"4886"},"status":"published"},"_oai":{"id":"oai:ir.kagoshima-u.ac.jp:00004886","sets":["54:55"]},"author_link":["112456","112457","125979"],"item_5_date_6":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2012-03-23","subitem_date_issued_type":"Issued"}]},"item_5_date_granted_54":{"attribute_name":"学位授与年月日 ","attribute_value_mlt":[{"subitem_dategranted":"2012-03-23"}]},"item_5_degree_grantor_53":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"鹿児島大学"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"17701","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_5_degree_name_42":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（理学）","subitem_degreename_language":"ja"},{"subitem_degreename":"Doctor of Philosophy in Science","subitem_degreename_language":"en"}]},"item_5_description_17":{"attribute_name":"ファイル（説明）","attribute_value_mlt":[{"subitem_description":"学位論文の要旨, 学位論文本文","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_5_description_4":{"attribute_name":"要約(Abstract)","attribute_value_mlt":[{"subitem_description":"This thesis aims to provide a path to abstraction between probabilistic systems and non-probabilistic systems in order to put the verification methods for probabilistic systems into practical use. McIver et al have introduced a verification method for probabilistic systems using probabilistic Kleene algebras and their model of probabilistic systems. However it is difficult to put their method in practical use because their model of probabilistic systems still includes probabilistic components. Thus we have to find more abstract semantic domain excluded probabilistic components in order to enable their verification method to be put into practical use. This thesis offers multirelations -- extended binary relations -- as that abstract domain for probabilistic systems. And we generalize the model of probabilistic systems as probabilistic multirelations, then we consider probabilistic multirelations and non-probabilistic multirelations via an algebra called complete IL-semiring. Giving several Galois connections between them, we begin walking to abstraction for probabilistic systems.","subitem_description_language":"en","subitem_description_type":"Other"},{"subitem_description":"理工学研究科博士論文 (理学) ; 学位取得日: 平成24年3月23日","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_5_dissertation_number_55":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲理工研第364号"}]},"item_5_full_name_2":{"attribute_name":"著者よみ","attribute_value_mlt":[{"nameIdentifiers":[{}]}]},"item_5_full_name_3":{"attribute_name":"別言語の著者","attribute_value_mlt":[{"nameIdentifiers":[{}]}]},"item_5_publisher_23":{"attribute_name":"公開者・出版者","attribute_value_mlt":[{"subitem_publisher":"鹿児島大学","subitem_publisher_language":"ja"},{"subitem_publisher":"カゴシマ ダイガク","subitem_publisher_language":"ja-Kana"},{"subitem_publisher":"Kagoshima University","subitem_publisher_language":"en"}]},"item_5_subject_15":{"attribute_name":"NDC","attribute_value_mlt":[{"subitem_subject":"410","subitem_subject_scheme":"NDC"}]},"item_5_text_44":{"attribute_name":"備考","attribute_value_mlt":[{"subitem_text_value":"【指導教員: 古澤仁准教授】"}]},"item_5_text_52":{"attribute_name":"学位番号","attribute_value_mlt":[{"subitem_text_value":"理工研第364号"}]},"item_5_version_type_14":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"津曲, 紀宏","creatorNameLang":"ja"},{"creatorName":"ツマガリ, ノリヒロ","creatorNameLang":"ja-Kana"},{"creatorName":"Tsumagari, Norihiro","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-10-28"}],"displaytype":"detail","filename":"rikouken364.pdf","filesize":[{"value":"707.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"rikouken364.pdf","objectType":"abstract","url":"https://ir.kagoshima-u.ac.jp/record/4886/files/rikouken364.pdf"},"version_id":"10927f24-9e81-43ed-ba0c-5b2e50ea8aed"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-10-28"}],"displaytype":"detail","filename":"TSUMAGARI_phdthesis_2012.pdf","filesize":[{"value":"342.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"TSUMAGARI_phdthesis_2012.pdf","objectType":"fulltext","url":"https://ir.kagoshima-u.ac.jp/record/4886/files/TSUMAGARI_phdthesis_2012.pdf"},"version_id":"fe09aea3-11d6-4d94-bd54-ed3d006d01a0"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"Probability meets Non-Probability via Complete IL-Semirings","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Probability meets Non-Probability via Complete IL-Semirings","subitem_title_language":"en"}]},"item_type_id":"5","owner":"18","path":["55"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-02-18"},"publish_date":"2015-02-18","publish_status":"0","recid":"4886","relation_version_is_last":true,"title":["Probability meets Non-Probability via Complete IL-Semirings"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2024-01-05T08:35:58.363126+00:00"}