WEKO3
アイテム
{"_buckets": {"deposit": "359cc46b-3215-4d07-8276-d9e7ed44bd98"}, "_deposit": {"id": "8744", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "8744"}, "status": "published"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00008744", "sets": []}, "author_link": ["35805"], "item_12_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1998", "bibliographicIssueDateType": "Issued"}}]}, "item_12_date_granted_46": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "1998-03-23"}]}, "item_12_degree_grantor_44": {"attribute_name": "学位授与大学", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "筑波大学"}, {"subitem_degreegrantor_language": "en", "subitem_degreegrantor_name": "University of Tsukuba"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "12102", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_12_degree_name_43": {"attribute_name": "取得学位", "attribute_value_mlt": [{"subitem_degreename": "博士(工学) ", "subitem_degreename_language": "ja"}, {"subitem_degreename": "Doctor of Philosophy in Engineering", "subitem_degreename_language": "en"}]}, "item_12_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Functional programming languages [80, 2, 7], based on λ-calculus [3, 12] and reduction, have properties such as deterministic evaluation and lazy evaluation. On the other hand they lack some desirable properties such as existentially quantified variables and partial data structures. ...", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_12_description_45": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_description": "1997", "subitem_description_type": "Other"}]}, "item_12_dissertation_number_47": {"attribute_name": "報告番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第1915号"}]}, "item_12_relation_37": {"attribute_name": "関係URI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_language": "ja", "subitem_relation_name_text": "全文はOPACにあり"}], "subitem_relation_type": "hasFormat", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://www.tulips.tsukuba.ac.jp/opac/volume/1033911", "subitem_relation_type_select": "URI"}}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Hamada, Mohamed Esmail Ali", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "35805", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2013-12-18"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A1915.pdf", "filesize": [{"value": "108.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "application/pdf", "size": 108800.0, "url": {"objectType": "abstract", "url": "https://tsukuba.repo.nii.ac.jp/record/8744/files/A1915.pdf"}, "version_id": "c2e0c902-3ab0-42f1-bd0e-3961eadc2586"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "Lazy conditional narrowing calculi and their implementation", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Lazy conditional narrowing calculi and their implementation", "subitem_title_language": "en"}]}, "item_type_id": "12", "owner": "1", "path": ["244"], "permalink_uri": "http://hdl.handle.net/2241/6408", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2007-07-25"}, "publish_date": "2007-07-25", "publish_status": "0", "recid": "8744", "relation": {}, "relation_version_is_last": true, "title": ["Lazy conditional narrowing calculi and their implementation"], "weko_shared_id": -1}
Lazy conditional narrowing calculi and their implementation
http://hdl.handle.net/2241/6408
http://hdl.handle.net/2241/640897049ade-3c30-42e5-a47e-6fc0cc86f2ef
名前 / ファイル | ライセンス | アクション |
---|---|---|
A1915.pdf (108.8 kB)
|
|
Item type | Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2007-07-25 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Lazy conditional narrowing calculi and their implementation | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||
タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
Hamada, Mohamed Esmail Ali
× Hamada, Mohamed Esmail Ali |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Functional programming languages [80, 2, 7], based on λ-calculus [3, 12] and reduction, have properties such as deterministic evaluation and lazy evaluation. On the other hand they lack some desirable properties such as existentially quantified variables and partial data structures. ... | |||||
言語 | en | |||||
書誌情報 |
発行日 1998 |
|||||
関係URI | ||||||
関連タイプ | hasFormat | |||||
識別子タイプ | URI | |||||
関連識別子 | https://www.tulips.tsukuba.ac.jp/opac/volume/1033911 | |||||
言語 | ja | |||||
関連名称 | 全文はOPACにあり | |||||
取得学位 | ||||||
学位名 | 博士(工学) | |||||
取得学位 | ||||||
学位名 | Doctor of Philosophy in Engineering | |||||
学位授与大学 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12102 | |||||
言語 | ja | |||||
学位授与機関名 | 筑波大学 | |||||
言語 | en | |||||
学位授与機関名 | University of Tsukuba | |||||
学位授与年度 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 1997 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 1998-03-23 | |||||
報告番号 | ||||||
学位授与番号 | 甲第1915号 |