| 研究課題/領域番号 |
08304017
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
河原 康雄 九州大学, 大学院システム情報科学研究科, 教授 (90091181)
|
|---|
| 研究分担者 |
林 晋 神戸大学, 工学部, 教授 (40156443)
佐藤 雅彦 京都大学, 情報学研究科, 教授 (20027387)
向井 国昭 慶応義塾大学, 環境情報学部, 教授 (80245597)
有川 節夫 九州大学, 大学院システム情報科学研究科, 教授 (40037221)
小林 孝次郎 創価大学, 工学部, 教授 (00016148)
|
|---|
| キーワード | カテゴリー論 / 計算機科学 / 計算論理学 / 関係計算 / 人工知能 / プログラミング意味論 / 計算量理論 / 構成的プログラミング |
|---|
| 研究概要 |
カテゴリー論的計算機数学の総合的観点から,最終年度は,以下のような研究を行った。
(1) 最近、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの基礎・応用について「関係集合論」の観点から並列アルゴリズムのプロセス代数による基礎理論を研究した。(河原、溝口、大塚)
(2) データマイニングの基礎理論を計算学習理論の立場から発展させた。また、人工知能の基礎的概念である初等形式体系の意味論を定義し、初等形式体系における様々な所属性問題に対する学習アルゴリズムを与え、それらの計算量について研究した。(有川)
(3) その他分担者はそれぞれ次のような研究を行った。小林・宮野:計算量理論とそのゲノム解析への応用、寶來・疋田・佐藤・林:カテゴリー論的プログラム理論、上江洲・小野・向井・廣川:カテゴリー論的数学基礎論。
(4) 応用数学合同研究集会(平成10年12月・龍谷大学・瀬田市)を離散系代表者の一人として開催した。また、本研究課題の最終年にあたり、各研究分担者の研究実績報告をとりまとめ研究実績報告書(冊子、約220ページ)を作成した。(河原)
|
