WEKO3
アイテム
{"_buckets": {"deposit": "ca4eb808-c6cf-4b42-95ed-fcbb1d8f12a4"}, "_deposit": {"created_by": 17, "id": "17451", "owners": [17], "pid": {"revision_id": 0, "type": "depid", "value": "17451"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00017451", "sets": []}, "author_link": ["51328"], "item_11_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2012-05-08", "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/19534"}]}, "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/0300-オートマトン・形式言語特論-2014/", "subitem_relation_type_select": "URI"}}]}, "item_11_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "本資料は、名古屋大学の教員酒井正彦によって作成され、名大の授業Webサイトに掲載された「オートマトン・形式言語特論」(2010)から講義資料のみを登録したものです。 Copyright(C)2010 酒井正彦", "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": "51328", "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": "slide1.pdf", "filesize": [{"value": "157.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 157000.0, "url": {"label": "slide1.pdf 講義ノート : 第1回 : 準備、NFTA", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide1.pdf"}, "version_id": "55d6e4cc-7297-4d6e-b081-63ec02cff37a"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "slide2.pdf", "filesize": [{"value": "104.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 104700.0, "url": {"label": "slide2.pdf 講義ノート : 第2回 : NFTAとDFTAの等価性、反復補題", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide2.pdf"}, "version_id": "f9f8f546-5234-48ee-a109-da9d7a8d17e6"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "slide3.pdf", "filesize": [{"value": "101.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 101300.0, "url": {"label": "slide3.pdf 講義ノート : 第3回 : 閉包性", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide3.pdf"}, "version_id": "c7c4a74b-fe42-4677-a6cf-8644c9f93c4e"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 3, "filename": "slide4.pdf", "filesize": [{"value": "114.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 114200.0, "url": {"label": "slide4.pdf 講義ノート : 第4回 : Myhill-Nerode定理", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide4.pdf"}, "version_id": "74d0413f-ebce-4077-b72d-74b78433556d"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 4, "filename": "slide5.pdf", "filesize": [{"value": "116.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 116900.0, "url": {"label": "slide5.pdf 講義ノート : 第5回 : 正規木文法、木正規表現I", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide5.pdf"}, "version_id": "2109b509-defe-498e-ae52-8048fce5ae46"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 5, "filename": "slide6.pdf", "filesize": [{"value": "101.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 101600.0, "url": {"label": "slide6.pdf 講義ノート : 第6回 : 木正規表現II", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide6.pdf"}, "version_id": "ca7ca61b-5634-4e94-99aa-943b339648d6"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 6, "filename": "slide7.pdf", "filesize": [{"value": "276.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 276300.0, "url": {"label": "slide7.pdf 講義ノート : 第7回 : 関係とNFTA", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide7.pdf"}, "version_id": "186d88cd-2ec6-4169-bc3a-96c8962ce5fa"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 7, "filename": "slide8.pdf", "filesize": [{"value": "241.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 241700.0, "url": {"label": "slide8.pdf 講義ノート : 第8回 : WSkS:弱2階単項論理", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide8.pdf"}, "version_id": "6272b7f2-bcf3-4cb9-8dce-1392aefbf495"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 8, "filename": "slide9.pdf", "filesize": [{"value": "110.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 110200.0, "url": {"label": "slide9.pdf 講義ノート : 第9回 : 線形時間命題論理", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide9.pdf"}, "version_id": "a47e2a72-55e3-403b-b752-2892c5bbaf0e"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 9, "filename": "slide10.pdf", "filesize": [{"value": "185.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 185400.0, "url": {"label": "slide10.pdf 講義ノート : 第10回 : AWEDC:等値制約つきNFTA", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide10.pdf"}, "version_id": "6bb46eae-7556-41d5-ae6d-57bef283c029"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 10, "filename": "slide11.pdf", "filesize": [{"value": "115.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 115300.0, "url": {"label": "slide11.pdf 講義ノート : 第11回 : AWCBB:兄弟間の等値制約つきNFTA、リダクションオートマトン", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide11.pdf"}, "version_id": "2c673ad0-4d8a-4b41-815a-a114c579a433"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 11, "filename": "slide12.pdf", "filesize": [{"value": "524.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 524000.0, "url": {"label": "slide12.pdf 講義ノート : 第12,13回 : 木変換", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide12.pdf"}, "version_id": "f3bb72ba-d080-45e5-9771-8f7a2eb9ca75"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 12, "filename": "slide13.pdf", "filesize": [{"value": "223.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 223500.0, "url": {"label": "slide13.pdf 講義ノート : 第14回 : ヘッジオートマトン", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/slide13.pdf"}, "version_id": "fc30cb56-b7a5-4e61-86ba-257adaaf7d3b"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 13, "filename": "report1.pdf", "filesize": [{"value": "158.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 158000.0, "url": {"label": "report1.pdf 課題 : レポート1", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/report1.pdf"}, "version_id": "5a233587-ffa8-4254-b37e-b054bca1a8cd"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 14, "filename": "report2.pdf", "filesize": [{"value": "167.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 167300.0, "url": {"label": "report2.pdf 課題 : レポート2", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/report2.pdf"}, "version_id": "bbd62a22-fc1a-4deb-8817-c1c389395507"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 15, "filename": "report3.pdf", "filesize": [{"value": "149.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 149600.0, "url": {"label": "report3.pdf 課題 : レポート3", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/17451/files/report3.pdf"}, "version_id": "3a6fa5b6-7144-482b-b70b-4766796f1330"}]}, "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/19534", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2014-03-07"}, "publish_date": "2014-03-07", "publish_status": "0", "recid": "17451", "relation": {}, "relation_version_is_last": true, "title": ["オートマトン・形式言語特論"], "weko_shared_id": -1}
オートマトン・形式言語特論
http://hdl.handle.net/2237/19534
http://hdl.handle.net/2237/19534cc9fdffb-b81a-47d2-a566-98e401a3e8d7
Item type | 教材 / Learning Material(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-03-07 | |||||
タイトル | ||||||
タイトル | オートマトン・形式言語特論 | |||||
言語 | ja | |||||
著者 |
酒井, 正彦
× 酒井, 正彦 |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | ja | |||||
権利情報 | 本資料は、名古屋大学の教員酒井正彦によって作成され、名大の授業Webサイトに掲載された「オートマトン・形式言語特論」(2010)から講義資料のみを登録したものです。 Copyright(C)2010 酒井正彦 | |||||
抄録 | ||||||
内容記述 | オートマトン理論は情報科学の土台ともいえ、コンパイラへの応用やモデル検査アルゴリズムへの応用など、情報処理全般の理論的基礎となっている。本講義では、木言語上のオートマトンを学び、論理との関係や応用について論ずる。 | |||||
言語 | ja | |||||
内容記述タイプ | Abstract | |||||
出版者 | ||||||
言語 | ja | |||||
出版者 | 名古屋大学オープンコースウェア委員会 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_e059 | |||||
タイプ | learning object | |||||
関連情報 | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | URI | |||||
関連識別子 | https://ocw.nagoya-u.jp/courses/0300-オートマトン・形式言語特論-2014/ | |||||
書誌情報 |
発行日 2012-05-08 |
|||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/19534 | |||||
識別子タイプ | HDL |