研究課題/領域番号 |
60420035
|
研究種目 |
一般研究(A)
|
配分区分 | 補助金 |
研究分野 |
情報工学
|
研究機関 | 東北大学 |
研究代表者 |
伊藤 貴康 東北大学, 工学部情報工学科, 教授 (80124551)
|
研究分担者 |
松山 隆司 東北大学, 工学部情報工学科, 助教授 (10109035)
|
研究期間 (年度) |
1985 – 1988
|
研究課題ステータス |
完了 (1988年度)
|
配分額 *注記 |
39,100千円 (直接経費: 39,100千円)
1988年度: 1,500千円 (直接経費: 1,500千円)
1987年度: 1,500千円 (直接経費: 1,500千円)
1986年度: 8,200千円 (直接経費: 8,200千円)
1985年度: 27,900千円 (直接経費: 27,900千円)
|
キーワード | 相補性 / 相補的プログラミング / 仕様 / プログラム / 意味論ベース / 並列性 / 検証 / 合成 / 改良 / 構成的論理 / 並列プロセス / 並列Lisp / 次世代コンピュータ / 高品質ソフトウェア / 並列LISP言語 / 並列マシン / 共有メモリ型 / 分散メモリ型 / PaiLisp / ChanneL-Lisp / 核言語 / 自然推論 / 対話型プログラム検証システム / 簡約化規則 / デッドロックからの回復 / 強制法 / 非決定的プログラミング / バックトラックの削減法 / 推論ソフトウェア / Lispプログラム検証システム / 拡張ユニフィケーション / バックトラック自動消去 / 論理型言語 / 項書き換え系 / 直観主義論理 / 日本語プログラミング / 高機能エディタ |
研究概要 |
相補的プログラミングは、次世代コンピュータのための高機能・高品質ソフトウエアを開発するための新しいプログラミング概念である。相補的プログラミングは、プログラムの間の相補性、プログラムと仕様の間の相補性、仕様の間の相補性を基にした意味論ベースの高信頼プログラミングの考え方で"A Step Towards Complementary Programming"(by T.Ito,New Generation Computing,vol.3,pp.3-13(1985))において提案されたものである。本研究は、この相補的プログラミング環境を次世代コンピュータにおいて実現するための諸機能・メカニズムについての基礎的研究である。本研究では、並列性と高度推論機能に力点を置いて次のような基礎研究を行ってきた。 ・意味論指向プログラミング概念の明確化 ・仕様とプログラムの相補的に基づくプログラムの検証・合成・改良 ・対話的推論システムと構成的論理 ・並列プロセスの検証・合成のための論理体系 ・次世代コンピュータの核言語としての並列Lispの設計・試作
|