{"created":"2021-03-01T07:17:03.548433+00:00","id":37910,"links":{},"metadata":{"_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":["117:478","3:2648:2649"]},"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's 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":[{},{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-05-11"}],"displaytype":"detail","filename":"A第1回.pdf","filesize":[{"value":"980.7 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第2回.pdf","filesize":[{"value":"2.0 MB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第3回.pdf","filesize":[{"value":"291.4 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第4回.pdf","filesize":[{"value":"2.0 MB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第5回.pdf","filesize":[{"value":"120.7 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第6回.pdf","filesize":[{"value":"162.1 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第7回.pdf","filesize":[{"value":"1.5 MB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第8回.pdf","filesize":[{"value":"2.8 MB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第9回.pdf","filesize":[{"value":"558.1 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第10回.pdf","filesize":[{"value":"526.9 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第11回.pdf","filesize":[{"value":"393.4 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第12回.pdf","filesize":[{"value":"542.0 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第13回.pdf","filesize":[{"value":"474.0 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"A第14回.pdf","filesize":[{"value":"340.7 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第1回.pdf","filesize":[{"value":"403.7 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第2回.pdf","filesize":[{"value":"372.1 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第3回.pdf","filesize":[{"value":"245.1 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第4回.pdf","filesize":[{"value":"249.9 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第5回.pdf","filesize":[{"value":"264.3 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第6回.pdf","filesize":[{"value":"130.2 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第7回.pdf","filesize":[{"value":"402.5 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第8回.pdf","filesize":[{"value":"280.3 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第9回.pdf","filesize":[{"value":"117.9 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第10回.pdf","filesize":[{"value":"99.7 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第11回.pdf","filesize":[{"value":"76.9 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第12回.pdf","filesize":[{"value":"127.4 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第13回.pdf","filesize":[{"value":"59.6 kB"}],"format":"application/pdf","mimetype":"application/pdf","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","filename":"B第14回.pdf","filesize":[{"value":"159.9 kB"}],"format":"application/pdf","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2016-05-11"},"publish_date":"2016-05-11","publish_status":"0","recid":"37910","relation_version_is_last":true,"title":["2016年度 数理科学III"],"weko_creator_id":"188","weko_shared_id":-1},"updated":"2024-03-22T02:40:43.089422+00:00"}