環境と文脈を持つ計算体系とその論理

このアイテムのアクセス数: 317

http://hdl.handle.net/2433/84882

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
d515.pdf		527.75 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	佐藤, 雅彦	ja
dc.contributor.alternative	Sato, Masahiko	en
dc.date.accessioned	2009-08-24T01:28:58Z	-
dc.date.available	2009-08-24T01:28:58Z	-
dc.date.issued	2004-03	-
dc.identifier.uri	http://hdl.handle.net/2433/84882	-
dc.description	平成13-15度科学研究費補助金(基盤研究(B)(2))研究成果報告書　課題番号：13480082 研究代表者：佐藤雅彦 (京都大学情報学研究科)	ja
dc.language.iso	eng	-
dc.publisher	京都大学	ja
dc.rights	学術雑誌掲載論文の抜き刷り、出版社に著作権許諾が得られていないため未掲載。	ja
dc.subject	文脈	ja
dc.subject	超変数	ja
dc.subject	変数の衝突	ja
dc.subject	対象言語	ja
dc.subject	メタ言語	ja
dc.subject	環境	ja
dc.subject	文法的対象	ja
dc.subject	Meta Language	en
dc.subject	合流性	ja
dc.subject	Variable Collision	en
dc.subject	Meta Variable	en
dc.subject	計算体系	ja
dc.subject	Object Language	en
dc.subject	型理論	ja
dc.subject	強正規化性	ja
dc.subject	Context	en
dc.subject	Syntactic Object	en
dc.title	環境と文脈を持つ計算体系とその論理	ja
dc.type	research report	-
dc.type.niitype	Research Paper	-
dc.textversion	publisher	-
dc.relation.url	http://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-13480082/	-
dcterms.accessRights	open access	-
datacite.awardNumber	13480082	-
jpcoar.funderName	日本学術振興会	ja
jpcoar.funderName.alternative	Japan Society for the Promotion of Science (JSPS)	en
出現コレクション:	140　情報学研究科

このリポジトリに保管されているアイテムはすべて著作権により保護されています。