Co-operative research on theoretical foundations of computer programs

计算机程序理论基础合作研究

• 批准号: 05302011
• 负责人: TSUJI Takashi
• 金额: $ 7.17万
• 依托单位: Chiba University (1995)University of Tsukuba (1993-1994)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Co-operative Research (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 1995
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05302011/
• 关键词: NU; logic; theory of programs; programming; graph theory; artificial inteligence; music information processing; ν-転換; 時制算術; プログラム検証; 人工知能

Owing to each of research fellows, good research results are established on subjects of this research project. Some of them are listed in the following.1.Logic : a formal derivation of the decidability of the theory SA,extending intuitionistic linear logic, the finite model property for BCK and BCIW,algebraic semantics for predicate logic, decidability and finite model property of substructural logics, a new formalization of Feferman's system, natural proofs in automated proving, validity verification of knowledge predicats.2.Theory of programs : locomorphism analytical equivalence theory, analysis of a real time problem in a software/hardware system in two ways using nu-conversion and by tense arithmetic, literal dependence net in concurrent logic programming environment, a typed lambda-calculus of proving-by-example, a transformation method for dynamic-sized tabulation, programming by example.3.Programming : biding time analysis for data type specialization, programming techniques for effective use of pipe-line and cache, efficiency of computing determinants by a fraction-free processor.4.Graph theory : graph decomposition with prescribed vertices, twist number of complete bipartite praphs.5.Artificial inteligence : a mathematical theory of machine discovery from facs, formalization of planar graphs, analysis methods and tools of expression in music performances.

由于每个研究研究员，因此在该研究项目的主题上建立了良好的研究结果。其中一些在以下内容中列出。 。类型专业化，用于有效使用管线和缓存的编程技术，通过无分数处理器计算决定因素的效率。4。graph理论：带有处方的顶点的图形分解，完整的双分配器的扭曲数量。5。人工inteligence：frentagrical Inteligence：从面孔，表现出表达式和表达音乐和工具的机器发现的数学理论。

项目成果

Masami Hagiya and Tomoki Shiratori: "Programming by Example in Computing-as-Editing Paradigm" Proceedings of the 11th International IEEE Symposium. 275-283 (1995)

Masami Hagiya 和 Tomoki Shiratori：“计算作为编辑范式中的示例编程”第 11 届国际 IEEE 研讨会论文集。

Igarashi,S.,Mizutani,T.,Tsuji,T.and Hosono,C.: "On locomorphism in analytical equivalence theory" Logic,Language and Computation,Lecture notes in computer science. 792. 173-187 (1994)

Igarashi,S.、Mizutani,T.、Tsuji,T. 和 Hosono,C.：“论分析等价理论中的同态”逻辑、语言与计算、计算机科学讲义。

木下孝,牧野潔夫,三好和徳: "Fraction-freeによる行列式の計算効率" 数理科学講究録. 920. 62-73 (1995)

Takashi Kinoshita、Kiyoshio Makino、Kazunori Miyoshi：“无分数行列式的计算效率”数学科学 Kokyuroku。 920. 62-73 (1995)

一松 信: "基礎微分積分学入門" 近代科学社, (1995)

Makoto Ichimatsu：“基本微分和积分导论”Kindai Kagakusha，（1995）

Igarashi,S.: "Experiments on Computerized Piano Accompaniment" Proceedings of International Computer Music Conference. 415-417 (1993)

Igarashi,S.：“计算机钢琴伴奏实验”国际计算机音乐会议论文集。