{"created":"2021-03-01T06:24:47.530887+00:00","id":17458,"links":{},"metadata":{"_buckets":{"deposit":"a0a5d005-c4ec-4a5d-83f4-d8c95dfa261b"},"_deposit":{"created_by":17,"id":"17458","owners":[17],"pid":{"revision_id":0,"type":"depid","value":"17458"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00017458","sets":["312:1331:1332"]},"author_link":["51337"],"item_11_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2013-01-15","bibliographicIssueDateType":"Issued"}}]},"item_11_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"並行計算の概念および体系について修得する。特に、通信プロセス計算モデルの表現と意味論について講義し、従来の逐次計算モデルと比較して、並行計算によって生じる問題について、体系的な意味づけとその対処方法について学ぶ。ネットワークを介した情報システムにおける並行計算の具体的イメージを通して信頼性の高い並行ソフトウェアの構築、さらに、具体的な信頼性向上のための形式手法としてモデル検査について述べる。","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_11_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/19541"}]},"item_11_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"名古屋大学オープンコースウェア委員会","subitem_publisher_language":"ja"}]},"item_11_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://ocw.nagoya-u.jp/courses/0305-並行分散計算特論-2011/","subitem_relation_type_select":"URI"}}]},"item_11_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"本資料は、名古屋大学の教員結縁祥治によって作成され、名大の授業Webサイトに掲載された「並行分散計算特論(2011)」から講義資料のみを登録したものです。 Copyright(C)2011 結縁祥治","subitem_rights_language":"ja"}]},"item_11_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"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"}],"nameIdentifiers":[{"nameIdentifier":"51337","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"1st.pdf","filesize":[{"value":"163.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"1st.pdf 第１回 : 概論","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/1st.pdf"},"version_id":"2a90fd46-1e93-4b56-8f0a-a515b6a98ae9"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"2nd.pdf","filesize":[{"value":"93.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"2nd.pdf 第２回 : 模倣関係・双模倣関係","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/2nd.pdf"},"version_id":"c95d29e5-31fd-4086-aa93-2de8f3aaf527"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"3rd.pdf","filesize":[{"value":"80.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"3rd.pdf 第３回 : 等価性","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/3rd.pdf"},"version_id":"b006bfea-e035-443b-982d-db6af2d9f1e1"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"4th.pdf","filesize":[{"value":"74.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"4th.pdf 第４回 : 並行計算意味論","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/4th.pdf"},"version_id":"d4b8c799-874c-4f54-a4ba-b881aa91c357"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"5th.pdf","filesize":[{"value":"54.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"5th.pdf 第５回 : 並行計算意味論","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/5th.pdf"},"version_id":"4f93aeab-cc1e-4d99-8d62-429e13aaae49"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"6th.pdf","filesize":[{"value":"65.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"6th.pdf 第６回 : プロセス代数（強等価性）","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/6th.pdf"},"version_id":"ece8e62f-459c-46cf-b8ab-138062898388"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"7th.pdf","filesize":[{"value":"61.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"7th.pdf 第７回 : プロセス代数","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/7th.pdf"},"version_id":"39ee844d-b416-4006-9054-f98eab37bc10"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"8th.pdf","filesize":[{"value":"95.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"8th.pdf 第８回 : プロセス代数（弱等価性）","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/8th.pdf"},"version_id":"dbdda7e5-5fbd-494b-ae4b-7eb43d0b661f"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"9th.pdf","filesize":[{"value":"47.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"9th.pdf 第９回 : プロセス代数","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/9th.pdf"},"version_id":"cf982d8b-bc42-431e-8103-a2ff54a9b27c"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"10th.pdf","filesize":[{"value":"81.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"10th.pdf 第１０回 : 記述例、時間オートマトン","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/10th.pdf"},"version_id":"6caea241-9d06-485e-97f7-912f2e5cb04d"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"11th.pdf","filesize":[{"value":"89.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"11th.pdf 第１１回 : 時間オートマトンによる検証","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/11th.pdf"},"version_id":"fd6dbc1b-91dc-40eb-9990-60aa1bbec03e"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"12th.pdf","filesize":[{"value":"75.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"12th.pdf 第１２回 : 時間オートマトンによる検証","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/12th.pdf"},"version_id":"f2d08ea7-ca03-4c92-97ba-41f92544f386"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"13th.pdf","filesize":[{"value":"165.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"13th.pdf 第１３回 : モデル検査","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/13th.pdf"},"version_id":"64df5a77-4ffe-45be-8025-8ec8ddef931e"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"14th.pdf","filesize":[{"value":"80.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"14th.pdf 第１４回 : 時間様相論理","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/17458/files/14th.pdf"},"version_id":"46bdb50e-d64a-481e-9f51-ee87a56b474f"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"learning object","resourceuri":"http://purl.org/coar/resource_type/c_e059"}]},"item_title":"並行分散計算特論","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"並行分散計算特論","subitem_title_language":"ja"}]},"item_type_id":"11","owner":"17","path":["1332"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2014-03-07"},"publish_date":"2014-03-07","publish_status":"0","recid":"17458","relation_version_is_last":true,"title":["並行分散計算特論"],"weko_creator_id":"17","weko_shared_id":-1},"updated":"2023-12-19T02:31:42.807969+00:00"}