WEKO3
アイテム
{"_buckets": {"deposit": "02145276-83c4-40ad-9055-4d02e9f9c283"}, "_deposit": {"id": "1263", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "1263"}, "status": "published"}, "_oai": {"id": "oai:repository.nii.ac.jp:00001263", "sets": ["136"]}, "author_link": [], "control_number": "1263", "item_5_biblio_info_30": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2010-07-20", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "5", "bibliographicPageStart": "1", "bibliographic_titles": [{"bibliographic_title": "NIIテクニカル・レポート", "bibliographic_titleLang": "ja"}, {"bibliographic_title": "NII Technical Report", "bibliographic_titleLang": "en"}]}]}, "item_5_description_28": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "This paper provides a translation of multi-staged language into a record calculus. It is based on the translations given by Aktemur and Yi. This paper gives simpler and detailed proofs of the soundness theorem of its type translation and the bisimilarity of its term translation.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_5_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.20736/0000001263", "subitem_identifier_reg_type": "JaLC"}]}, "item_5_publisher_31": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "国立情報学研究所", "subitem_publisher_language": "ja"}]}, "item_5_source_id_32": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1346-5597", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "龍田, 真", "creatorNameLang": "ja"}, {"creatorName": "Tatsuta, Makoto", "creatorNameLang": "en"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-03-13"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "10-003E.pdf", "filesize": [{"value": "222.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 222000.0, "url": {"label": "NII Technical Report (NII-2010-003E):Translation of Multi-Staged Language", "url": "https://repository.nii.ac.jp/record/1263/files/10-003E.pdf"}, "version_id": "fd72052b-e5be-4227-94e9-32a62a90ac40"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "テクニカルレポート", "subitem_subject_language": "ja", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Technical Report", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "NII Technical Report (NII-2010-003E):Translation of Multi-Staged Language", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "NII Technical Report (NII-2010-003E):Translation of Multi-Staged Language", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["136"], "permalink_uri": "https://doi.org/10.20736/0000001263", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2019-03-13"}, "publish_date": "2019-03-13", "publish_status": "0", "recid": "1263", "relation": {}, "relation_version_is_last": true, "title": ["NII Technical Report (NII-2010-003E):Translation of Multi-Staged Language"], "weko_shared_id": -1}
NII Technical Report (NII-2010-003E):Translation of Multi-Staged Language
https://doi.org/10.20736/0000001263
https://doi.org/10.20736/00000012638404d661-c921-4b3e-b9f7-1d545e37c941
名前 / ファイル | ライセンス | アクション |
---|---|---|
NII Technical Report (NII-2010-003E):Translation of Multi-Staged Language (222.0 kB)
|
|
Item type | レポート / Report(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2019-03-13 | |||||||||
タイトル | ||||||||||
言語 | en | |||||||||
タイトル | NII Technical Report (NII-2010-003E):Translation of Multi-Staged Language | |||||||||
言語 | ||||||||||
言語 | eng | |||||||||
キーワード | ||||||||||
言語 | ja | |||||||||
主題Scheme | Other | |||||||||
主題 | テクニカルレポート | |||||||||
キーワード | ||||||||||
言語 | en | |||||||||
主題Scheme | Other | |||||||||
主題 | Technical Report | |||||||||
資源タイプ | ||||||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||
タイプ | departmental bulletin paper | |||||||||
ID登録 | ||||||||||
ID登録 | 10.20736/0000001263 | |||||||||
ID登録タイプ | JaLC | |||||||||
著者 |
龍田, 真
× 龍田, 真
|
|||||||||
抄録 | ||||||||||
内容記述タイプ | Abstract | |||||||||
内容記述 | This paper provides a translation of multi-staged language into a record calculus. It is based on the translations given by Aktemur and Yi. This paper gives simpler and detailed proofs of the soundness theorem of its type translation and the bisimilarity of its term translation. | |||||||||
言語 | en | |||||||||
書誌情報 |
ja : NIIテクニカル・レポート en : NII Technical Report p. 1-5, 発行日 2010-07-20 |
|||||||||
出版者 | ||||||||||
言語 | ja | |||||||||
出版者 | 国立情報学研究所 | |||||||||
ISSN | ||||||||||
収録物識別子タイプ | ISSN | |||||||||
収録物識別子 | 1346-5597 |