文献

J-GLOBAL ID：200902245363225971   整理番号：09A0413218

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

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

著者 (7件)： 三輪辰雄 (アルファネット) ,  小林英子 (信州大 工) ,  小林亮太 (信州大 工) ,  岡崎裕之 (信州大 工) ,  遠藤登 (岐阜工高専) ,  和崎克己 (信州大 工) ,  師玉康成 (信州大 工)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 108  号： 470(ET2008 93-131)  ページ： 211-215  発行年： 2009年02月28日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 我々は,形式化数学の記述言語であるMizar言語を利用し数理論的思考を涵養する為のWeb用教材として,Moodle上で機能するプルーフチェックモジュールを開発し信州大学大学院のWeb用学習教材の一部として試行している。このモジュールは,教員ユーザが問題を作成し学習者がmizar言語を用いて証明文を記述するものであるが,証明文を自由に記述するためにはmizar言語を体得する必要があり初学者にとっては敷居が高いという問題点があった。そこで,我々はプルーフチェックモジュールにmizar言語の入力補助機能および証明に用いられる用語解説をポップアップにて表示させる機能を付加することで,mizar初学者がもつmizar言語への抵抗感の軽減を試みた。本稿では,改良したモジュールを用いたサンプル課題(整数論)の作成および実装について報告する。(著者抄録)

シソーラス用語： *eラーニング ,  CAI【計算機】 ,  CAL【学習】 ,  CMI【計算機】 ,  教材 ,  モジュール ,  学校教育 ,  大学院 ,  カリキュラム ,  *整数論 ,  プログラミング言語 ,  定理証明 ,  Web【情報システム】
準シソーラス用語： *Web教材 ,  mizar ,  数学教育

分類 (2件)： CAI  (JE09000G) ,  計算機網  (JC03000K)

引用文献 (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/

タイトルに関連する用語 (5件)： Moodle ,  演習 ,  モジュール ,  Web ,  教育手法