{"created":"2021-03-01T06:21:22.337093+00:00","id":18317,"links":{},"metadata":{"_buckets":{"deposit":"2777dd75-9f94-4e47-b995-208dcb848c81"},"_deposit":{"id":"18317","owners":[],"pid":{"revision_id":0,"type":"depid","value":"18317"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:00018317","sets":["1221:1308:1770"]},"author_link":["51049"],"item_11_alternative_title_1":{"attribute_name":"その他(別言語等)のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Content Development for Distance Education in Advanced University Mathematics Using Mizar"}]},"item_11_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2014","bibliographicIssueDateType":"Issued"}}]},"item_11_description_19":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究種目:基盤研究(B)","subitem_description_type":"Other"},{"subitem_description":"研究期間:2010~2013","subitem_description_type":"Other"},{"subitem_description":"課題番号:22300285","subitem_description_type":"Other"},{"subitem_description":"研究代表者:師玉 康成","subitem_description_type":"Other"},{"subitem_description":"研究者番号:20226129","subitem_description_type":"Other"}]},"item_11_description_30":{"attribute_name":"資源タイプ(コンテンツの種類)","attribute_value_mlt":[{"subitem_description":"Other","subitem_description_type":"Other"}]},"item_11_description_5":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"2010~2013年度科学研究費助成事業(基盤研究(B))研究成果報告書 課題番号:22300285 研究代表者:師玉 康成","subitem_description_type":"Other"}]},"item_11_link_3":{"attribute_name":"信州大学研究者総覧へのリンク","attribute_value_mlt":[{"subitem_link_text":"師玉, 康成","subitem_link_url":"http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html"}]},"item_1627890728808":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"師玉, 康成"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-08-25"}],"displaytype":"detail","filename":"22300285seika.pdf","filesize":[{"value":"160.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"22300285seika.pdf","url":"https://soar-ir.repo.nii.ac.jp/record/18317/files/22300285seika.pdf"},"version_id":"fe910e26-e63b-48b0-a17d-9bf4240222cb"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"research report","resourceuri":"http://purl.org/coar/resource_type/c_18ws"}]},"item_title":"MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発","subitem_title_language":"ja"}]},"item_type_id":"11","owner":"1","path":["1770"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2016-08-25"},"publish_date":"2016-08-25","publish_status":"0","recid":"18317","relation_version_is_last":true,"title":["MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-14T04:13:32.324130+00:00"}