| 研究課題/領域番号 |
07680363
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
河原 康雄 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)
|
|---|
| 研究分担者 |
大塚 寛 九州大学, 大学院・数理学研究科, 講師 (30203839)
|
|---|
| 研究期間 (年度) |
1995 – 1997
|
| 研究課題ステータス |
完了 (1997年度)
|
| 配分額 *注記 |
2,300千円 (直接経費: 2,300千円)
1997年度: 900千円 (直接経費: 900千円)
1996年度: 700千円 (直接経費: 700千円)
1995年度: 700千円 (直接経費: 700千円)
|
|---|
| キーワード | グラフ変換 / グラフ文法 / 関係計算 / 関系代数 / カテゴリー論 / ファジイ集合 / ファジイ関係 / ファジイグラフ / 関係代数 / ファジィ集合 / ファジィ関係 / ファジィグラフ |
|---|
| 研究概要 |
以下のような研究を行った。
・基礎理論である関係計算のファジイ版である「ファジイ関係代数の公理的定式化(斉次型)」(昨年の成果)を発展させ、論理学者A.Tarski等が示した関係代数の表現定理をカテゴリーにまで拡張し、デデキント圏、ザデェ-圏の表現定理にまで拡張し、証明した。(河原・古澤・森との協同研究)
・「ファジイグラフ」のファジイ関係計算に基づくファジイグラフ変換理論の基礎理論として、ファジイグラフに関する照合理論を提案し、さらに、プルバックグラフ変換のための基礎となるファジイグラフの圏の種々の性質を考察を証明した。(河原・森との協同研究)
・グラフ変換のみならず数学・理論情報科学の基礎理論となる「関係集合論」を提案し、そのグラフ変換理論への応用を検討した。(河原)
・これで本研究は終了するが、その詳細は研究成果報告書(冊子)に述べている。研究代表者として本研究に対して補助を賜ったことに感謝する。
|
