1996 Fiscal Year Annual Research Report
| Project/Area Number |
08304017
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Section | 総合 |
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
河原 康雄 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
林 晋 神戸大学, 工学部, 教授 (40156443)
佐藤 雅彦 京都大学, 工学部, 教授 (20027387)
向井 国明 慶応義塾大学, 環境情報学部, 教授 (80245597)
有川 節夫 九州大学, 大学院・システム情報科学研究科, 教授 (40037221)
小林 孝次郎 東京工業大学, 情報理工学研究科, 教授 (00016148)
|
|---|
| Keywords | カテゴリー論 / 計算機科学 / 計算論理学 / 関係計算 / 人工知能 / プログラミング意味論 / 計算量理論 / 構成的プログラミング |
|---|
| Research Abstract |
カテゴリー論的計算機数学の総合的観点から,本年度は,以下のような研究を行った。
・最近、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの基礎・応用について「関係集合論」からの観点から考察し、関係集合論の有効性を確認した。(河原、溝口、大塚)
「ファジィグラフ」のファジィ関係計算に基づくファジィグラフ変換理論の基礎理論として、ファジィグラフに関する照合理論を提案し、さらに、プルバックグラフ変換のための基礎として、ファジィグラフの圈におけるプルバックの存在を証明した。(河原、森)
・人工知能理論の基礎的概念である初等形式体系に対して、新たに型の理論を展開し、その意味論を定義し、初等形式体系の証明図には、標準的な証明図が存在することを示した。(有川)
・その他分担者はそれぞれ次のような研究を行った。小林・宮野:計算量理論、寶來・疋田・佐藤・林:カテゴリー論的プログラム理論、上江州・小野・廣川:カテゴリー論的数学基礎論。
研究会等への寄与としては、応用数学合同研究集会(平成8年12月・龍谷大学・瀬田市)において離散数学系代表者の一人として、カテゴリー論的計算機数学の講演の推挙とその取りまとめを行った。(河原)
|
-
[Publications] Y.Kawahara: "Period lengths of cellular automata cam-90 with memory" Journal of Mathematical Physics. 38. 255-266 (1997)
-
[Publications] Y.Kawahara: "An algebraic formalization of fuzzy relations" To appear in International Journal for Fuzzy Sets and Systems.
-
[Publications] M.Takahashi: "Normal proofs and their grammar" Information and Computation. 125. 144-153 (1996)
-
[Publications] T.Hikita: "Completeness for uniformly delayed circuits,a survey" To appear in Proc.of Conf.on Algebra and Combinatorics. (1997)
-
[Publications] S.Hirokawa: "A reduction rule for the Peirce formula" Studia Logica. 56. 419-426 (1996)
-
[Publications] K.Kiwata: "Introducing types into elementary formal systems" Bull.Inform.Cybernet.28. 79-89 (1996)
