文献

J-GLOBAL ID：200902268132988360   整理番号：08A1188676

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

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

著者 (4件)： 三輪辰雄 (アルファネット) ,  和崎克己 (信州大 工) ,  遠藤登 (岐阜工高専) ,  師玉康成 (信州大 工)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 108  号： 247(ET2008 39-49)  ページ： 11-16  発行年： 2008年10月10日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 我々は,形式化数学の記述言語であるMizar言語を学習するために,オープンソースのコースマネージメントシステムとして知られるMoodle上で機能するモジュールを開発した。このモジュールは,学生がMizar証明文の書き方を学び数学の能力を涵養することに役立てることができる。本稿では,今回作成したモジュールの機能及び本モジュールを用いたサンプル課題(乗算回路の等価性の証明)の作成および実装について報告する。(著者抄録)

シソーラス用語： *eラーニング ,  学習 ,  *システム記述言語 ,  教育効果 ,  *遠隔教育 ,  実習 ,  問題 ,  乗算器 ,  回路設計 ,  CAI【計算機】 ,  教材 ,  ソフトウェア ,  自動生成 ,  演習問題
準シソーラス用語： 演習 ,  Moodle

分類 (1件)： CAI  (JE09000G)

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

タイトルに関連する用語 (8件)： 形式化 ,  数学 ,  言語 ,  CMS ,  Moodle ,  演習 ,  モジュール ,  開発