リニアカテゴリ上の計算体系の性質の研究
【研究分野】情報学基礎
【研究キーワード】
ラムダ計算 / 圏論 / 型理論 / ソフトウェア学
【研究成果の概要】
圏論に基づいた新しい計算体系の研究を行った。プログラミング言語の基礎となる計算体系であるラムダ計算と、数学の基礎理論である圏論との関連は古くから知られている。当研究は、圏論を計算体系として再構成することで、数学的に確たる基盤をもった計算体系を構築することを目的とした研究の一環である。特に古典的リニア・カテゴリ上に計算規則を導入した体系を考案し、その性質の研究を行った。
【研究代表者】
【研究分担者】 |
| 外山 芳人 | 東北大学 | 電気通信研究所 | 教授 | (Kakenデータベース) |
|
【研究連携者】 |
| 外山 芳人 | 東北大学 | 電気通信研究所 | 教授 | (Kakenデータベース) |
|
【研究種目】基盤研究(C)
【研究期間】2007 - 2008
【配分額】1,690千円 (直接経費: 1,300千円、間接経費: 390千円)