{"_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}