WEKO3
アイテム
{"_buckets": {"deposit": "fbe586dc-0faf-42eb-843d-5c8f4660e471"}, "_deposit": {"created_by": 4, "id": "6784", "owners": [4], "pid": {"revision_id": 0, "type": "depid", "value": "6784"}, "status": "published"}, "_oai": {"id": "oai:naist.repo.nii.ac.jp:00006784", "sets": ["37"]}, "author_link": ["17619"], "item_15_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1999-03-24", "bibliographicIssueDateType": "Issued"}}]}, "item_15_date_granted_16": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "1999-03-24"}]}, "item_15_degree_grantor_15": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "奈良先端科学技術大学院大学"}]}]}, "item_15_degree_name_14": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "修士(工学)", "subitem_degreename_language": "ja"}]}, "item_15_dissertation_number_17": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "修第905号"}]}, "item_15_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "奈良先端科学技術大学院大学", "subitem_publisher_language": "ja"}]}, "item_15_text_19": {"attribute_name": "電子化ID", "attribute_value_mlt": [{"subitem_text_value": "R000871"}]}, "item_15_version_type_11": {"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"}], "nameIdentifiers": [{"nameIdentifier": "17619", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2023-03-03"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "R000871.pdf", "filesize": [{"value": "9.4 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 9400000.0, "url": {"label": "fulltext", "objectType": "fulltext", "url": "https://naist.repo.nii.ac.jp/record/6784/files/R000871.pdf"}, "version_id": "ed7ab213-f222-4902-802a-6f98a12c84c5"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "分散アルゴリズム", "subitem_subject_language": "ja", "subitem_subject_scheme": "Other"}, {"subitem_subject": "プロセス代数", "subitem_subject_language": "ja", "subitem_subject_scheme": "Other"}, {"subitem_subject": "様相μ計算", "subitem_subject_language": "ja", "subitem_subject_scheme": "Other"}, {"subitem_subject": "CCS", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Tableau Proof", "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": "master thesis", "resourceuri": "http://purl.org/coar/resource_type/c_bdcc"}]}, "item_title": "分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として", "subitem_title_language": "ja"}, {"subitem_title": "ブンサン アルゴリズム ノ CCS ニヨル キジュツ ト ケイシキテキ ケンショウ : ネットワーク グラフ ドウテイ モンダイ オ レイ トシテ", "subitem_title_language": "ja-Kana"}]}, "item_type_id": "15", "owner": "4", "path": ["37"], "permalink_uri": "http://hdl.handle.net/10061/2633", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2006-07-31"}, "publish_date": "2006-07-31", "publish_status": "0", "recid": "6784", "relation": {}, "relation_version_is_last": true, "title": ["分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として"], "weko_shared_id": -1}
分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として
http://hdl.handle.net/10061/2633
http://hdl.handle.net/10061/26332a5ae174-8c0d-4c26-aeb9-a81171880d92
名前 / ファイル | ライセンス | アクション |
---|---|---|
fulltext (9.4 MB)
|
|
Item type | 学位論文(修士論文) / Thesis or Dissertation_0(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2006-07-31 | |||||
タイトル | ||||||
タイトル | 分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として | |||||
タイトル | ||||||
タイトル | ブンサン アルゴリズム ノ CCS ニヨル キジュツ ト ケイシキテキ ケンショウ : ネットワーク グラフ ドウテイ モンダイ オ レイ トシテ | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 分散アルゴリズム | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | プロセス代数 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 様相μ計算 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | CCS | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Tableau Proof | |||||
資源タイプ | ||||||
資源タイプ | master thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
著者 |
鍵本, 聡
× 鍵本, 聡 |
|||||
書誌情報 |
発行日 1999-03-24 |
|||||
出版者 | ||||||
出版者 | 奈良先端科学技術大学院大学 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
学位名 | ||||||
学位名 | 修士(工学) | |||||
学位授与機関 | ||||||
学位授与機関名 | 奈良先端科学技術大学院大学 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 1999-03-24 | |||||
学位授与番号 | ||||||
学位授与番号 | 修第905号 | |||||
電子化ID |