{"title":"开发一种学习系统,通过支持“倒链”来证明两个三角形的同余","authors":"Ryosuke Onda, Y. Hirai, K. Kaneko","doi":"10.1109/ICT-ISPC.2014.6923204","DOIUrl":null,"url":null,"abstract":"In this study, we have designed and implemented a system that supports learners to use backward chaining to solve proof problems about the congruence of two triangles. In addition, we have carried out an evaluation experiment in a public junior high school to measure the learning effect of the system. As a result of hypothesis tests, for students with good pre-test scores, the effect of the system was verified. On the other hand, significant increase of the number of occurrences of backward chaining of the experimental participants who used the system was not observed.","PeriodicalId":300460,"journal":{"name":"2014 Third ICT International Student Project Conference (ICT-ISPC)","volume":"244 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Development of a learning system for proving the congruence of two triangles by supporting ‘backward chaining’\",\"authors\":\"Ryosuke Onda, Y. Hirai, K. Kaneko\",\"doi\":\"10.1109/ICT-ISPC.2014.6923204\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this study, we have designed and implemented a system that supports learners to use backward chaining to solve proof problems about the congruence of two triangles. In addition, we have carried out an evaluation experiment in a public junior high school to measure the learning effect of the system. As a result of hypothesis tests, for students with good pre-test scores, the effect of the system was verified. On the other hand, significant increase of the number of occurrences of backward chaining of the experimental participants who used the system was not observed.\",\"PeriodicalId\":300460,\"journal\":{\"name\":\"2014 Third ICT International Student Project Conference (ICT-ISPC)\",\"volume\":\"244 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-03-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 Third ICT International Student Project Conference (ICT-ISPC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICT-ISPC.2014.6923204\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 Third ICT International Student Project Conference (ICT-ISPC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICT-ISPC.2014.6923204","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Development of a learning system for proving the congruence of two triangles by supporting ‘backward chaining’
In this study, we have designed and implemented a system that supports learners to use backward chaining to solve proof problems about the congruence of two triangles. In addition, we have carried out an evaluation experiment in a public junior high school to measure the learning effect of the system. As a result of hypothesis tests, for students with good pre-test scores, the effect of the system was verified. On the other hand, significant increase of the number of occurrences of backward chaining of the experimental participants who used the system was not observed.