1989 Fiscal Year Annual Research Report
| Project/Area Number |
62302005
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
五十嵐 滋 筑波大学, 電子・情報工学系, 教授 (80027367)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
難波 完爾 東京大学, 教養学部, 教授 (40015524)
伊藤 貴康 東北大学, 工学部, 教授 (80124551)
野崎 昭弘 国際基督教大学, 教養学部, 教授 (90012343)
米田 信夫 東京大学, 理学部情報科学科, 教授 (50080487)
西村 敏男 筑波大学, 数学系, 教授 (00015471)
|
|---|
| Keywords | 計算機の基礎数理 / 計算機応用数理 / プログラミング / プログラムの仕様記述 |
|---|
| Research Abstract |
現在の電算機プログラムの作成に際しては、作成段階における効率化の検討が重要であり、またそのプログラムが目的に合致しかつ効率の良いものであることを保証する手段が必要である。このためには、プログラムに対する要求仕様に始まり、作成、保守に至るまでの全ての段階において、理論的に裏付けられた厳密な方法が望まれ、さらに将来これらを自動化しようとすれば、数理的に系統化された理論の研究とそれに基づく処理系の開発が必須不可欠なものとなる。その総合的研究のために引き続き各研究分担者は有機的に結び付けられた1)基礎数理、2)応用数理、3)プログラミングの3部門に大別されるそれぞれのプログラム諸問題に関して、基礎となる理論の研究課題として1)転換関係の応用数理的な面を追及し、仕様記述言語としての表現を研究すると共に、高階変数の取り扱いについても精込に研究して、同時に従来の行為インタプリタに高階変数を含むような拡張充実を図った。2)論理的プログラム生成系、抽象型モジュ-ルなどの階層的プログラム処理系や、論理型プログラミングなどに対して基礎理論を適用した。3)知的情報処理の研究をさらに進め、そのプログラムの強化を図った。
12月に京都大学数理解析研究所において開催された研究集会において基礎数理関係では軌跡準同型写像の存在定理、プログラムの実時間問題の解析など、プログラミングに関しては高階論理型プログラム言語NUの解釈系、ピアノ自動演奏の表情付けに関する実験に関して、研究発表、意見交換を行った。
また今年度は当該研究課題の最終年度にあたるため、研究成果報告書を作成した。
|
Research Products
(6 results)
-
[Publications] Ken Hirose: "Formal Specification for Large Scale Software" Bull.Centre for Informatics,Waseda Univ.10. (1989)
-
[Publications] Akinori Yonezwa,Takuo Watanabe: "An Introduction to Object-Based Refrective Concurrent Computation" ACM Sigplan Notices. 24(4). 50-54 (1989)
-
[Publications] Tomoyasu Taguchi,H.C.Lai,S.Muroga: "Design algonithm of optimal logic networks by the branch and bound approach" Intern'I.J.computer Aided VLSI Design. 1(2). 203-231 (1989)
-
[Publications] Tomoyasu Taguchi,M.ohta: "Agogics as a metrical rhythm and phrasing" Proc.1st Internl.conp.Music Perception and Cognition. 219-224 (1989)
-
[Publications] Yoshimi Egawa,Hikoe Enomoto: "Sufficient conditions for the existence of k-factors" Recent Studies in Graph Theory,Wishwa Internationl Publications. 96-105 (1989)
-
[Publications] Chiharu Hosono: "On an Unsatisfiability-satisfiability Prover" Publications of R.I.M.S.25(1). 79-103 (1989)
