{"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":"\u66f8\u8a8c\u60c5\u5831","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":"\u8cc7\u6e90\u30bf\u30a4\u30d7\uff08\u30b3\u30f3\u30c6\u30f3\u30c4\u306e\u7a2e\u985e\uff09","attribute_value_mlt":[{"subitem_description":"Article","subitem_description_type":"Other"}]},"item_13_description_5":{"attribute_name":"\u5f15\u7528","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":"\u4fe1\u5dde\u5927\u5b66\u7814\u7a76\u8005\u7dcf\u89a7\u3078\u306e\u30ea\u30f3\u30af","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":"\u51fa\u7248\u8005","attribute_value_mlt":[{"subitem_publisher":"PME"}]},"item_1627890897769":{"attribute_name":"\u51fa\u7248\u30bf\u30a4\u30d7","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"\u8457\u8005","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Miyazaki, Mikio"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Fujita, Taro"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Jones, Keith"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"\u30d5\u30a1\u30a4\u30eb\u60c5\u5831","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":"\u8a00\u8a9e","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"\u8cc7\u6e90\u30bf\u30a4\u30d7","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":"\u30bf\u30a4\u30c8\u30eb","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":["150/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":"2021-08-03T00:47:06.954817+00:00"}