閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
12_kaken_2010_kurata	pdf	291 KB	93

論文情報

ファイル出力

アイテムタイプ	研究報告書
タイトル	アルゴリズムの構造を反映する数理モデルの構成と応用
その他のタイトル	Mathematical semantics of the internal structure of algorithms
著者	e-Rad 研究者番号 40311899 著者名 倉田, 俊彦
	著者名 KURATA, Toshihiko
言語	jpn
雑誌名	科学研究費補助金研究成果報告書
開始ページ	1
終了ページ	5
発行年	2011-05
著者版フラグ	Accepted Manuscript
キーワード	プログラム意味論
	ラムダ計算
	型理論
	層論
	領域理論
	外延性
	高階遂次性
	Kripkeモデル
抄録	研究成果の概要 (和文) : 本研究において得られた重要な成果としては,広く知られる集合の層の概念においてSets(集合と関数の圏)の部分をCpos(完備半順序集合と連続関数の圏)に置き換えることによって,自然な形で完備半順序集合の層とその上の自然変換が構成する圏Cpos(X)の枠組を構築できたことが挙げられる。そして,この新たに得られた圏Cpos(X)は外延性を排除しながらプログラムで使用される様々な構文を矛盾なく解釈する強力な仕組みを持ち,「アルゴリズムの内部構造を反映した数理モデルの一般的な枠組」として理想的な解答を与えている。
	研究成果の概要 (英文) : As a result of this research, we introduced a new notion of sheaves of complete partially ordered sets from the ordinary definition of sheavs of sets, which is given by replacing the category Sets of sets and functions with the category Cpos of complete partially ordered sets and continuous functions. The framework so obtained allows us to have the cartesian closed category Cpos(X) in which we can develop various structures for denotational semantics of programming languages excluding the condition of extensionality. This is because of a number of desirable features of Cpos(X) in order to interpret flexible syntactical devices of programming languages.
助成	文部科学省科学研究費補助金[若手研究(B)]　課題番号：19700012　研究期間：2008-2009
資源タイプ	Working Paper
インデックス	資料タイプ別 ＞ 科研費報告書
	401 科研費報告書 ＞ 2010(平成22)年度 科学研究費補助金研究成果報告書

ホームへ戻る