{"created":"2021-03-01T06:21:45.195459+00:00","id":18686,"links":{},"metadata":{"_buckets":{"deposit":"c9185078-8b16-4fb1-af58-685e69ce5bad"},"_deposit":{"id":"18686","owners":[],"pid":{"revision_id":0,"type":"depid","value":"18686"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:00018686","sets":["150:151"]},"author_link":["103077","103078","103079"],"item_13_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2014","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"232","bibliographicPageStart":"225","bibliographicVolumeNumber":"4","bibliographic_titles":[{"bibliographic_title":"Proceedings of the Joint Meeting of PME 38 and PME-NA 36"}]}]},"item_13_description_30":{"attribute_name":"資源タイプ（コンテンツの種類）","attribute_value_mlt":[{"subitem_description":"Article","subitem_description_type":"Other"}]},"item_13_description_5":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"Liljedahl, P., Oesterle, S., Nicol, C., & Allan, D. (Eds.). (2014). Proceedings of the Joint Meeting of PME 38 and PME-NA 36 (Vol. 4):225-232. Vancouver, Canada: PME.","subitem_description_type":"Other"}]},"item_13_link_3":{"attribute_name":"信州大学研究者総覧へのリンク","attribute_value_mlt":[{"subitem_link_text":"Miyazaki, Mikio","subitem_link_url":"http://soar-rd.shinshu-u.ac.jp/profile/ja.yeLUZCLh.html"}]},"item_13_publisher_4":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"PME"}]},"item_1627890897769":{"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":"Miyazaki,  Mikio"}],"nameIdentifiers":[{"nameIdentifier":"103077","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Fujita,  Taro"}],"nameIdentifiers":[{"nameIdentifier":"103078","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Jones,  Keith"}],"nameIdentifiers":[{"nameIdentifier":"103079","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-02-13"}],"displaytype":"detail","filename":"PMENA_36_PME_38_2014_Proceedings_Vol4_225-232.pdf","filesize":[{"value":"724.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"PMENA_36_PME_38_2014_Proceedings_Vol4_225-232.pdf","url":"https://soar-ir.repo.nii.ac.jp/record/18686/files/PMENA_36_PME_38_2014_Proceedings_Vol4_225-232.pdf"},"version_id":"00f2275d-4d82-4e65-99b4-fd5c35fea0b2"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"conference paper","resourceuri":"http://purl.org/coar/resource_type/c_5794"}]},"item_title":"Functions of Open Flow-chart Proving in introductory lessons of formal proving","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Functions of Open Flow-chart Proving in introductory lessons of formal proving","subitem_title_language":"en"}]},"item_type_id":"13","owner":"1","path":["151"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2017-02-17"},"publish_date":"2017-02-17","publish_status":"0","recid":"18686","relation_version_is_last":true,"title":["Functions of Open Flow-chart Proving in introductory lessons of formal proving"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-14T04:41:04.332858+00:00"}