2014 年度研究成果報告書

ストリーム計算のための計算モデル

研究課題

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