ログイン
言語:

WEKO3

  • トップ
  • コミュニティ
  • ランキング
AND
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "a0a5d005-c4ec-4a5d-83f4-d8c95dfa261b"}, "_deposit": {"id": "17458", "owners": [], "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": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-01-15", "bibliographicIssueDateType": "Issued"}}]}, "item_11_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u4e26\u884c\u8a08\u7b97\u306e\u6982\u5ff5\u304a\u3088\u3073\u4f53\u7cfb\u306b\u3064\u3044\u3066\u4fee\u5f97\u3059\u308b\u3002\u7279\u306b\u3001\u901a\u4fe1\u30d7\u30ed\u30bb\u30b9\u8a08\u7b97\u30e2\u30c7\u30eb\u306e\u8868\u73fe\u3068\u610f\u5473\u8ad6\u306b\u3064\u3044\u3066\u8b1b\u7fa9\u3057\u3001\u5f93\u6765\u306e\u9010\u6b21\u8a08\u7b97\u30e2\u30c7\u30eb\u3068\u6bd4\u8f03\u3057\u3066\u3001\u4e26\u884c\u8a08\u7b97\u306b\u3088\u3063\u3066\u751f\u3058\u308b\u554f\u984c\u306b\u3064\u3044\u3066\u3001\u4f53\u7cfb\u7684\u306a\u610f\u5473\u3065\u3051\u3068\u305d\u306e\u5bfe\u51e6\u65b9\u6cd5\u306b\u3064\u3044\u3066\u5b66\u3076\u3002\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u3092\u4ecb\u3057\u305f\u60c5\u5831\u30b7\u30b9\u30c6\u30e0\u306b\u304a\u3051\u308b\u4e26\u884c\u8a08\u7b97\u306e\u5177\u4f53\u7684\u30a4\u30e1\u30fc\u30b8\u3092\u901a\u3057\u3066\u4fe1\u983c\u6027\u306e\u9ad8\u3044\u4e26\u884c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u69cb\u7bc9\u3001\u3055\u3089\u306b\u3001\u5177\u4f53\u7684\u306a\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u305f\u3081\u306e\u5f62\u5f0f\u624b\u6cd5\u3068\u3057\u3066\u30e2\u30c7\u30eb\u691c\u67fb\u306b\u3064\u3044\u3066\u8ff0\u3079\u308b\u3002", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}]}, "item_11_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "https://ocw.ilas.nagoya-u.ac.jp/index.php?lang=ja\u0026mode=c\u0026id=305\u0026page_type=index"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/19541"}]}, "item_11_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u540d\u53e4\u5c4b\u5927\u5b66\u30aa\u30fc\u30d7\u30f3\u30b3\u30fc\u30b9\u30a6\u30a7\u30a2\u59d4\u54e1\u4f1a", "subitem_publisher_language": "ja"}]}, "item_11_relation_43": {"attribute_name": "\u95a2\u9023\u60c5\u5831", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://ocw.ilas.nagoya-u.ac.jp/index.php?lang=ja\u0026mode=c\u0026id=305\u0026page_type=index", "subitem_relation_type_select": "URI"}}]}, "item_11_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "\u672c\u8cc7\u6599\u306f\u3001\u540d\u53e4\u5c4b\u5927\u5b66\u306e\u6559\u54e1\u7d50\u7e01\u7965\u6cbb\u306b\u3088\u3063\u3066\u4f5c\u6210\u3055\u308c\u3001\u540d\u5927\u306e\u6388\u696dWeb\u30b5\u30a4\u30c8\u306b\u63b2\u8f09\u3055\u308c\u305f\u300c\u4e26\u884c\u5206\u6563\u8a08\u7b97\u7279\u8ad6(2011)\u300d\u304b\u3089\u8b1b\u7fa9\u8cc7\u6599\u306e\u307f\u3092\u767b\u9332\u3057\u305f\u3082\u306e\u3067\u3059\u3002 Copyright(C)2011 \u7d50\u7e01\u7965\u6cbb", "subitem_rights_language": "ja"}]}, "item_11_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_access_right": {"attribute_name": "\u30a2\u30af\u30bb\u30b9\u6a29", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u7d50\u7e01, \u7965\u6cbb", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "51337", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "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 \u7b2c\uff11\u56de : \u6982\u8ad6", "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 \u7b2c\uff12\u56de : \u6a21\u5023\u95a2\u4fc2\u30fb\u53cc\u6a21\u5023\u95a2\u4fc2", "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 \u7b2c\uff13\u56de : \u7b49\u4fa1\u6027", "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 \u7b2c\uff14\u56de : \u4e26\u884c\u8a08\u7b97\u610f\u5473\u8ad6", "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 \u7b2c\uff15\u56de : \u4e26\u884c\u8a08\u7b97\u610f\u5473\u8ad6", "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 \u7b2c\uff16\u56de : \u30d7\u30ed\u30bb\u30b9\u4ee3\u6570\uff08\u5f37\u7b49\u4fa1\u6027\uff09", "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 \u7b2c\uff17\u56de : \u30d7\u30ed\u30bb\u30b9\u4ee3\u6570", "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 \u7b2c\uff18\u56de : \u30d7\u30ed\u30bb\u30b9\u4ee3\u6570\uff08\u5f31\u7b49\u4fa1\u6027\uff09", "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 \u7b2c\uff19\u56de : \u30d7\u30ed\u30bb\u30b9\u4ee3\u6570", "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 \u7b2c\uff11\uff10\u56de : \u8a18\u8ff0\u4f8b\u3001\u6642\u9593\u30aa\u30fc\u30c8\u30de\u30c8\u30f3", "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 \u7b2c\uff11\uff11\u56de : \u6642\u9593\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u3088\u308b\u691c\u8a3c", "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 \u7b2c\uff11\uff12\u56de : \u6642\u9593\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u3088\u308b\u691c\u8a3c", "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 \u7b2c\uff11\uff13\u56de : \u30e2\u30c7\u30eb\u691c\u67fb", "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 \u7b2c\uff11\uff14\u56de : \u6642\u9593\u69d8\u76f8\u8ad6\u7406", "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": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "learning object", "resourceuri": "http://purl.org/coar/resource_type/c_e059"}]}, "item_title": "\u4e26\u884c\u5206\u6563\u8a08\u7b97\u7279\u8ad6", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u4e26\u884c\u5206\u6563\u8a08\u7b97\u7279\u8ad6", "subitem_title_language": "ja"}]}, "item_type_id": "11", "owner": "1", "path": ["312/1331/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": ["\u4e26\u884c\u5206\u6563\u8a08\u7b97\u7279\u8ad6"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500f 教材
  3. オープンコースウェア

