WEKO3
アイテム
{"_buckets": {"deposit": "72fc0840-5ce5-4a0f-85d9-07bf2d244fd7"}, "_deposit": {"created_by": 188, "id": "37910", "owners": [188], "pid": {"revision_id": 0, "type": "depid", "value": "37910"}, "status": "published"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00037910", "sets": []}, "author_link": ["123"], "item_6_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2016", "bibliographicIssueDateType": "Issued"}}]}, "item_6_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Homotopy Type Theory lies at the crossroads of computer science, mathematical logic and homotopy theory. It was found out in the first decade of this century that dependent type theory is no other than the internal language for (abstract) homotopy theory, just as the Mitchell-Benabou language is the internal language for topos theory. It is pleasing to note that the Freudenthal suspension theorem, the Blakers-Massey homotopy excision theorem, Whitehead\u0027s principle for n-types, the van Kampen theorem, and some other famous theorems are given new proofs within homotopy type theory.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_6_description_5": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "数理科学IIIA(春学期)\n数理科学IIIB(秋学期)", "subitem_description_language": "ja", "subitem_description_type": "Other"}]}, "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"}, {"creatorName": "NISHIMURA, Hirokazu", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "123", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "70135614", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000070135614"}, {"nameIdentifier": "0000000478", "nameIdentifierScheme": "筑波大学研究者総覧", "nameIdentifierURI": "http://trios.tsukuba.ac.jp/researcher/0000000478"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-05-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A第1回.pdf", "filesize": [{"value": "980.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 980700.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第1回.pdf"}, "version_id": "1deb7a9b-3b6a-473d-824d-8ac25c520fec"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-05-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "A第2回.pdf", "filesize": [{"value": "2.0 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 2000000.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第2回.pdf"}, "version_id": "aa292d71-be3b-46de-8651-a8195802b003"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-05-12"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "A第3回.pdf", "filesize": [{"value": "291.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 291400.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第3回.pdf"}, "version_id": "2bb223bb-b179-4b33-aa58-6e304df64543"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-05-16"}], "displaytype": "detail", "download_preview_message": "", "file_order": 3, "filename": "A第4回.pdf", "filesize": [{"value": "2.0 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 2000000.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第4回.pdf"}, "version_id": "c1b6ddaa-dad1-4b22-9a67-8de43392912d"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-05-30"}], "displaytype": "detail", "download_preview_message": "", "file_order": 4, "filename": "A第5回.pdf", "filesize": [{"value": "120.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 120700.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第5回.pdf"}, "version_id": "70b2462c-a99a-4e88-bc0d-b4a40b2396a2"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-06-08"}], "displaytype": "detail", "download_preview_message": "", "file_order": 5, "filename": "A第6回.pdf", "filesize": [{"value": "162.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 162100.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第6回.pdf"}, "version_id": "725c107d-5eda-429f-be8c-d015f22f758d"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-06-10"}], "displaytype": "detail", "download_preview_message": "", "file_order": 6, "filename": "A第7回.pdf", "filesize": [{"value": "1.5 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 1500000.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第7回.pdf"}, "version_id": "73d6bba8-9888-47c7-9e8e-aacadf26b4d8"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-06-17"}], "displaytype": "detail", "download_preview_message": "", "file_order": 7, "filename": "A第8回.pdf", "filesize": [{"value": "2.8 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 2800000.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第8回.pdf"}, "version_id": "2053082b-0f86-4491-b120-1aad13c9e526"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-09-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 8, "filename": "A第9回.pdf", "filesize": [{"value": "558.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 558100.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第9回.pdf"}, "version_id": "0f6294e2-2033-4368-a4bd-b3a6557df170"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-09-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 9, "filename": "A第10回.pdf", "filesize": [{"value": "526.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 526900.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第10回.pdf"}, "version_id": "adb5a8be-a97f-47db-a5b5-ea08af796e3c"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-09-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 10, "filename": "A第11回.pdf", "filesize": [{"value": "393.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 393400.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第11回.pdf"}, "version_id": "55d96547-bf45-44bc-b5e5-41c44d5fd288"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-09-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 11, "filename": "A第12回.pdf", "filesize": [{"value": "542.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 542000.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第12回.pdf"}, "version_id": "5d0697aa-65a3-4f49-a197-4d6dde6310ec"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-09-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 12, "filename": "A第13回.pdf", "filesize": [{"value": "474.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 474000.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第13回.pdf"}, "version_id": "12df876d-9741-4a66-91b2-557f8e893293"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-09-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 13, "filename": "A第14回.pdf", "filesize": [{"value": "340.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 340700.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/A第14回.pdf"}, "version_id": "769266ec-9ed4-4724-8233-1f73a95d6714"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-10-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 14, "filename": "B第1回.pdf", "filesize": [{"value": "403.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 403700.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第1回.pdf"}, "version_id": "f930f16e-0cb9-44a6-9865-98a844ab581c"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-10-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 15, "filename": "B第2回.pdf", "filesize": [{"value": "372.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 372100.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第2回.pdf"}, "version_id": "c3965b0e-6504-4872-b9d7-74c6bfe3f386"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-10-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 16, "filename": "B第3回.pdf", "filesize": [{"value": "245.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 245100.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第3回.pdf"}, "version_id": "35a8d4d6-1e94-44bd-82cf-7d7a222f3cc6"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-11-15"}], "displaytype": "detail", "download_preview_message": "", "file_order": 17, "filename": "B第4回.pdf", "filesize": [{"value": "249.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 249900.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第4回.pdf"}, "version_id": "738ba516-ffa2-4677-8f86-27febb60a536"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-11-15"}], "displaytype": "detail", "download_preview_message": "", "file_order": 18, "filename": "B第5回.pdf", "filesize": [{"value": "264.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 264300.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第5回.pdf"}, "version_id": "87d1a660-3e1f-43e6-be87-bdab465f62a5"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-11-15"}], "displaytype": "detail", "download_preview_message": "", "file_order": 19, "filename": "B第6回.pdf", "filesize": [{"value": "130.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 130199.99999999999, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第6回.pdf"}, "version_id": "f71a3dda-86b3-4aa3-99cd-ada1a53d2804"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 20, "filename": "B第7回.pdf", "filesize": [{"value": "402.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 402500.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第7回.pdf"}, "version_id": "98c3ac7a-3b1d-4596-80fa-01deddb91ba9"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 21, "filename": "B第8回.pdf", "filesize": [{"value": "280.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 280300.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第8回.pdf"}, "version_id": "8f210484-e5c1-4310-b126-37f2a9a64baa"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 22, "filename": "B第9回.pdf", "filesize": [{"value": "117.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 117900.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第9回.pdf"}, "version_id": "7d03495a-9844-4b5c-aa64-6c8b77eb7b2a"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 23, "filename": "B第10回.pdf", "filesize": [{"value": "99.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 99700.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第10回.pdf"}, "version_id": "a5873f3c-39e6-4524-97f7-5d63143adf10"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 24, "filename": "B第11回.pdf", "filesize": [{"value": "76.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 76900.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第11回.pdf"}, "version_id": "a1c227c4-415c-4f24-b836-1897ba73ba94"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 25, "filename": "B第12回.pdf", "filesize": [{"value": "127.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 127400.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第12回.pdf"}, "version_id": "f6f67056-5596-4148-b912-e3ccee48121a"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 26, "filename": "B第13回.pdf", "filesize": [{"value": "59.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 59600.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第13回.pdf"}, "version_id": "5d1b0f51-cad2-42c7-86ba-8513fb5d5d29"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-11"}], "displaytype": "detail", "download_preview_message": "", "file_order": 27, "filename": "B第14回.pdf", "filesize": [{"value": "159.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 159900.0, "url": {"objectType": "fulltext", "url": "https://tsukuba.repo.nii.ac.jp/record/37910/files/B第14回.pdf"}, "version_id": "0d3aa131-8537-4d3e-bf3b-15c5f84b0cb1"}]}, "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": "2016年度 数理科学III", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "2016年度 数理科学III", "subitem_title_language": "ja"}, {"subitem_title": "Mathematical Science III", "subitem_title_language": "en"}]}, "item_type_id": "6", "owner": "188", "path": ["478", "2649"], "permalink_uri": "http://hdl.handle.net/2241/00140875", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2016-05-11"}, "publish_date": "2016-05-11", "publish_status": "0", "recid": "37910", "relation": {}, "relation_version_is_last": true, "title": ["2016年度 数理科学III"], "weko_shared_id": -1}
2016年度 数理科学III
http://hdl.handle.net/2241/00140875
http://hdl.handle.net/2241/0014087522a7242e-8c79-40bb-bdf2-b85f07058e0a
Item type | Learning Material(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2016-05-11 | |||||||||||
タイトル | ||||||||||||
言語 | ja | |||||||||||
タイトル | 2016年度 数理科学III | |||||||||||
タイトル | ||||||||||||
言語 | en | |||||||||||
タイトル | Mathematical Science III | |||||||||||
言語 | ||||||||||||
言語 | jpn | |||||||||||
資源タイプ | ||||||||||||
資源 | http://purl.org/coar/resource_type/c_e059 | |||||||||||
タイプ | learning object | |||||||||||
アクセス権 | ||||||||||||
アクセス権 | open access | |||||||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||||
著者 |
西村, 泰一
× 西村, 泰一
WEKO
123
|
|||||||||||
抄録 | ||||||||||||
内容記述タイプ | Abstract | |||||||||||
内容記述 | Homotopy Type Theory lies at the crossroads of computer science, mathematical logic and homotopy theory. It was found out in the first decade of this century that dependent type theory is no other than the internal language for (abstract) homotopy theory, just as the Mitchell-Benabou language is the internal language for topos theory. It is pleasing to note that the Freudenthal suspension theorem, the Blakers-Massey homotopy excision theorem, Whitehead's principle for n-types, the van Kampen theorem, and some other famous theorems are given new proofs within homotopy type theory. | |||||||||||
言語 | en | |||||||||||
内容記述 | ||||||||||||
内容記述タイプ | Other | |||||||||||
内容記述 | 数理科学IIIA(春学期) 数理科学IIIB(秋学期) |
|||||||||||
言語 | ja | |||||||||||
書誌情報 |
発行日 2016 |