| 研究課題/領域番号 |
09898005
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 企画調査 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 慶応義塾大学 |
|---|
研究代表者 |
岡田 光弘 慶應義塾大学, 文学部, 教授 (30224025)
|
|---|
| 研究分担者 |
林 晋 神戸大学, 工学部, 教授 (40156443)
高橋 正子 東京工業大学, 理学部, 教授 (00015588)
大堀 淳 京都大学, 数理解析研究所, 教授 (60252532)
萩谷 昌己 東京大学, 理学研究科, 教授 (30156252)
佐藤 雅彦 京都大学, 工学部, 教授 (20027387)
|
|---|
| 研究期間 (年度) |
1997
|
| 研究課題ステータス |
完了 (1997年度)
|
| 配分額 *注記 |
2,400千円 (直接経費: 2,400千円)
1997年度: 2,400千円 (直接経費: 2,400千円)
|
|---|
| キーワード | 線形論理 / タイプ理論 / プログラミング言語 / 直観主義論理 / 理論情報科学 / 形式的検証 / 形式的仕様 / ソフトウェア開発 |
|---|
| 研究概要 |
われわれ共同研究チームは、論理学的手法に情報科学への応用、特にタイプ理論と線形論理の情報科学への応用に関する国際共同研究・国際学術交流の枠組を確立することを目指した。
(1)日本国内の本分野の大学間共同研究グループの基盤を広げ、本分野におけるわが国のさらなる国際的貢献を目指すとともに、(2)上記ヨーロッパ・プロジェクトグループ、北米プロジェクト・グループとの協議を通じて、日本の研究グループとヨーロッパ共同体研究ブロック、北米共同研究ブロックとの間での三者の研究協力の枠組みを作ることを本企画研究の第一の目標とした。
本研究チームは「タイプ理論と線形論理のプログラム言語理論への応用」に関するする国際共同研究の企画を行った。本年度に我々が本企画研究を通して企画した国際共同研究は平成10年度からの科学研究費国際共同研究として内定を受けた。
国際共同研究の企画のためにヨーロッパ共同体の相手側チームのリーダ達(G.Huet.J.P.Jouannaud.J-Y.Girard.H.Baretulregt.M.Drziuni.G.Plotkin.M.Kanovitch)や北米のNorth American Jumelageの相手側リーダー達(A.Scedrov.J.Mitehrll.P.I.ineolu.J.Ianubek.P.J.Scott)と特に充分な協議、打ち合わせを行い準備を進めた。
|
