Development of Mathematical Technology Database
Project/Area Number  04451135 
Research Category 
GrantinAid for Scientific Research (B).

Research Field 
科学教育(含教育工学)

Research Institution  Tokyo Gakugei University 
Principal Investigator 
SHIMANUKI Atsushi Tokyo Gakugei University, Facalty of Education, Professor, 教育学部, 教授 (30004328)

CoInvestigator(Kenkyūbuntansha) 
SHINDO Shigeru Tokyo Gakugei University, Facalty of Education, Lecturer, 教育学部, 講師 (90134767)
YOKOYAMA Setsuo Tokyo Gakugei University, Facalty of Education, Associate Professor, 教育学部, 助教授 (20090532)

Project Fiscal Year 
1992 – 1993

Project Status 
Completed(Fiscal Year 1993)

Budget Amount *help 
¥4,700,000 (Direct Cost : ¥4,700,000)
Fiscal Year 1993 : ¥800,000 (Direct Cost : ¥800,000)
Fiscal Year 1992 : ¥3,900,000 (Direct Cost : ¥3,900,000)

Keywords  Mathematical Technology / Database / Learning System / 数理技術 / データベース / 学習システム 
Research Abstract 
We tried to make a computer editorial system for the mathematical explanation necessary and sufficient for a given problem relating to the mathematical technology. Using this computer system, fundamental items of the theme will be effeciently organized from a system of the mathematical technology constructed on a hard disk. Mathematical formula are freequently treated in this work and printed formula should be accepted without resistance. Therefore, we require a software superior for the mathematical expressions. For this reason, we used a multifunction Japanese wordprocessor named "Waltz Word" for Macintosh. Our explanatory documents are consists of several units which also consist of several lines. We call these units as fundamental units or items. Each fndamental unit is labelled. In teh explanatory doucments, folowing the label, a series of labels with braces will be appeared, which indicate the labels of fundamental items required for the understanding of the unit. When we arrange the items directly or indirectly cited, by considering the order, an explanatory document will be made. This procedure consists of two works ; making a series of labels of items and arranging the copy of the contents of the labelled part in the document. We point out several problems in making the explanatory document, which are how is the size of the fundamental unit, how to give the examples, how detail the explanation and how to order the items. In the case where the explanatory documents is treated as data, if labelsare exactly cited, the document can be consists of the unit items whose order appear arbitrarily. When the users output the explanatory document, theorder will be determined due to the order of the cite of the labels. However, if the order of the explanation document is arbitrary, an aid system is needed for the input. In the present work, we solved this problem by making a searching document.

Report
(4results)
Research Output
(3results)