Development of Mathematical Technology Database

Research Project

Project/Area Number	04451135
Research Category	Grant-in-Aid for General Scientific Research (B)
Allocation Type	Single-year Grants
Research Field	科学教育(含教育工学)
Research Institution	Tokyo Gakugei University
Principal Investigator	SHIMANUKI Atsushi Tokyo Gakugei University, Facalty of Education, Professor, 教育学部, 教授 (30004328)
Co-Investigator(Kenkyū-buntansha)	SHINDO Shigeru Tokyo Gakugei University, Facalty of Education, Lecturer, 教育学部, 講師 (90134767) YOKOYAMA Setsuo Tokyo Gakugei University, Facalty of Education, Associate Professor, 教育学部, 助教授 (20090532)
Project Period (FY)	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 multi-function Japanese word-processor 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.