1994 Fiscal Year Annual Research Report
| Project/Area Number |
06680319
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
大堀 淳 京都大学, 数理解析研究所, 助教授 (60252532)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
南出 靖彦 京都大学, 数理解析研究所, 助手 (50252531)
ウリドウスキー イレニウ 京都大学, 数理解析研究所, 助教授
|
|---|
| Keywords | 型理論 / 型推論 / プログラミング言語 / ポリモルフィズム / データモデル |
|---|
| Research Abstract |
本研究の目的は,ラムダ計算の枠組の中で研究され理論的に洗練されたプログラミング言語の型理論を基本的な枠組として用いて,将来のソフトウエアシステムを信頼性を持ってしかも効率良く構築可能にするプログラミング言語の設計理論を構築することである本科学研究費の交付対象期間内では,特に,以下のテーマを研究する。1.多相型プログラミング言語のコンパイル理論.2.オブジェクト指向データモデルのビューの概念の形式化.3.並列分散環境下のプログラミングシステムのための型理論.4.さらに,以上の各研究成果を統合した言語の設計の研究を行なう。
平成6年度は,以上の1,2,3の基礎理論の研究を行なった。1については,レコード構造を含んだ多相型言語のコンパイルに関する満足いく理論をほぼ完成し,“A Polymoprhic Record Calculus and its Compilation" by A.Ohoriと題する論文にまとめた。今月中に著名な国際論文誌に投稿予定である。2に関しては,オブジェクトとオブジェクトのビューを定義する機構を持った型付きラムダ計算を定義し,それが望ましい性質を持つことを示した。成果はデータベース理論に関する主要な国際会議である,ACM Symposium on Principles of Database Systemsにて以下の論文として発表した。“A Polymorphic Calculus for Views and Object Sharing"by A.Ohori and K.Tajima.現在,理論をより拡張したものを国際論文誌に投稿すべく準備中である。3については,分散メモリー型超並列計算機のための高水準プログラミング言語開発の基礎を与える目的で,再帰関数の並列評価が可能な型付きラムダ計算の理論を構築した。成果は国際ワークショップTheory and Practice on Prallel Programmingにて,平成6年11月に以下の論文“A Calculus for Exploiting Data Parallelism on Recursively Defiend Data",by S.Nishimura and A.Ohori.として発表した。現在,理論をより拡張したものを国際論文誌に投稿すべく準備中である。
|
Research Products
(4 results)
-
[Publications] Peter Buneman Atsushi Ohori: "Polymorphism and Type Inference in Database Programming" ACM Transactions on Database Systems. (予定). (1995)
-
[Publications] 大堀淳: "ML-多相型システムをもつ関数型言語-" 情報処理. 35. 215-226 (1994)
-
[Publications] 大堀淳: "MLプログラミング(I)" コンピュータソフトウェア. 12(1). 3-15 (1995)
-
[Publications] 大堀淳: "MLプログラミング入門(II)" コンピュータソフトウェア. 12(2). 93-105 (1995)
