| 研究課題/領域番号 |
04640253
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学一般
|
|---|
| 研究機関 | 東海大学 |
|---|
研究代表者 |
杉田 公生 東海大学, 理学部, 教授 (60056083)
|
|---|
| 研究分担者 |
伊藤 達夫 東海大学, 理学部, 助教授 (20151516)
和泉澤 正隆 東海大学, 理学部, 教授 (50108445)
永瀬 輝男 東海大学, 理学部, 教授 (90164425)
内村 桂輔 東海大学, 理学部, 助教授 (20092835)
岩田 茂樹 東海大学, 情報処理研究教育施設, 教授 (80102028)
|
|---|
| 研究期間 (年度) |
1992
|
| 研究課題ステータス |
完了 (1992年度)
|
| 配分額 *注記 |
2,000千円 (直接経費: 2,000千円)
1992年度: 2,000千円 (直接経費: 2,000千円)
|
|---|
| キーワード | ELCグラフ文法 / プログラム図式 / 仕様書様式 / Map生成系 / 計算の複雑さ / 文脈自由文法 / Visual Language |
|---|
| 研究概要 |
本研究ではMapと云われる族のグラフを形式的に扱うために文字列の形式文法の類似の理論であるグラフ文法を利用することにして、その性質を調べる。研究の段階を追って説明すると次のように進めることができる。(1)Mapの特徴を調べクラスとしての定義を定める。Mapは平面グラフであり応用範囲は広いが、このままでは族として小さく特徴も少ない。それで高次元への拡張を考慮することにする。その際はもはやMapというより胞体と云う言葉が適切である。(2)(1)で定めた族に対してこれに適した生成グラフ文法の族を求める。平面のMapの場合はELC文法とL-システムを併用したものが適切であることが分るが、高次元胞体の場合はこのままでは適切とは云えない。(3)次に幾つかの実験を試みる。公理(開始グラフ)を長方形として(2)で定めた文法の詳細な性質を調べる。例えば、ラベル数と生成されるグラフの同値類の関係などを調べる。平面のMapの場合はある程度の性質が分って来たが、高次元胞体の場合はこのままでは記述法が複雑になりすぎて、よい文法とは云えない。胞体の場合を配慮して文法の定義からやり直す必要がありそうである。(4) Mapの構文解析法とその計算の複雑さの研究もこの種の研究には重要なテーマである。(5)更にこの理論を適用してコンピュータで実際にMapを生成する実験をして実用化を試みる。
今年度の段階では平面のMapについては(3)の段階まで実験を続けた。これを数学的に定式化するのが次の課題である。(5)についてはある程度定式化できた所で実験可能であるが(4)(5)とも今後の研究を続ける予定である。
|
