| 研究課題/領域番号 |
24700011
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
中澤 巧爾 京都大学, 情報学研究科, 助教 (80362581)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2013年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | ラムダ計算 / 書き換え系 / 合流性 / ストリーム計算 / 強正規化可能性 / 型システム / プログラミング言語のモデル / ストリーム |
|---|
| 研究成果の概要 |
本研究ではストリーム処理を行なうプログラムに対する形式的理論基盤を与えるために，以下の成果を得た．ラムダ・ミュー計算の拡張として，ストリーム構成子などを明示的に含む体系を与えた．この体系は，本研究代表者が既に与えたストリーム・モデルに対して完全なものである．さらにこの体系に対する型システムを与え，ストリーム・モデルのアイディアをこの型付ラムダ・ミュー計算に適用した．さらにこの体系上での簡約体系として，合流性と強正規化性を満たすものを提案した．
|
