Co-operative Research on Discrete Computer Mathematics

离散计算机数学合作研究

• 批准号: 03302011
• 负责人: ARIKAWA Setsuo
• 金额: $ 2.43万
• 依托单位: KYUSHU UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Co-operative Research (A)
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 1992
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-03302011/
• 关键词: COMPUTER MATHEMATICS; DISCRETE ALGORITHMS; THEORY OF PROGRAMS; COMPUTABLE LOGICS; COMPUTATIONAL COMPLEXITY; PROGRAM SYNTHESIS; LOGICS AND INFERENCE; 計算可能理論

Iri et al. has developed the methodology of fast automatic differentiations for geometric problems using computation graphs and topological structure principle. Enomoto has affirmatively solved the word problem in Artin semigroups, obtained another simple proof of Nash-Williams formulae. Huzino,Kawahara et al. have showed many properties of finite cellular automata by large-scale informatic experiments Nakajima et al. studied fundations on modelling and implementation of multi-media systems for convenient computer environments. Nishizawa have studied on automata theory and theory of inductive inference. Shinohara,Arikawa et al. have developed automata theory, theory of computational complex- ity, theory of analogy, model learnings and machine learnings. Hirose,Kakei et al. have performed a series of researches on Japanese documents and semantics analysis applying the transformation between Kana and Kanji sentences. Igarashi et al. have proved the decidability of all linear terms with r … More ational co-efficients in Presburger Arithmetic. Sato et al. have studied abstraction mechanisms of symbolic expressions and applied it to lambda-terms. Namba has been continuing his studies on Jacobi polynomials and ellectic curves on finite fields to analyze their mathematical structures. Oshiba has naturally introduced in the theory of automatic theorem proving. Uesu has investigated a general method of axiomatizing fragments. Ono et al. have obtained many results of decision problems and finite model properties for logics without structure rules. Kobayashi has proved Martin-Lof ramdomness of SIGMA^0_-complete programs and astrict existence of malign distributions. Hourai et al. have presented a simple proof of the Church-Rosser property of rambda-calculus using parallel reductions. Kasai et al. have solved many questions on parallel algothsims and complexity.Miyano et al. investigated a lot of parallel algorithms and their applications to a machine discovery from amino acid sequences. Less

Iri等人利用计算图和拓扑结构原理开发了几何问题的快速自动微分方法。Enomoto肯定地解决了Artin半群中的词问题，得到了Nash-Williams公式的另一个简单证明。Huzino，Kawahara等人通过大规模信息学实验展示了有限元胞自动机的许多特性。Nakajima等人研究了方便计算机环境的多媒体系统建模和实现的基础。西泽对自动机理论和归纳推理理论进行了研究。Shinohara，Arikawa等人发展了自动机理论，计算复杂性理论，类比理论，模型学习和机器学习。Hirose，Kakei等人利用假名和汉字的转换对日语文档和语义分析进行了一系列研究。Igarashi等人在Presburger算法中证明了所有具有r…更多国家系数的线性项的可决性。Sato等人研究了符号表达式的抽象机制，并将其应用于lambda术语。Namba一直在继续他对雅可比多项式和有限域上的电曲线的研究，分析它们的数学结构。Oshiba自然地在理论中引入了自动定理证明。Uesu研究了片段公理化的一般方法。Ono等人获得了许多关于无结构规则逻辑的决策问题和有限模型性质的结果。Kobayashi证明了SIGMA^0 -完全规划的Martin-Lof随机性和恶性分布的严格存在性。Hourai等人用平行约简给出了一个简单的证明，证明了微积分的Church-Rosser性质。Kasai等人已经解决了许多关于并行算法和复杂度的问题。Miyano等人研究了许多并行算法及其在氨基酸序列机器发现中的应用。少

项目成果

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)

佐藤正彦：“符号表达的抽象机制。”

S.Arikawa,S.Kuhara,S.Miyano,A.Shinohara and T.Shinohara: "A Learning Algorithm for Elementary Formal Systems and its Experiments on Identification of Transmembrane Domains" Proceedings of the 25th Hawaii International Conference on System Sciences. 1. (19

S.Arikawa、S.Kuhara、S.Miyano、A.Shinohara 和 T.Shinohara：“基本形式系统的学习算法及其跨膜域识别实验”第 25 届夏威夷国际系统科学会议论文集。

H.Ono: "Algebraic aspect of logics without structural rules" Contemporary, Mathematics 131(Part 3), American Mathematical Society. 601-621 (1992)

H.Ono：“没有结构规则的逻辑的代数方面”当代，数学 131（第 3 部分），美国数学会。

有川 節夫: "30年後の情報社会" 情報処理. 32. (1991)

Setsuo Arikawa：“信息社会30年”信息处理。（1991）

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

Shoichi Noguchi、Kazuo Ushijima、Hikoe Enomoto、Izumi Kimura、Nobumasa Takahashi、Nobuki Tokura、Masayuki Morohashi、Mario Nakamori：“改善大学信息相关专业教育的建议”信息处理。 32. 1079-1092 (1991)