{"created":"2021-03-01T06:24:47.092927+00:00","id":17451,"links":{},"metadata":{"_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":["312:1331:1332"]},"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","filename":"slide1.pdf","filesize":[{"value":"157.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide2.pdf","filesize":[{"value":"104.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide3.pdf","filesize":[{"value":"101.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide4.pdf","filesize":[{"value":"114.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide5.pdf","filesize":[{"value":"116.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide6.pdf","filesize":[{"value":"101.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide7.pdf","filesize":[{"value":"276.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide8.pdf","filesize":[{"value":"241.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide9.pdf","filesize":[{"value":"110.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide10.pdf","filesize":[{"value":"185.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide11.pdf","filesize":[{"value":"115.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide12.pdf","filesize":[{"value":"524.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"slide13.pdf","filesize":[{"value":"223.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"report1.pdf","filesize":[{"value":"158.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"report2.pdf","filesize":[{"value":"167.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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","filename":"report3.pdf","filesize":[{"value":"149.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2014-03-07"},"publish_date":"2014-03-07","publish_status":"0","recid":"17451","relation_version_is_last":true,"title":["オートマトン・形式言語特論"],"weko_creator_id":"17","weko_shared_id":-1},"updated":"2023-12-19T02:31:27.341412+00:00"}