| 研究概要 |
数理技術上の一つの問題を示したとき,それに対する必要十分な数学的記述をコンピュータによって編集するシステムの構築を試みた。ハードディスク上に構成された数理技術の体系から,そのテーマの基礎に位置する事項を効率的に構成するものである。数式を頻繋に扱い,印刷された数式が抵抗感なしに受け入れられる必要があり,数式の表示に優れたソフトウェアが要求される。そのために,マッキントッシュの上で超多機能日本語ワープロ“ワルツワード"を用いた。
解説文書は,数行から数十行程度のまとまった単位から構成される。それらは基本単位あるいは項目と呼ぶことにする。基本単位にはラベルが付けられている。ラベルに続いて括弧でくくったラベルの列が示されるが,それらはその単位の理解のために必要とされる基礎的な事項のラベルを指している。直接または間接的に引用されるすべての項目を順序を考慮して並べれば,まとまった解説文書ができあがる。その手続きは,項目のラベルの系列を作ることと,文書からその部分をコピーして一つのものに構成することの二つの作業からなっている。
解説文書の作成に当たっては,基本単位の大きさ,例の与え方,説明の詳しさ,項目の並べ方などにおいて,いろいろな問題点がある。データとしての解説文書はラベルの引用が正確に行われていれば,項目単位で完成されていればよく,項目の置かれる順序は任意である。ユーザーのために出力されるときにラベルの引用に従って順序づけられる。しかし,解説文書の項目の並べ方が任意であるとすれば,作業時点での検索に対する支援システムが必要となる。ここでは検索用文書を別に設けることによって解決を図った。
|
