Art

J-GLOBAL ID：200902245363225971   Reference number：09A0413218

The Method of Mathmatical Exercises on the web by using Assignment Module of Moodle.

Moodle用数理演習モジュールを用いたWeb上での数理教育手法

Author (7)： MIWA TATSUO (アルファネット) ,  KOBAYASHI HIDEKO (信州大 工) ,  KOBAYASHI RYOTA (信州大 工) ,  OKAZAKI HIROYUKI (信州大 工) ,  ENDO NOBORU (岐阜工高専) ,  WASAKI KATSUMI (信州大 工) ,  SHIDAMA YASUNARI (信州大 工)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 108  Issue： 470(ET2008 93-131)  Page： 211-215  Publication year： Feb. 28, 2009 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *e-Learning ,  CAI ,  CAL ,  CMI ,  teaching material ,  module ,  school education ,  graduate school ,  curriculum ,  *number theory ,  programming language ,  theorem proving ,  Web (information system)
Semi thesaurus term： *Web teaching material ,  mizar ,  mathematical education

JST classification (2)： CAI  (JE09000G) ,  Computer networks  (JC03000K)

Reference (5)：

• 不破泰. 信州大学インターネット大学院の現状と将来計画. Journal of Multimedia Aided Education Research. 2004, 1, 11-18
• 信州大学大学院 情報工学専攻. Mizar CAI Collection on Moodle. http://cai2.cs.shinshu-u.ac.jp/mizar/moodle/. 2008
• 三輪辰雄. 形式化数学言語システム Mizar を用いたCMS/Moodle の数理演習モジュール開発. 信学技報. 2008, 108, 247, 11-16
• 中村八束. Mizar 講義録. http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/Mizar4/index-j.html
• SHOUP, V. A Computational Introduction to Number Theory and Algebra. http://www.shoup.net/ntb/

Terms in the title (5)： Moodle ,  演習 ,  モジュール ,  Web ,  教育手法