1992 年度実績報告書

離散的計算機数学の総合的研究

研究課題

研究課題/領域番号	03302011
研究機関	九州大学
研究代表者	有川節夫九州大学, 理学部, 教授 (40037221)
研究分担者	佐藤雅彦東北大学, 電子通信研究所, 教授 (20027387) 榎本彦衛慶応大学, 理工学部, 教授 (00011669) 河原康雄九州大学, 理学部, 教授 (90091181) 小林孝次郎東京工業大学, 理学部, 教授 (00016148) 広瀬健早稲田大学, 理工学部, 教授 (60063632)
キーワード	計算機数学 / 散的アルゴリズム論 / プログラム理論 / 計算可能理論 / 計算量理論 / プログラム合成論 / 論理と推論
研究概要	伊理らは、計算グラフを利用した高速自動微分法を発展させ、丸め誤差に強い幾何学的問題にふさわしい手法を提案し、地理情報処理の問題への応用を開発した。榎本は、アルチン半群に関する語の問題を肯定的に解決し、グラフのNash-Williams公式の簡単な証明を与えた。藤野・河原らは、有限セル構造オートマトンについて、コンピュータによる情報実験を行い、その挙動の多くの性質を明らかにした。西沢は、オートマトン理論からの帰納推論について研究した。中島らは、ワークステーション上でのアプリケーション開発支援環境としてマルチメディアシステムの基礎研究を行った。篠原・有川らは、計算理論・類推の理論を発展され、学習と発見の理論に関する根底的な考察を行った。広瀬・筧らは、日本語プログラミング環境の構築のための基礎として、仮名漢字変換を利用して日本語文書の処理と意味解析に関して一連の研究を展開した。五十嵐らは、Presburger算術における、有理係数の一次項に関する真偽の決定可能性を証明した。佐藤は、形式的表現の抽象化について研究し、その結果をλ-項に応用した。難波は、有限体上のJacobi多項式や楕円曲線に関する研究を継続し、計算機による興味深いデータを提示した。大芝は、自動証明において、三段論法を自然な形で導入することを行った。上江州は、公理化の一般的方法を研究した。小野らは、構造規則を欠いた論理のセマンティクス、有限モデル性などの研究を展開し、多くの結果を得た。小林らは、Σ^o_n-完全なプログラムのMartin-Lofランダム性を示すなど、malignな分布の研究を行った。宝来らは、λ-計算に関して、並列リダクションによる簡明なChurch-Rosserの証明を与えた。笠井らは、言語理論の観点から並列アルゴリズム、計算量の種々の性質を解明した。宮野らは、計算量理論及び並列アルゴリズムの理論を基礎として、学習理論の研究を行い、アミノ酸配列などのデータからの知識獲得システムを設計した。

研究成果

(8件)

すべてその他

すべて文献書誌 (8件)

[文献書誌] 有川節夫: "30年後の情報社会" 情報処理. 32. (1991)
[文献書誌] Kouichi KUBOTA,and Masao IRI: "Estimates of rounding errors with fast automatic differentiation and interval analysis." Journal of Information Processing. 14. 508-515 (1991)
[文献書誌] K.Kobayashi: "On malign input distributions for algorithms." in ¨Algorithms and Computation¨(ed.by T.Ibaraki et al),Lecture Notes in Computer Science. 650. 239-248 (1992)
[文献書誌] 野口正一,牛島和夫,榎本彦衛,木村泉,高橋延匡,都倉信樹,諸橋正幸,中森眞理雄: "大学における情報系専門教育の改善への提言" 情報処理. 32. 1079-1092 (1991)
[文献書誌] Y.Kawahara,I.King ,and M.A.Arbib: "An actor formalization for blackboard schema systems." In S.Ohsuga,H.Kangassalo,J.Jaakkol,K.Hori and N.Yonezaki(Eds.),Information Modelling and Knowledge Bases:Foundations,Theory,and Applications. 467-479 (1992)
[文献書誌] Masahiko Sato: "An Abstraction Mechanism for Symbolic Expressions." V.Lifschitz ed.,Artificial Intelligence and Mathematical Theory of Computation(Papers in Honor of John McCarthy),Academic Press. 381-391 (1991)
[文献書誌] 伊理正夫(監修),腰塚武志(監修),浅野考夫,今井浩,岡部篤行,鈴木篤夫,中森真理雄,室田一雄,四茂野英彦,杉原厚吉: "計算幾何学と地理情報処理" 共立出版, (1993)
[文献書誌] 宮野悟: "並列アルゴリズムの理論" 近代科学社, (1993)

1992 年度 実績報告書

離散的計算機数学の総合的研究

研究代表者

有川 節夫 九州大学, 理学部, 教授 (40037221)

研究成果

[文献書誌] 有川 節夫: "30年後の情報社会" 情報処理. 32. (1991)

[文献書誌] Kouichi KUBOTA,and Masao IRI: "Estimates of rounding errors with fast automatic differentiation and interval analysis." Journal of Information Processing. 14. 508-515 (1991)

[文献書誌] K.Kobayashi: "On malign input distributions for algorithms." in ¨Algorithms and Computation¨(ed.by T.Ibaraki et al),Lecture Notes in Computer Science. 650. 239-248 (1992)

[文献書誌] 野口 正一,牛島 和夫,榎本 彦衛,木村 泉,高橋 延匡,都倉 信樹,諸橋 正幸,中森 眞理雄: "大学における情報系専門教育の改善への提言" 情報処理. 32. 1079-1092 (1991)

[文献書誌] Y.Kawahara,I.King ,and M.A.Arbib: "An actor formalization for blackboard schema systems." In S.Ohsuga,H.Kangassalo,J.Jaakkol,K.Hori and N.Yonezaki(Eds.),Information Modelling and Knowledge Bases:Foundations,Theory,and Applications. 467-479 (1992)

[文献書誌] Masahiko Sato: "An Abstraction Mechanism for Symbolic Expressions." V.Lifschitz ed.,Artificial Intelligence and Mathematical Theory of Computation(Papers in Honor of John McCarthy),Academic Press. 381-391 (1991)

[文献書誌] 伊理 正夫(監修),腰塚 武志(監修),浅野 考夫,今井 浩,岡部 篤行,鈴木 篤夫,中森 真理雄,室田 一雄,四茂野 英彦,杉原 厚吉: "計算幾何学と地理情報処理" 共立出版, (1993)

[文献書誌] 宮野 悟: "並列アルゴリズムの理論" 近代科学社, (1993)

1992 年度実績報告書

有川節夫九州大学, 理学部, 教授 (40037221)

[文献書誌] 有川節夫: "30年後の情報社会" 情報処理. 32. (1991)

[文献書誌] 野口正一,牛島和夫,榎本彦衛,木村泉,高橋延匡,都倉信樹,諸橋正幸,中森眞理雄: "大学における情報系専門教育の改善への提言" 情報処理. 32. 1079-1092 (1991)

[文献書誌] 伊理正夫(監修),腰塚武志(監修),浅野考夫,今井浩,岡部篤行,鈴木篤夫,中森真理雄,室田一雄,四茂野英彦,杉原厚吉: "計算幾何学と地理情報処理" 共立出版, (1993)

[文献書誌] 宮野悟: "並列アルゴリズムの理論" 近代科学社, (1993)