Art

J-GLOBAL ID：200902268132988360   Reference number：08A1188676

A Development of CMS/Moodle Assignment Module for Interactive Mathematical Exercises by using Mizar Proof Checking System in Formalized Mathematics.

形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発

Author (4)： MIWA TATSUO (アルファネット) ,  WASAKI KATSUMI (信州大 工) ,  ENDO NOBORU (岐阜工高専) ,  SHIDAMA YASUNARI (信州大 工)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 108  Issue： 247(ET2008 39-49)  Page： 11-16  Publication year： Oct. 10, 2008 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *e-Learning ,  Learning ,  *system description language ,  teaching effectiveness ,  *remote education ,  experience (education) ,  problem ,  multiplier ,  circuit design ,  CAI ,  teaching material ,  software ,  automatic generation ,  exercise
Semi thesaurus term： practice ,  Moodle

JST classification (1)： CAI  (JE09000G)

Reference (9)：

• 独立行政法人メディア教育作成センター編. 全国高等教育委機関におけるIT利用実態調査. http://www.nime.ac.jp/~itsurvey/pub/it-use/graph/it-use_1999-2004/04.html#05. 1999
• 井上弘樹. Moodle とは. Moodle 入門. 2006, 9-10
• DOUGIAMAS, M. Moodle : Using Learning Communities to Create an Open Source Course Management System. Proc. 2003 World Conf. on Educational Multimedia, Hypermedia and Telecommunications, Chesapeake, USA, Jun. 2003, 171-178
• Mizar Project. Mizar Proof Checking System. http://mizar.org/
• WALLACE, C. S. A Suggestion for a Fast Multiplier. IEEE Trans. Elect. Comput. 1964, EC-13, 1, 14-17

Terms in the title (8)： 形式化 ,  数学 ,  言語 ,  CMS ,  Moodle ,  演習 ,  モジュール ,  開発