2013 Fiscal Year Final Research Report
Content Development for Distance Education in Advanced University Mathematics Using Mizar
| Project/Area Number |
22300285
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Educational technology
|
|---|
| Research Institution | Shinshu University |
|---|
Principal Investigator |
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
WASAKI Katsumi 信州大学, 工学部, 教授 (70271492)
KPAULINE Naomi 信州大学, 工学部, 准教授 (40283238)
YAMAZAKI Hiroshi 信州大学, 工学部, 助教 (00293522)
OKAZAKI Hiroyuki 信州大学, 工学系研究科, 助教 (50432167)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
FUTA Yuichi 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 (50706223)
ARAI Kenichi 東京理科大学, 理工学部, 助教 (60645290)
|
|---|
| Project Period (FY) |
2010-04-01 – 2014-03-31
|
| Keywords | eラーニング / プルーフチェッカ |
|---|
| Research Abstract |
The Mizar system is a software program to mechanically verify the correctness of theorem proofs written in a formal mathematical language. The applicants have helped to drive an international project for pursuing research on the formalization of mathematical theorems using the Mizar system and creating an open archive of the compiled mathematical knowledge. In order to apply the results of this work to education, the members built a module for embedding the Mizar system into an e-learning CMS used in a graduate curriculum and developed contents for training students in logic and advanced university mathematics. The results of this research offer an effective solution to the serious and difficult task of "training logical thinking skills to students" in higher education.
|
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
Author(s)
Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
Organizer
Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
Place of Presentation
Las Vegas, Nevada, USA
Year and Date
20130722-25
-
-
