Theories of Parametric Polymorphism and Data Types

Takeuchi, Izumi

ダウンロード数: 105

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

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

ファイル	記述	サイズ	フォーマット
yjohr00002.pdf	Abstract_要旨	177.41 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.advisor	佐藤, 雅彦	-
dc.contributor.advisor	松山, 隆司	-
dc.contributor.advisor	岩間, 一雄	-
dc.contributor.author	Takeuchi, Izumi	en
dc.contributor.alternative	竹内, 泉	ja
dc.contributor.transcription	タケウチ, イズミ	ja
dc.date.accessioned	2014-02-14T02:30:56Z	-
dc.date.available	2014-02-14T02:30:56Z	-
dc.date.issued	2000-03-23	-
dc.identifier.uri	http://hdl.handle.net/2433/180905	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学 (Kyoto University)	ja
dc.publisher.alternative	京都大学	ja
dc.subject.ndc	007	-
dc.title	Theories of Parametric Polymorphism and Data Types	en
dc.title.alternative	パラメトリックな多相型とデータ型の理論	ja
dc.type	doctoral thesis	-
dc.type.niitype	Thesis or Dissertation	-
dc.textversion	none	-
dc.identifier.ndlid	000000352740	-
dc.description.degreegrantor	京都大学	ja
dc.description.degreeuniversitycode	0048	-
dc.description.degreelevel	新制・論文博士	-
dc.description.degreediscipline	博士(情報学)	ja
dc.description.degreereportnumber	乙第10433号	-
dc.description.degreenumber	論情博第2号	-
dc.description.degreekucallnumber	新制\|\|情\|\|3(附属図書館)	-
dc.description.degreendlcallnumber	UT51-2000-F499	-
dc.date.granted	2000-03-23	-
dc.description.degreeexamcommittee	(主査)教授佐藤雅彦, 教授松山隆司, 教授岩間一雄	-
dc.description.degreeprovision	学位規則第4条第2項該当	-
dcterms.accessRights	open access	-
dc.description.degreediscipline-en	Doctor of Informatics	en
dc.identifier.degreegrantorID	14301	-
dc.description.degreegrantor-en	Kyoto University	en
dc.description.degreeObjectType	DAM	-
jpcoar.contributor.Type	Supervisor	-
jpcoar.contributor.Type	Supervisor	-
jpcoar.contributor.Type	Supervisor	-
jpcoar.contributor.Name	佐藤, 雅彦	ja
jpcoar.contributor.Name	松山, 隆司	ja
jpcoar.contributor.Name	岩間, 一雄	ja
出現コレクション:	140 博士(情報学)

アイテムの簡略レコードを表示する

Export to RefWorks

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