WEKO3
アイテム
{"_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": []}, "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", "download_preview_message": "", "file_order": 0, "filename": "1st.pdf", "filesize": [{"value": "163.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 163000.0, "url": {"label": "1st.pdf 第1回 : 概論", "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", "download_preview_message": "", "file_order": 1, "filename": "2nd.pdf", "filesize": [{"value": "93.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 93000.0, "url": {"label": "2nd.pdf 第2回 : 模倣関係・双模倣関係", "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", "download_preview_message": "", "file_order": 2, "filename": "3rd.pdf", "filesize": [{"value": "80.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 80300.0, "url": {"label": "3rd.pdf 第3回 : 等価性", "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", "download_preview_message": "", "file_order": 3, "filename": "4th.pdf", "filesize": [{"value": "74.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 74200.0, "url": {"label": "4th.pdf 第4回 : 並行計算意味論", "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", "download_preview_message": "", "file_order": 4, "filename": "5th.pdf", "filesize": [{"value": "54.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 54600.0, "url": {"label": "5th.pdf 第5回 : 並行計算意味論", "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", "download_preview_message": "", "file_order": 5, "filename": "6th.pdf", "filesize": [{"value": "65.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 65800.0, "url": {"label": "6th.pdf 第6回 : プロセス代数(強等価性)", "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", "download_preview_message": "", "file_order": 6, "filename": "7th.pdf", "filesize": [{"value": "61.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 61400.0, "url": {"label": "7th.pdf 第7回 : プロセス代数", "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", "download_preview_message": "", "file_order": 7, "filename": "8th.pdf", "filesize": [{"value": "95.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 95800.0, "url": {"label": "8th.pdf 第8回 : プロセス代数(弱等価性)", "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", "download_preview_message": "", "file_order": 8, "filename": "9th.pdf", "filesize": [{"value": "47.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 47500.0, "url": {"label": "9th.pdf 第9回 : プロセス代数", "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", "download_preview_message": "", "file_order": 9, "filename": "10th.pdf", "filesize": [{"value": "81.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 81600.0, "url": {"label": "10th.pdf 第10回 : 記述例、時間オートマトン", "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", "download_preview_message": "", "file_order": 10, "filename": "11th.pdf", "filesize": [{"value": "89.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 89000.0, "url": {"label": "11th.pdf 第11回 : 時間オートマトンによる検証", "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", "download_preview_message": "", "file_order": 11, "filename": "12th.pdf", "filesize": [{"value": "75.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 75200.0, "url": {"label": "12th.pdf 第12回 : 時間オートマトンによる検証", "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", "download_preview_message": "", "file_order": 12, "filename": "13th.pdf", "filesize": [{"value": "165.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 165600.0, "url": {"label": "13th.pdf 第13回 : モデル検査", "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", "download_preview_message": "", "file_order": 13, "filename": "14th.pdf", "filesize": [{"value": "80.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 80800.0, "url": {"label": "14th.pdf 第14回 : 時間様相論理", "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"], "permalink_uri": "http://hdl.handle.net/2237/19541", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2014-03-07"}, "publish_date": "2014-03-07", "publish_status": "0", "recid": "17458", "relation": {}, "relation_version_is_last": true, "title": ["並行分散計算特論"], "weko_shared_id": -1}
並行分散計算特論
http://hdl.handle.net/2237/19541
http://hdl.handle.net/2237/1954135bab429-aa5c-41b6-ada2-2f88d230452b
Item type | 教材 / Learning Material(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-03-07 | |||||
タイトル | ||||||
タイトル | 並行分散計算特論 | |||||
言語 | ja | |||||
著者 |
結縁, 祥治
× 結縁, 祥治 |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | ja | |||||
権利情報 | 本資料は、名古屋大学の教員結縁祥治によって作成され、名大の授業Webサイトに掲載された「並行分散計算特論(2011)」から講義資料のみを登録したものです。 Copyright(C)2011 結縁祥治 | |||||
抄録 | ||||||
内容記述 | 並行計算の概念および体系について修得する。特に、通信プロセス計算モデルの表現と意味論について講義し、従来の逐次計算モデルと比較して、並行計算によって生じる問題について、体系的な意味づけとその対処方法について学ぶ。ネットワークを介した情報システムにおける並行計算の具体的イメージを通して信頼性の高い並行ソフトウェアの構築、さらに、具体的な信頼性向上のための形式手法としてモデル検査について述べる。 | |||||
言語 | ja | |||||
内容記述タイプ | Abstract | |||||
出版者 | ||||||
言語 | ja | |||||
出版者 | 名古屋大学オープンコースウェア委員会 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_e059 | |||||
タイプ | learning object | |||||
関連情報 | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | URI | |||||
関連識別子 | https://ocw.nagoya-u.jp/courses/0305-並行分散計算特論-2011/ | |||||
書誌情報 |
発行日 2013-01-15 |
|||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/19541 | |||||
識別子タイプ | HDL |