WEKO3
アイテム
{"_buckets": {"deposit": "ee7a8eac-9892-4b42-89e4-3cbec7604966"}, "_deposit": {"id": "1239", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "1239"}, "status": "published"}, "_oai": {"id": "oai:repository.nii.ac.jp:00001239", "sets": ["136"]}, "author_link": [], "control_number": "1239", "item_5_biblio_info_30": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-11-27", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "11", "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 answers the open problem of finding a type system that characterizes hereditary permutators, which is the problem 20 in the TLCA list of open problems. First this paper shows that there does not exist such a type system by showing that the set of hereditary permutatos is not recursively enumerable. The set of positive primitive recursive functions is used to prove it. Secondly this paper gives a best-possible solution by providing a set of types such that a term has every type in the set if and only if the term is a hereditary permutator. Intersection types and the Omega type is used to handle infinite computation in lambda terms.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_5_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.20736/0000001239", "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-12"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "07-010E.pdf", "filesize": [{"value": "258.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 258899.99999999997, "url": {"label": "NII Technical Report (NII-2007-010E):Types for Hereditary Permutators", "url": "https://repository.nii.ac.jp/record/1239/files/07-010E.pdf"}, "version_id": "77159505-fc58-4781-bb28-746e4b17846a"}]}, "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-2007-010E):Types for Hereditary Permutators", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "NII Technical Report (NII-2007-010E):Types for Hereditary Permutators", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["136"], "permalink_uri": "https://doi.org/10.20736/0000001239", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2019-03-12"}, "publish_date": "2019-03-12", "publish_status": "0", "recid": "1239", "relation": {}, "relation_version_is_last": true, "title": ["NII Technical Report (NII-2007-010E):Types for Hereditary Permutators"], "weko_shared_id": -1}
NII Technical Report (NII-2007-010E):Types for Hereditary Permutators
https://doi.org/10.20736/0000001239
https://doi.org/10.20736/0000001239c2ff78a5-8044-419c-b3a8-6911fb758287
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | レポート / Report(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2019-03-12 | |||||||||
タイトル | ||||||||||
言語 | en | |||||||||
タイトル | NII Technical Report (NII-2007-010E):Types for Hereditary Permutators | |||||||||
言語 | ||||||||||
言語 | eng | |||||||||
キーワード | ||||||||||
言語 | ja | |||||||||
主題Scheme | Other | |||||||||
主題 | テクニカルレポート | |||||||||
キーワード | ||||||||||
言語 | en | |||||||||
主題Scheme | Other | |||||||||
主題 | Technical Report | |||||||||
資源タイプ | ||||||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||
タイプ | departmental bulletin paper | |||||||||
ID登録 | ||||||||||
ID登録 | 10.20736/0000001239 | |||||||||
ID登録タイプ | JaLC | |||||||||
著者 |
龍田, 真
× 龍田, 真
|
|||||||||
抄録 | ||||||||||
内容記述タイプ | Abstract | |||||||||
内容記述 | This paper answers the open problem of finding a type system that characterizes hereditary permutators, which is the problem 20 in the TLCA list of open problems. First this paper shows that there does not exist such a type system by showing that the set of hereditary permutatos is not recursively enumerable. The set of positive primitive recursive functions is used to prove it. Secondly this paper gives a best-possible solution by providing a set of types such that a term has every type in the set if and only if the term is a hereditary permutator. Intersection types and the Omega type is used to handle infinite computation in lambda terms. | |||||||||
言語 | en | |||||||||
書誌情報 |
ja : NIIテクニカル・レポート en : NII Technical Report p. 1-11, 発行日 2007-11-27 |
|||||||||
出版者 | ||||||||||
言語 | ja | |||||||||
出版者 | 国立情報学研究所 | |||||||||
ISSN | ||||||||||
収録物識別子タイプ | ISSN | |||||||||
収録物識別子 | 1346-5597 |