1998 Fiscal Year Annual Research Report
Project/Area Number |
08304017
|
Research Institution | KYUSHU UNIVERSITY |
Principal Investigator |
河原 康雄 九州大学, 大学院システム情報科学研究科, 教授 (90091181)
|
Co-Investigator(Kenkyū-buntansha) |
林 晋 神戸大学, 工学部, 教授 (40156443)
佐藤 雅彦 京都大学, 情報学研究科, 教授 (20027387)
向井 国昭 慶応義塾大学, 環境情報学部, 教授 (80245597)
有川 節夫 九州大学, 大学院システム情報科学研究科, 教授 (40037221)
小林 孝次郎 創価大学, 工学部, 教授 (00016148)
|
Keywords | カテゴリー論 / 計算機科学 / 計算論理学 / 関係計算 / 人工知能 / プログラミング意味論 / 計算量理論 / 構成的プログラミング |
Research Abstract |
カテゴリー論的計算機数学の総合的観点から,最終年度は,以下のような研究を行った。 (1) 最近、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの基礎・応用について「関係集合論」の観点から並列アルゴリズムのプロセス代数による基礎理論を研究した。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算学習理論の立場から発展させた。また、人工知能の基礎的概念である初等形式体系の意味論を定義し、初等形式体系における様々な所属性問題に対する学習アルゴリズムを与え、それらの計算量について研究した。(有川) (3) その他分担者はそれぞれ次のような研究を行った。小林・宮野:計算量理論とそのゲノム解析への応用、寶來・疋田・佐藤・林:カテゴリー論的プログラム理論、上江洲・小野・向井・廣川:カテゴリー論的数学基礎論。 (4) 応用数学合同研究集会(平成10年12月・龍谷大学・瀬田市)を離散系代表者の一人として開催した。また、本研究課題の最終年にあたり、各研究分担者の研究実績報告をとりまとめ研究実績報告書(冊子、約220ページ)を作成した。(河原)
|
-
[Publications] Yasuo Kawahara: "An algebraic formalization of fuzzy relations" Fuzzy Sets and Systems. 101. 125-135 (1999)
-
[Publications] Kojiro Kobayashi: "On time optimal solutions of the two-dimensional firing squal synchronization problem" Proceedings of MFCS'98 Satellite Workshop on Cellular Automata. 17-26 (1998)
-
[Publications] Masako Takahashi: "A primer on proofs and types" MSJ-Memoirs,Vol.2. 2. 1-44 (1998)
-
[Publications] Teruo Hikita: "Completeness for uniformly delayed circuits,a survey" Acta Applicandae Math.52. 49-61 (1998)
-
[Publications] Hiroakira Ono: "Proof-theoretic methods in nonclassical logic-an introduction" MSJ Memoir 2,Mathematical Society of Japan. 207-254 (1998)
-
[Publications] Setsuo Arikawa: "Inductive inference of real functions" to appear in Theoretical Computer Science. (in press).
-
[Publications] 上江洲忠弘: "記号論理入門" 遊星社, 190 (1999)
-
[Publications] Masako Takahashi: "Theories of Types and Proofs" MSJ-Memoris,Vol.2, 295 (1998)