並行分散計算特論

http://hdl.handle.net/2237/19541
35bab429-aa5c-41b6-ada2-2f88d230452b
名前 / ファイル ライセンス アクション
1st.pdf 1st.pdf 第1回 : 概論 (163.0 kB)
2nd.pdf 2nd.pdf 第2回 : 模倣関係・双模倣関係 (93.0 kB)
3rd.pdf 3rd.pdf 第3回 : 等価性 (80.3 kB)
4th.pdf 4th.pdf 第4回 : 並行計算意味論 (74.2 kB)
5th.pdf 5th.pdf 第5回 : 並行計算意味論 (54.6 kB)
6th.pdf 6th.pdf 第6回 : プロセス代数(強等価性) (65.8 kB)
7th.pdf 7th.pdf 第7回 : プロセス代数 (61.4 kB)
8th.pdf 8th.pdf 第8回 : プロセス代数(弱等価性) (95.8 kB)
9th.pdf 9th.pdf 第9回 : プロセス代数 (47.5 kB)
10th.pdf 10th.pdf 第10回 : 記述例、時間オートマトン (81.6 kB)
11th.pdf 11th.pdf 第11回 : 時間オートマトンによる検証 (89.0 kB)
12th.pdf 12th.pdf 第12回 : 時間オートマトンによる検証 (75.2 kB)
13th.pdf 13th.pdf 第13回 : モデル検査 (165.6 kB)
14th.pdf 14th.pdf 第14回 : 時間様相論理 (80.8 kB)
Item type 教材 / Learning Material(1)
公開日 2014-03-07
タイトル
タイトル 並行分散計算特論
言語 ja
著者 結縁, 祥治

× 結縁, 祥治

WEKO 51337

ja 結縁, 祥治

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 ja
権利情報 本資料は、名古屋大学の教員結縁祥治によって作成され、名大の授業Webサイトに掲載された「並行分散計算特論(2011)」から講義資料のみを登録したものです。 Copyright(C)2011 結縁祥治
抄録
内容記述タイプ Abstract
内容記述 並行計算の概念および体系について修得する。特に、通信プロセス計算モデルの表現と意味論について講義し、従来の逐次計算モデルと比較して、並行計算によって生じる問題について、体系的な意味づけとその対処方法について学ぶ。ネットワークを介した情報システムにおける並行計算の具体的イメージを通して信頼性の高い並行ソフトウェアの構築、さらに、具体的な信頼性向上のための形式手法としてモデル検査について述べる。
言語 ja
出版者
言語 ja
出版者 名古屋大学オープンコースウェア委員会
言語
言語 jpn
資源タイプ
資源 http://purl.org/coar/resource_type/c_e059
タイプ learning object
関連情報
関連タイプ isVersionOf
関連識別子
識別子タイプ URI
関連識別子 https://ocw.ilas.nagoya-u.ac.jp/index.php?lang=ja&mode=c&id=305&page_type=index
書誌情報
発行日 2013-01-15
著者版フラグ
値 publisher
URI
識別子 https://ocw.ilas.nagoya-u.ac.jp/index.php?lang=ja&mode=c&id=305&page_type=index
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/19541
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 17:08:18.798737
Show All versions

Share

Mendeley CiteULike Twitter Facebook Print Addthis

Cite as

Export

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by CERN Data Centre & Invenio


Powered by CERN Data Centre & Invenio